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