Expected

enum Expected : Enum<DomainError.Expected> , ToTermConvertible

A class describing the expected domain whose absence caused the error

Entries

ATOM_PROPERTY

common

ATOM_PROPERTY()

BUFFERING_MODE

common

BUFFERING_MODE()

CHARACTER_CODE_LIST

common

CHARACTER_CODE_LIST()

CLOSE_OPTION

common

CLOSE_OPTION()

DATE_TIME

common

DATE_TIME()

EOF_ACTION

common

EOF_ACTION()

FLAG_VALUE

common

FLAG_VALUE()

FORMAT_CONTROL_SEQUENCE

common

FORMAT_CONTROL_SEQUENCE()

IO_MODE

common

IO_MODE()

WELL_FORMED_LIST

common

WELL_FORMED_LIST()

NON_EMPTY_LIST

common

NON_EMPTY_LIST()

NOT_LESS_THAN_ZERO

common

NOT_LESS_THAN_ZERO()

OPERATOR_PRIORITY

common

OPERATOR_PRIORITY()

OPERATOR_SPECIFIER

common

OPERATOR_SPECIFIER()

ORDER

common

ORDER()

OS_FILE_PERMISSION

common

OS_FILE_PERMISSION()

OS_FILE_PROPERTY

common

OS_FILE_PROPERTY()

OS_PATH

common

OS_PATH()

PREDICATE_PROPERTY

common

PREDICATE_PROPERTY()

PROLOG_FLAG

common

PROLOG_FLAG()

READ_OPTION

common

READ_OPTION()

SELECTABLE_ITEM

common

SELECTABLE_ITEM()

SOCKET_ADDRESS

common

SOCKET_ADDRESS()

SOCKET_DOMAIN

common

SOCKET_DOMAIN()

SOURCE_SINK

common

SOURCE_SINK()

STREAM

common

STREAM()

STREAM_OPTION

common

STREAM_OPTION()

STREAM_OR_ALIAS

common

STREAM_OR_ALIAS()

STREAM_POSITION

common

STREAM_POSITION()

STREAM_PROPERTY

common

STREAM_PROPERTY()

STREAM_SEEK_METHOD

common

STREAM_SEEK_METHOD()

STREAM_TYPE

common

STREAM_TYPE()

TERM_STREAM_OR_ALIAS

common

TERM_STREAM_OR_ALIAS()

VAR_BINDING_OPTION

common

VAR_BINDING_OPTION()

WRITE_OPTION

common

WRITE_OPTION()

CLAUSE

common

CLAUSE()

RULE

common

RULE()

FACT

common

FACT()

DIRECTIVE

common

DIRECTIVE()

Types

Companion

common

object Companion

Functions

toString

common

open override fun toString(): String

toTerm

common

open override fun toTerm(): Atom

A function to transform the type to corresponding Atom representation

Properties

domain

common

val domain: String

The expected domain string description

name

common

val name: String

ordinal

common

val ordinal: Int