enum class Expected: Enum<Expected>, TermConvertible
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
A class describing the expected domain whose absence caused the error