Permission

enum Permission : Enum<PermissionError.Permission> , ToTermConvertible

A class describing the type of the tried permission

Entries

BINARY_STREAM
Link copied to clipboard
common
FLAG
Link copied to clipboard
common
OPERATOR
Link copied to clipboard
common
PAST_END_OF_STREAM
Link copied to clipboard
common
PRIVATE_PROCEDURE
Link copied to clipboard
common
SOURCE_SINK
Link copied to clipboard
common
STATIC_PROCEDURE
Link copied to clipboard
common
OOP_METHOD
Link copied to clipboard
common
STREAM
Link copied to clipboard
common
TEXT_STREAM
Link copied to clipboard
common

Types

Companion
Link copied to clipboard
common
object Companion

Functions

toString
Link copied to clipboard
common
open override fun toString(): String
toTerm
Link copied to clipboard
common
open override fun toTerm(): Atom
A function to transform the type to corresponding Atom representation

Properties

name
Link copied to clipboard
common
val name: String
ordinal
Link copied to clipboard
common
val ordinal: Int
permission
Link copied to clipboard
common
val permission: String