Avail
An AvailRejectedParseException is thrown by primitive P_RejectParsing to indicate the fiber running a semantic restriction (or macro body or prefix function) has rejected the argument types or phrases for the reason specified in the exception's constructor.
Author
Todd L Smith
Constructors
Construct a new instance. If this diagnostic is deemed relevant, the string will be presented after the word "Expected...".
Construct a new instance with a Java String as the pattern for the explanation, and arguments to be substituted into the pattern. If this diagnostic is deemed relevant, the string will be presented after the word "Expected...".
Construct a new instance the most general way, with a function to produce an Avail string as needed. If this diagnostic is deemed relevant, the string will be presented after the word "Expected...".
Properties
The ParseNotificationLevel that indicates the priority of the parse theory that failed.
The error message indicating why a particular parse was rejected.