19209061988

Committed 09 Nov 2025 01:17PM UTC coverage: 86.481% (+2.4%) from 84.106%

Build # 19209061988

Build Type

push

github

Committed by

LuciaCastellucci

Commit Message

chore: merge branch 'feat/versioning' into dev

Coverage Stats

22 of 26 new or added lines in 3 files covered. (84.62%)

3 existing lines in 2 files now uncovered.

403 of 466 relevant lines covered (86.48%)

0.86 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/main/scala/model/ModelModule.scala

package model

import model.game.GameState

object ModelModule:

  trait Model:
    def state: GameState
    def updateState(updater: GameState => GameState): GameState
    def startTimer(): Unit
    def resetState(): GameState

    def addHint(hint: game.Hint): GameState =
      updateState(_.addHint(hint))

    def updateHistory(f: game.History => game.History): GameState =
      updateState(_.updateHistory(f))

    def addGraphToHistory(graph: game.CaseKnowledgeGraph): GameState =
      updateState(_.addGraphToHistory(graph))

  trait Provider:
    def model: Model

  trait Component:

    class ModelImpl extends Model:

      @volatile private var currentState: GameState = GameState.empty()

      override def state: GameState = currentState

      override def updateState(updater: GameState => GameState): GameState =
        synchronized {
          currentState = updater(currentState)
          currentState
        }

      override def resetState(): GameState =
        synchronized {
          currentState = GameState.empty()
          currentState
        }

      override def startTimer(): Unit =
        synchronized {
          currentState.timer.foreach(_.start())
        }

  trait Interface extends Provider with Component:
    override lazy val model: Model = new ModelImpl()

1	package model
2
3	import model.game.GameState
4
5	object ModelModule:
6
7	trait Model:
8	def state: GameState
9	def updateState(updater: GameState => GameState): GameState
10	def startTimer(): Unit
11	def resetState(): GameState
12
13	def addHint(hint: game.Hint): GameState =	×
14	updateState(_.addHint(hint))	×
15
16	def updateHistory(f: game.History => game.History): GameState =	×
UNCOV 17	updateState(_.updateHistory(f))	×
18
NEW 19	def addGraphToHistory(graph: game.CaseKnowledgeGraph): GameState =	×
NEW 20	updateState(_.addGraphToHistory(graph))	×
21
22	trait Provider:
23	def model: Model
24
25	trait Component:
26
27	class ModelImpl extends Model:
28
29	@volatile private var currentState: GameState = GameState.empty()	×
30
31	override def state: GameState = currentState	×
32
33	override def updateState(updater: GameState => GameState): GameState =	×
34	synchronized {	×
35	currentState = updater(currentState)	×
36	currentState
37	}
38
39	override def resetState(): GameState =	×
40	synchronized {	×
41	currentState = GameState.empty()	×
42	currentState
43	}
44
45	override def startTimer(): Unit =	×
46	synchronized {	×
47	currentState.timer.foreach(_.start())	×
48	}
49
50	trait Interface extends Provider with Component:
51	override lazy val model: Model = new ModelImpl()	×

LuciaCastellucci / PPS-24-whodunnit / 19209061988

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous