Expected

enum class Expected: Enum<Expected>, ToTermConvertible

A class describing the expected domain whose absence caused the error

EnumItems

Name Description
NOT_LESS_THAN_ZERO
STREAM_PROPERTY
STREAM_POSITION
STREAM_OR_ALIAS
READ_OPTION
PROLOG_FLAG
FLAG_VALUE
OPERATOR_SPECIFIER
OPERATOR_PRIORITY

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>, ToTermConvertible

A class describing the expected domain whose absence caused the error

Methods

of

fun of(domain: String): Expected

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

Parameters

Name Description
domain: 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?