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

Expected

enum Expected : Enum<TypeError.Expected>

A class describing the expected type whose absence caused the error

Author

Enrico

Entries

TYPE_REFERENCE()

PREDICATE_INDICATOR

PREDICATE_INDICATOR()

OBJECT_REFERENCE

OBJECT_REFERENCE()

DEALIASING_EXPRESSION

DEALIASING_EXPRESSION()

Types

object Companion

Functions

open override fun toString(): String

open fun toTerm(): <ERROR CLASS>

A function to transform the type to corresponding Atom representation

Properties

val name: String

val ordinal: Int