Enum Class TransitionGuard.Kind

java.lang.Object

java.lang.Enum<TransitionGuard.Kind>

com.oracle.truffle.regex.tregex.nfa.TransitionGuard.Kind

All Implemented Interfaces:

Serializable, Comparable<TransitionGuard.Kind>, Constable

Enclosing class:

TransitionGuard

public static enum TransitionGuard.Kind
extends Enum<TransitionGuard.Kind>

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
checkGroupMatched	Transition is entering the then-branch (the first alternative) of a ConditionalBackReferenceGroup.
checkGroupNotMatched	Transition is entering the else-branch (the second alternative) of a ConditionalBackReferenceGroup.
enterZeroWidth	Transition is entering a quantified expression that may match the empty string.
escapeZeroWidth	Transition is leaving a quantified expression that may match the empty string and it is about to continue to what follows the loop.
exit	Transition is leaving a quantified expression.
exitReset	Transition is leaving a quantified expression without lower bound, i.e.
exitZeroWidth	Transition is leaving a quantified expression that may match the empty string.
loop	Transition represents a back-edge in the quantifier loop.
loopInc	Transition represents either a first entry into a quantified expression, or a back-edge in a quantifier loop without upper bound, i.e.
updateCG	Transition is passing a capture group boundary.
updateRecursiveBackrefPointer	Transition is leaving a group containing recursive back-references.

Method Summary

Modifier and Type	Method	Description
static TransitionGuard.Kind	valueOf(String name)	Returns the enum constant of this class with the specified name.
static TransitionGuard.Kind[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

loop

public static final TransitionGuard.Kind loop

Transition represents a back-edge in the quantifier loop. Check if the loop count is below Token.Quantifier.getMax(), then increase loop count.

loopInc

public static final TransitionGuard.Kind loopInc

Transition represents either a first entry into a quantified expression, or a back-edge in a quantifier loop without upper bound, i.e. quantifiers where Token.Quantifier.isInfiniteLoop() is true. Just increase the loop count.

exit

public static final TransitionGuard.Kind exit

Transition is leaving a quantified expression. Check if the loop count is above Token.Quantifier.getMin(), then reset the loop count.

exitReset

public static final TransitionGuard.Kind exitReset

Transition is leaving a quantified expression without lower bound, i.e. quantifiers where Token.Quantifier.getMin() == 0. Just reset the loop count.

enterZeroWidth

public static final TransitionGuard.Kind enterZeroWidth

Transition is entering a quantified expression that may match the empty string. Save the current index.

exitZeroWidth

public static final TransitionGuard.Kind exitZeroWidth

Transition is leaving a quantified expression that may match the empty string. Check if the current index is greater than the saved index. In the case of flavors in which RegexFlavor.emptyChecksMonitorCaptureGroups(), also check if any capture groups were modified.

escapeZeroWidth

public static final TransitionGuard.Kind escapeZeroWidth

Transition is leaving a quantified expression that may match the empty string and it is about to continue to what follows the loop. This is possible in flavors in which RegexFlavor.failingEmptyChecksDontBacktrack() and only when the last iteration of the quantified expression fails the empty check (the check for the index and the state of capture groups tested by exitZeroWidth).

updateCG

public static final TransitionGuard.Kind updateCG

Transition is passing a capture group boundary. We need this information in order to implement the empty check test in exitZeroWidth, which, in the case of flavors in which RegexFlavor.emptyChecksMonitorCaptureGroups(), where we need to monitor the state of capture groups in between enterZeroWidth and exitZeroWidth.

updateRecursiveBackrefPointer

public static final TransitionGuard.Kind updateRecursiveBackrefPointer

Transition is leaving a group containing recursive back-references.

checkGroupMatched

public static final TransitionGuard.Kind checkGroupMatched

Transition is entering the then-branch (the first alternative) of a ConditionalBackReferenceGroup. The capture group identified by TransitionGuard.getGroupNumber(long) must be matched in order to proceed.

checkGroupNotMatched

public static final TransitionGuard.Kind checkGroupNotMatched

Transition is entering the else-branch (the second alternative) of a ConditionalBackReferenceGroup. The capture group identified by TransitionGuard.getGroupNumber(long) must be *not* matched in order to proceed.

Method Details

values

public static TransitionGuard.Kind[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static TransitionGuard.Kind valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null