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

MutableOperatorTable

interface MutableOperatorTable : OperatorTable

Mutable operator lookup intended for clause-by-clause parse sessions.

The type is stateful and not designed for concurrent access. Defining the same name/specifier pair again replaces its priority; other specifiers for that name remain intact.

Functions

allDefinitions

abstract fun allDefinitions(): List<OperatorDefinition>

Returns every definition in stable name and Associativity order.

clear

abstract fun clear()

Removes every operator definition.

define

abstract fun define(definition: OperatorDefinition)

Adds definition, replacing the priority of an existing name/specifier pair.

open fun define(name: String, specifier: Associativity, priority: Int)

Defines one operator from its components.

definition

abstract fun definition(name: String, specifier: Associativity): OperatorDefinition?

Returns the definition for name and specifier, or null if absent.

definitions

abstract fun definitions(name: String): List<OperatorDefinition>

Returns all definitions for name in stable Associativity order.

isOperator

abstract fun isOperator(name: String): Boolean

Returns whether at least one definition exists for name.

remove

abstract fun remove(name: String, specifier: Associativity)

Removes only the specifier definition of name, if present.

removeAll

abstract fun removeAll(name: String)

Removes every definition of name.

snapshot

abstract fun snapshot(): OperatorTable

Returns an immutable copy isolated from subsequent mutations.