Package jjparse

Class Parsing.Abort<T>

java.lang.Object

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

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

jjparse.Parsing.Abort<T>

Type Parameters:

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

Enclosing class:

Parsing<I>

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

Represents a fatal Parsing.Failure.

An Parsing.Abort prevents backtracking during parsing. In particular, when a Parsing.ChoiceParser fails with an Parsing.Abort on its first alternative, it does not attempt 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.Error

Field Summary

Fields inherited from class jjparse.Parsing.Failure

message

Fields inherited from class jjparse.Parsing.Result

rest

Constructor Summary

Constructors

Constructor	Description
Abort(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

Abort

public Abort(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.