solve/it.unibo.tuprolog.solve.exception.error/PermissionError/Permission

Permission

enum Permission : Enum<PermissionError.Permission>

A class describing the type of the tried permission

Entries

STATIC_PROCEDURE

STATIC_PROCEDURE()

PRIVATE_PROCEDURE

PRIVATE_PROCEDURE()

PAST_END_OF_STREAM

PAST_END_OF_STREAM()

BINARY_STREAM()

Types

object Companion

Functions

open override fun toString(): String

open fun toTerm(): <ERROR CLASS>

A function to transform the type to corresponding Atom representation

Properties

val name: String

val ordinal: Int

val permission: String