solve/it.unibo.tuprolog.solve.exception.error/DomainError/Expected

Expected

enum Expected : Enum<DomainError.Expected>

A class describing the expected domain whose absence caused the error

Entries

VAR_BINDING_OPTION

VAR_BINDING_OPTION()

TERM_STREAM_OR_ALIAS

TERM_STREAM_OR_ALIAS()

STREAM_SEEK_METHOD

STREAM_SEEK_METHOD()

STREAM_PROPERTY

STREAM_PROPERTY()

STREAM_POSITION

STREAM_POSITION()

STREAM_OR_ALIAS

STREAM_OR_ALIAS()

STREAM_OPTION()

SOCKET_DOMAIN()

SOCKET_ADDRESS()

SELECTABLE_ITEM

SELECTABLE_ITEM()

PREDICATE_PROPERTY

PREDICATE_PROPERTY()

OS_FILE_PROPERTY

OS_FILE_PROPERTY()

OS_FILE_PERMISSION

OS_FILE_PERMISSION()

OPERATOR_SPECIFIER

OPERATOR_SPECIFIER()

OPERATOR_PRIORITY

OPERATOR_PRIORITY()

NOT_LESS_THAN_ZERO

NOT_LESS_THAN_ZERO()

NON_EMPTY_LIST()

WELL_FORMED_LIST

WELL_FORMED_LIST()

FORMAT_CONTROL_SEQUENCE

FORMAT_CONTROL_SEQUENCE()

CHARACTER_CODE_LIST

CHARACTER_CODE_LIST()

BUFFERING_MODE()

ATOM_PROPERTY()

Types

object Companion

Functions

open override fun toString(): String

open fun toTerm(): <ERROR CLASS>

A function to transform the type to corresponding Atom representation

Properties

val domain: String

The expected domain string description

val name: String

val ordinal: Int