Coverage Summary for Class: ModuleGoal (it.unibo.tuprolog.argumentation.core.primitives.modules)

Class	Class, %	Method, %	Branch, %	Line, %	Instruction, %
ModuleGoal	100% (1/1)	100% (2/2)		100% (4/4)	100% (15/15)

 package it.unibo.tuprolog.argumentation.core.primitives.modules
 
 import it.unibo.tuprolog.argumentation.core.runtime.modules.DynamicLoader
 import it.unibo.tuprolog.argumentation.core.runtime.modules.Module
 import it.unibo.tuprolog.solve.ExecutionContext
 import it.unibo.tuprolog.solve.Signature
 import it.unibo.tuprolog.solve.primitive.Solve
 
 /** Module::Goal, Goal solved against the libraries of Module, in the active context branch */
 internal class ModuleGoal(
     loader: DynamicLoader,
 ) : AbstractModuleGoal(loader) {
     override val signature = Signature("::", 2)
 
     override fun enter(
         request: Solve.Request<ExecutionContext>,
         module: Module,
     ) = Unit
 }