avail/avail.compiler/AvailRejectedParseException/AvailRejectedParseException

AvailRejectedParseException

fun AvailRejectedParseException(level: CompilerDiagnostics.ParseNotificationLevel, rejectionString: A_String)

Construct a new instance. If this diagnostic is deemed relevant, the string will be presented after the word "Expected...".

Parameters

level

The ParseNotificationLevel that indicates the priority of the parse theory that failed.

rejectionString

The Avail string indicating why a particular parse was rejected.

fun AvailRejectedParseException( level: CompilerDiagnostics.ParseNotificationLevel, rejectionPattern: String, vararg rejectionArguments: Any)

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

level

The ParseNotificationLevel that indicates the priority of the parse theory that failed.

rejectionPattern

The String to use as a pattern in String.format. The arguments with which to instantiate the pattern are also supplied.

rejectionArguments

The arguments that should be substituted into the pattern.

fun AvailRejectedParseException(level: CompilerDiagnostics.ParseNotificationLevel, supplier: () -> A_String)

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

level

The ParseNotificationLevel that indicates the priority of the parse theory that failed.

supplier

The function that produces a diagnostic Avail string upon first request.