avail/avail.compiler/AvailRejectedParseException

AvailRejectedParseException

class AvailRejectedParseException : PrimitiveThrownException

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

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...".

AvailRejectedParseException

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...".

AvailRejectedParseException

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...".