Scala-Robotics-Simulator / PPS-22-srs / #93

Committed 25 Jul 2025 04:26PM UTC coverage: 65.789% (-2.1%) from 67.873%

Build # #93

Build Type

push

github

Committed by

GiuliaNardicchia

Commit Message

refactor: update Controller, Model, View modules to support generic state management and app simulationLoop function

Run Details

0 of 24 new or added lines in 6 files covered. (0.0%)

7 existing lines in 5 files now uncovered.

150 of 228 relevant lines covered (65.79%)

8.86 hits per line

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

0.0

/src/main/scala/io/github/srs/view/ViewModule.scala

package io.github.srs.view

import io.github.srs.model.ModelModule

object ViewModule:

  trait View[S <: ModelModule.State]:
    def init(): Unit
    def render(state: S): Unit

  trait Provider[S <: ModelModule.State]:
    val view: View[S]

  type Requirements[S <: ModelModule.State] = io.github.srs.controller.ControllerModule.Provider[S]

  trait Component[S <: ModelModule.State]:
    context: Requirements[S] =>

    object View:
      def apply(): View[S] = new ViewImpl

      private class ViewImpl extends View[S]:
        private val gui = new SimpleView[S]

        override def init(): Unit = gui.init()

        override def render(state: S): Unit = gui.render(state)

  trait Interface[S <: ModelModule.State] extends Provider[S] with Component[S]:
    self: Requirements[S] =>
end ViewModule

1	package io.github.srs.view
2
3	import io.github.srs.model.ModelModule
4
5	object ViewModule:
6		×
7	trait View[S <: ModelModule.State]:
8	def init(): Unit	×
9	def render(state: S): Unit
10
11	trait Provider[S <: ModelModule.State]:
12	val view: View[S]
13
14	type Requirements[S <: ModelModule.State] = io.github.srs.controller.ControllerModule.Provider[S]
15
16	trait Component[S <: ModelModule.State]:
NEW 17	context: Requirements[S] =>	×
18
19	object View:
NEW 20	def apply(): View[S] = new ViewImpl	×
NEW 21		×
22	private class ViewImpl extends View[S]:
NEW 23	private val gui = new SimpleView[S]	×
UNCOV 24		×
25	override def init(): Unit = gui.init()
26		×
27	override def render(state: S): Unit = gui.render(state)
28		×
29	trait Interface[S <: ModelModule.State] extends Provider[S] with Component[S]:
30	self: Requirements[S] =>
31	end ViewModule

Scala-Robotics-Simulator / PPS-22-srs / #93

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