missing override in DummyInstances.kt

tuProlog · Apr 24, 2020 · c6e9602 · c6e9602
1 parent 045a760
commit c6e9602
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt
@@ -1,5 +1,11 @@
 package it.unibo.tuprolog.solve
 
+import it.unibo.tuprolog.solve.channel.InputChannel
+import it.unibo.tuprolog.solve.channel.OutputChannel
+import it.unibo.tuprolog.solve.exception.PrologWarning
+import it.unibo.tuprolog.solve.library.Libraries
+import it.unibo.tuprolog.theory.ClauseDatabase
+
 /**
  * Utils singleton that contains dummy instances, to be used when in a test something is not important
  *
@@ -18,5 +24,18 @@ object DummyInstances {
         override val outputChannels: Nothing by lazy { throw NotImplementedError() }
         override val substitution: Nothing by lazy { throw NotImplementedError() }
         override val prologStackTrace: Nothing by lazy { throw NotImplementedError() }
+
+        override fun createSolver(
+            libraries: Libraries,
+            flags: PrologFlags,
+            staticKb: ClauseDatabase,
+            dynamicKb: ClauseDatabase,
+            stdIn: InputChannel<String>,
+            stdOut: OutputChannel<String>,
+            stdErr: OutputChannel<String>,
+            warnings: OutputChannel<PrologWarning>
+        ): Solver {
+            throw NotImplementedError()
+        }
     }
 }