Expected

enum class Expected: Enum<Expected>, TermConvertible

A class describing the expected type whose absence caused the error

EnumItems

Name Description
ATOM
ATOMIC
BOOLEAN
BYTE
CALLABLE
CHARACTER
COMPOUND
DEALIASING_EXPRESSION
EVALUABLE
FLOAT
INTEGER
IN_CHARACTER
LIST
NUMBER
OBJECT_REFERENCE
PAIR
PREDICATE_INDICATOR
REFERENCE
TYPE_REFERENCE
URL
VARIABLE

Methods

toTerm

fun toTerm(): Atom

A function to transform the type to corresponding Atom representation

ReturnValue

Name Description
Atom

toString

fun toString(): String

ReturnValue

Name Description
String

CompanionObject

Expected

enum class Expected: Enum<Expected>, TermConvertible

A class describing the expected type whose absence caused the error

Methods

of

fun of(type: String): Expected

Returns the Expected instance described by type; creates a new instance only if type was not predefined

Parameters

Name Description
type: String

ReturnValue

Name Description
Expected

fromTerm

fun fromTerm(term: Term): Expected?

Gets Expected instance from term representation, if possible

Parameters

Name Description
term: Term

ReturnValue

Name Description
Expected?