solve/it.unibo.tuprolog.solve.exception.error/TypeError/Companion

Companion

object Companion

Functions

fun forArgument( context: ExecutionContext, procedure: Signature, expectedType: TypeError.Expected, culprit: <ERROR CLASS>, index: Int? = null): TypeError

forArgumentList

fun forArgumentList( context: ExecutionContext, procedure: Signature, expectedType: TypeError.Expected, culprit: <ERROR CLASS>, index: Int? = null): TypeError

fun forGoal( context: ExecutionContext, procedure: Signature, expectedType: TypeError.Expected, culprit: <ERROR CLASS>): TypeError

fun of( context: ExecutionContext, expectedType: TypeError.Expected, actualValue: <ERROR CLASS>, message: String): TypeError

Properties

const val typeFunctor: String

The type error Struct functor