Avail
Construct a new instance. If this diagnostic is deemed relevant, the string will be presented after the word "Expected...".
Parameters
The ParseNotificationLevel that indicates the priority of the parse theory that failed.
The Avail string indicating why a particular parse was rejected.
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...".
Parameters
The ParseNotificationLevel that indicates the priority of the parse theory that failed.
The String to use as a pattern in String.format. The arguments with which to instantiate the pattern are also supplied.
The arguments that should be substituted into the pattern.
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...".
Parameters
The ParseNotificationLevel that indicates the priority of the parse theory that failed.
The function that produces a diagnostic Avail string upon first request.