OperatorTable

interface OperatorTable

Read-only lookup of runtime Prolog operator definitions.

Lexing never consults this table. Parsers resolve candidate atom spellings against it at the point where their syntactic role is known.

Inheritors

Functions

Link copied to clipboard

Returns every definition in stable name and Associativity order.

Link copied to clipboard
abstract fun definition(name: String, specifier: Associativity): OperatorDefinition?

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

Link copied to clipboard

Returns all definitions for name in stable Associativity order.

Link copied to clipboard
abstract fun isOperator(name: String): Boolean

Returns whether at least one definition exists for name.