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

TestCatchAndThrow

interface TestCatchAndThrow : SolverTest

Conformance tests for the ISO catch/3 and throw/1 built-ins, shared by every Solver implementation via the TestCatchAndThrow.prototype(solverFactory) factory (see TestClassicCatchAndThrow in :solve-classic for a concrete usage).

Types

Companion

object Companion

Properties

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

testCatchFail

abstract fun testCatchFail()

Tests the queries

testCatchThrow

abstract fun testCatchThrow()

Tests the queries