test-solve/it.unibo.tuprolog.solve/TestStaticFactoryImpl

TestStaticFactoryImpl

class TestStaticFactoryImpl(expectations: Expectations) : TestStaticFactory

Concrete implementation of TestStaticFactory, instantiated via TestStaticFactory.prototype.

Constructors

constructor(expectations: Expectations)

Types

Companion

object Companion

Functions

testStaticSolverFactoryForProblog

open override fun testStaticSolverFactoryForProblog()

Same as testStaticSolverFactoryForProlog, but for Solver.problog / Expectations.problogShouldWork, expecting it.unibo.tuprolog.solve.problog.ProblogSolver.

testStaticSolverFactoryForProlog

open override fun testStaticSolverFactoryForProlog()

If Expectations.prologShouldWork, tests that Solver.prolog resolves to it.unibo.tuprolog.solve.prolog.PrologSolver; otherwise tests that the lookup is unavailable.

testStaticSolverFactoryShouldWork

fun testStaticSolverFactoryShouldWork(class: String, factory: () -> SolverFactory)