Class PureNFATransitionGenerator

java.lang.Object

com.oracle.truffle.regex.tregex.parser.ast.visitors.NFATraversalRegexASTVisitor

com.oracle.truffle.regex.tregex.nfa.PureNFATransitionGenerator

public final class PureNFATransitionGenerator
extends NFATraversalRegexASTVisitor

Calculates the successor transitions of a given PureNFAState.

Field Summary

Fields inherited from class com.oracle.truffle.regex.tregex.parser.ast.visitors.NFATraversalRegexASTVisitor

ast

Constructor Summary

Constructors

Constructor	Description
PureNFATransitionGenerator(RegexAST ast, PureNFAGenerator nfaGen)

Method Summary

Modifier and Type	Method	Description
protected boolean	canPruneAfterUnconditionalFinalState()
protected void	enterLookAhead(LookAheadAssertion assertion)
void	generateTransitions(PureNFAState state)
protected boolean	isBuildingDFA()
protected void	leaveLookAhead(LookAheadAssertion assertion)
protected void	visit(RegexASTNode target)	Visit the next successor found.

Methods inherited from class com.oracle.truffle.regex.tregex.parser.ast.visitors.NFATraversalRegexASTVisitor

calcTransitionGuardsResult, canTraverseCaret, caretsOnPath, dollarsOnPath, dumpTransitionGuards, getCurrentMatchedConditionGroups, getGroupBoundaries, getMatchedConditionGroups, getTransitionGuardsOnPath, getTraversableLookBehindAssertions, hasTransitionGuards, isReverse, run, setCanTraverseCaret, setMatchedConditionGroups, setReverse, setTraversableLookBehindAssertions

Methods inherited from class java.lang.Object

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

Constructor Details

PureNFATransitionGenerator

public PureNFATransitionGenerator(RegexAST ast,
 PureNFAGenerator nfaGen)

Method Details

generateTransitions

public void generateTransitions(PureNFAState state)

visit

protected void visit(RegexASTNode target)

Description copied from class: NFATraversalRegexASTVisitor

Visit the next successor found.

Specified by:

visit in class NFATraversalRegexASTVisitor

enterLookAhead

protected void enterLookAhead(LookAheadAssertion assertion)

Specified by:

enterLookAhead in class NFATraversalRegexASTVisitor

leaveLookAhead

protected void leaveLookAhead(LookAheadAssertion assertion)

Specified by:

leaveLookAhead in class NFATraversalRegexASTVisitor

isBuildingDFA

protected boolean isBuildingDFA()

Specified by:

isBuildingDFA in class NFATraversalRegexASTVisitor

canPruneAfterUnconditionalFinalState

protected boolean canPruneAfterUnconditionalFinalState()

Specified by:

canPruneAfterUnconditionalFinalState in class NFATraversalRegexASTVisitor