Package jjparse

Class Parsing.Error<T>

java.lang.Object

Parsing<I>.jjparse.Parsing.Result<T>

Parsing<I>.jjparse.Parsing.Failure<T>

jjparse.Parsing.Error<T>

Type Parameters:

T - The covariant type of the parsed value, which is unused in case of an Parsing.Error.

Enclosing class:

Parsing<I>

public final class Parsing.Error<T>
extends Parsing<I>.Failure<T>

Represents a recoverable Parsing.Failure.

An Parsing.Error may lead to backtracking during parsing. In particular, when a Parsing.ChoiceParser fails with an Parsing.Error on its first alternative, it tries to apply the second one.

Note: This class is intended to be immutable and hence covariant in its type parameter.

Author:

Björn Lötters

See Also:

• Parsing.Result
• Parsing.Failure
• Parsing.Abort

Field Summary

Fields inherited from class jjparse.Parsing.Failure

message

Fields inherited from class jjparse.Parsing.Result

rest

Constructor Summary

Constructors

Constructor	Description
Error(String message, Input<? extends I> rest)

Method Summary

Modifier and Type	Method	Description
boolean	isFatal()	Checks whether this Parsing.Failure is fatal in the sense that no backtracking shall be applied during parsing.

Methods inherited from class jjparse.Parsing.Failure

flatMap, format, get, getOrFail, isFailure, isSuccess, map

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Error

public Error(String message,
 Input<? extends I> rest)

Method Details

isFatal

public boolean isFatal()

Description copied from class: Parsing.Failure

Checks whether this Parsing.Failure is fatal in the sense that no backtracking shall be applied during parsing.

Specified by:

isFatal in class Parsing<I>.Failure<T>

Returns:

true if this Parsing.Failure is an Parsing.Abort and false if it is an Parsing.Error.