ObjectType

enum class ObjectType: Enum<ObjectType>, TermConvertible

A class describing the expected type whose absence caused the error

EnumItems

Name Description
PROCEDURE
SOURCE_SINK
RESOURCE
STREAM
OOP_ALIAS
OOP_METHOD
OOP_CONSTRUCTOR
OOP_PROPERTY

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

ObjectType

enum class ObjectType: Enum<ObjectType>, TermConvertible

A class describing the expected type whose absence caused the error

Methods

of

fun of(type: String): ObjectType

Returns the ObjectType instance described by type; creates a new instance only if type was not predefined

Parameters

Name Description
type: String

ReturnValue

Name Description
ObjectType

fromTerm

fun fromTerm(term: Term): ObjectType?

Gets ObjectType instance from term representation, if possible

Parameters

Name Description
term: Term

ReturnValue

Name Description
ObjectType?