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

testStaticSolverFactoryForClassic

open override fun testStaticSolverFactoryForClassic()

If Expectations.classicShouldWork, tests that Solver.classic (and a solver/builder obtained from it) resolve to it.unibo.tuprolog.solve.classic.ClassicSolver; otherwise, tests that looking it up throws IllegalStateException (or is otherwise unavailable, platform permitting — see the JS caveat in the implementation).

testStaticSolverFactoryForProblog

open override fun testStaticSolverFactoryForProblog()

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

testStaticSolverFactoryForProlog

open override fun testStaticSolverFactoryForProlog()

Same as testStaticSolverFactoryForClassic, but for Solver.prolog / Expectations.prologShouldWork; Solver.prolog is currently an alias resolving to the same classic implementation.

testStaticSolverFactoryForStreams

open override fun testStaticSolverFactoryForStreams()

Same as testStaticSolverFactoryForClassic, but for Solver.streams / Expectations.streamsShouldWork, expecting it.unibo.tuprolog.solve.streams.StreamsSolver.

testStaticSolverFactoryShouldWork

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