com.oracle.truffle.regex.tregex.nfa

Enum QuantifierGuard.Kind

java.lang.Object

java.lang.Enum<QuantifierGuard.Kind>

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

All Implemented Interfaces:

Serializable, Comparable<QuantifierGuard.Kind>, java.lang.constant.Constable

Enclosing class:

QuantifierGuard

public static enum QuantifierGuard.Kind
extends Enum<QuantifierGuard.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 and 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.
enter Transition is entering a quantified expression.
enterEmptyMatch Transition would go through an entire quantified expression without matching anything.
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.
exitEmptyMatch Transition is leaving an empty-match state.
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 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 and Description
static QuantifierGuard.Kind	valueOf(String name) Returns the enum constant of this type with the specified name.
static QuantifierGuard.Kind[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

enter

public static final QuantifierGuard.Kind enter

Transition is entering a quantified expression. Just increase the loop count.

loop

public static final QuantifierGuard.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 QuantifierGuard.Kind loopInc

Transition represents 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 QuantifierGuard.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 QuantifierGuard.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 QuantifierGuard.Kind enterZeroWidth

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

exitZeroWidth

public static final QuantifierGuard.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 Ruby, also check if any capture groups were modified.

escapeZeroWidth

public static final QuantifierGuard.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 only possible in Ruby and only when the last iteration of the quantiifed expression fails the empty check (the check for the index and the state of capture groups tested by QuantifierGuard.Kind.exitZeroWidth).

enterEmptyMatch

public static final QuantifierGuard.Kind enterEmptyMatch

Transition would go through an entire quantified expression without matching anything. Check if quantifier count is less than Token.Quantifier.getMin(), then increase the quantifier count. This guard is added to all transitions to the special empty-match state.

exitEmptyMatch

public static final QuantifierGuard.Kind exitEmptyMatch

Transition is leaving an empty-match state. This guard doesn't do anything, it just serves as a marker for QuantifierGuard.getKindReverse().

updateCG

public static final QuantifierGuard.Kind updateCG

Transition is passing a capture group boundary. We need this information in order to implement the empty check test in QuantifierGuard.Kind.exitZeroWidth, which, in the case of Ruby, also needs to monitor the state of capture groups in between QuantifierGuard.Kind.enterZeroWidth and QuantifierGuard.Kind.exitZeroWidth.

updateRecursiveBackrefPointer

public static final QuantifierGuard.Kind updateRecursiveBackrefPointer

Transition is leaving a group containing recursive back-references.

checkGroupMatched

public static final QuantifierGuard.Kind checkGroupMatched

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

checkGroupNotMatched

public static final QuantifierGuard.Kind checkGroupNotMatched

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

Method Detail

values

public static QuantifierGuard.Kind[] values()

Returns:

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

valueOf

public static QuantifierGuard.Kind valueOf(String name)

Parameters:

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

Returns:

the enum constant with the specified name

Throws:

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

NullPointerException - if the argument is null