enum class Permission: Enum<Permission>, TermConvertible
EnumItems
| Name | Description |
|---|---|
BINARY_STREAM
|
|
FLAG
|
|
OPERATOR
|
|
PAST_END_OF_STREAM
|
|
PRIVATE_PROCEDURE
|
|
SOURCE_SINK
|
|
STATIC_PROCEDURE
|
|
OOP_METHOD
|
|
STREAM
|
|
TEXT_STREAM
|
Fields
| Name | Description |
|---|---|
val permission: 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
Permission
enum class Permission: Enum<Permission>, TermConvertible
A class describing the type of the tried permission
Methods
of
fun of(permission: String): Permission
Returns the Permission instance described by permission; creates a new instance only if permission was not predefined
Parameters
| Name | Description |
|---|---|
permission: String
|
ReturnValue
| Name | Description |
|---|---|
Permission
|
fromTerm
fun fromTerm(term: Term): Permission?
Gets Permission instance from term representation, if possible
Parameters
| Name | Description |
|---|---|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Permission?
|
A class describing the type of the tried permission