Operation

enum class Operation: Enum<Operation>, TermConvertible

A class describing the operation which caused the error

EnumItems

Name Description
ACCESS
ADD_ALIAS
CLOSE
CREATE
INPUT
INVOKE
MODIFY
OPEN
OUTPUT
REPOSITION

Fields

Name Description
val operation: String

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

Operation

enum class Operation: Enum<Operation>, TermConvertible

A class describing the operation which caused the error

Methods

of

fun of(operation: String): Operation

Returns the Operation instance described by operation; creates a new instance only if operation was not predefined

Parameters

Name Description
operation: String

ReturnValue

Name Description
Operation

fromTerm

fun fromTerm(term: Term): Operation?

Gets Operation instance from term representation, if possible

Parameters

Name Description
term: Term

ReturnValue

Name Description
Operation?