Expected

enum class Expected: Enum<Expected>, TermConvertible

A class describing the expected domain whose absence caused the error

EnumItems

Name Description
ATOM_PROPERTY
BUFFERING_MODE
CHARACTER_CODE_LIST
CLOSE_OPTION
DATE_TIME
EOF_ACTION
FLAG_VALUE
FORMAT_CONTROL_SEQUENCE
IO_MODE
WELL_FORMED_LIST
NON_EMPTY_LIST
NOT_LESS_THAN_ZERO
OPERATOR_PRIORITY
OPERATOR_SPECIFIER
ORDER
OS_FILE_PERMISSION
OS_FILE_PROPERTY
OS_PATH
PREDICATE_PROPERTY
FLAG
READ_OPTION
SELECTABLE_ITEM
SOCKET_ADDRESS
SOCKET_DOMAIN
SOURCE_SINK
STREAM
STREAM_OPTION
STREAM_OR_ALIAS
STREAM_POSITION
STREAM_PROPERTY
STREAM_SEEK_METHOD
STREAM_TYPE
TERM_STREAM_OR_ALIAS
VAR_BINDING_OPTION
WRITE_OPTION
CLAUSE
RULE
FACT
DIRECTIVE

Fields

Name Description
val domain: String

The expected domain string description

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 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?