OperatorPriorityException

class OperatorPriorityException(source: Source, operatorToken: Token, operatorText: String, val definition: OperatorDefinition, val operandPriority: Int, val side: String, rulePath: List<String>) : PrologParsingException

Reports an operand whose priority violates its operator's x or y constraint.

Constructors

constructor(source: Source, operatorToken: Token, operatorText: String, definition: OperatorDefinition, operandPriority: Int, side: String, rulePath: List<String>)

expect open val cause: Throwable?

stable category of the failure

resolved operator definition

structured descriptions of acceptable syntax

expect open val message: String?

offending source spelling, or null when no token exists

root priority of the rejected operand

outer-to-inner grammar rules active at the failure

rejected operand side

optional diagnostic identifier of the source

exact source range associated with the failure