parser-impl/it.unibo.tuprolog.parser.operators/OperatorDefinition

OperatorDefinition

data class OperatorDefinition(val name: String, val specifier: Associativity, val priority: Int)

Declares one Prolog operator name, specifier, and priority.

One name may have several simultaneous definitions as long as their specifiers differ. Prolog priorities range from MIN_PRIORITY to MAX_PRIORITY, with lower values binding more tightly.

Throws

InvalidOperatorDefinitionException

if name is empty or priority is outside the range

Constructors

OperatorDefinition

constructor(name: String, specifier: Associativity, priority: Int)

Types

Companion

object Companion

Properties

name

val name: String

non-empty operator spelling

priority

val priority: Int

Prolog priority in 1..1200

specifier

val specifier: Associativity

fixity and operand constraints