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

TestCall

Conformance tests for the ISO call/1 built-in, shared by every Solver implementation via the TestCall.prototype(solverFactory) factory (see TestClassicCall in :solve-classic for a concrete usage).

Types

Companion

object Companion

Properties

errorSignature

abstract val errorSignature: Signature

The Signature expected in errors raised while resolving the goal passed to call/1.

longDuration

open val longDuration: TimeDuration

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

mediumDuration

open val mediumDuration: TimeDuration

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

shortDuration

open val shortDuration: TimeDuration

A short test max duration, used for queries expected to resolve almost immediately.

Functions

testCallCut

abstract fun testCallCut()

Tests the queries

testCallFail

abstract fun testCallFail()

Tests the queries

testCallFailCall

abstract fun testCallFailCall()

Tests the queries

testCallFailOne

abstract fun testCallFailOne()

Tests the queries

testCallFailX

abstract fun testCallFailX()

Tests the queries

testCallOne

abstract fun testCallOne()

Tests the queries

testCallTrue

abstract fun testCallTrue()

Tests the queries

testCallWriteCall

abstract fun testCallWriteCall()

Tests the queries

testCallWriteOne

abstract fun testCallWriteOne()

Tests the queries

testCallWriteX

abstract fun testCallWriteX()

Tests the queries

testCallX

abstract fun testCallX()

Tests the queries