Class DFAGenerator

java.lang.Object

com.oracle.truffle.regex.tregex.dfa.DFAGenerator

All Implemented Interfaces:

JsonConvertible

public final class DFAGenerator
extends Object
implements JsonConvertible

Constructor Summary

Constructors

Constructor	Description
DFAGenerator(TRegexCompilationRequest compilationRequest, NFA nfa, TRegexDFAExecutorProperties executorProps, CompilationBuffer compilationBuffer)

Method Summary

Modifier and Type	Method	Description
void	calcDFA()	Calculates the DFA.
TRegexDFAExecutorNode	createDFAExecutor()	Transforms the generator's DFA representation to the data structure required by TRegexDFAExecutorNode and returns the dfa as a new TRegexDFAExecutorNode.
Counter	getCgPartialTransitionIDCounter()
CompilationBuffer	getCompilationBuffer()
String	getDebugDumpName()
String	getDebugDumpName(String name)
DFAStateNodeBuilder[]	getEntryStates()
NFA	getNfa()
RegexOptions	getOptions()
TRegexDFAExecutorProperties	getProps()
DFAStateNodeBuilder	getState(short stateNodeID)
Map<DFAStateNodeBuilder,DFAStateNodeBuilder>	getStateMap()
boolean	isForward()
boolean	isGenericCG()
boolean	isSearching()
void	nodeSplitRegisterDuplicateState(short oldID, short newID)
void	nodeSplitSetNewDFASize(int size)
void	nodeSplitUpdateSuccessors(short stateID, short[] newSuccessors)
void	registerCGPartialTransitionDebugInfo(DFACaptureGroupTransitionBuilder.PartialTransitionDebugInfo partialTransition)
JsonValue	toJson()

Methods inherited from class java.lang.Object

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

Constructor Details

DFAGenerator

public DFAGenerator(TRegexCompilationRequest compilationRequest,
 NFA nfa,
 TRegexDFAExecutorProperties executorProps,
 CompilationBuffer compilationBuffer)

Method Details

getNfa

public NFA getNfa()

getEntryStates

public DFAStateNodeBuilder[] getEntryStates()

getStateMap

public Map<DFAStateNodeBuilder,DFAStateNodeBuilder> getStateMap()

getProps

public TRegexDFAExecutorProperties getProps()

isForward

public boolean isForward()

isGenericCG

public boolean isGenericCG()

isSearching

public boolean isSearching()

getOptions

public RegexOptions getOptions()

getCompilationBuffer

public CompilationBuffer getCompilationBuffer()

getState

public DFAStateNodeBuilder getState(short stateNodeID)

nodeSplitSetNewDFASize

public void nodeSplitSetNewDFASize(int size)

nodeSplitRegisterDuplicateState

public void nodeSplitRegisterDuplicateState(short oldID,
 short newID)

nodeSplitUpdateSuccessors

public void nodeSplitUpdateSuccessors(short stateID,
 short[] newSuccessors)

getCgPartialTransitionIDCounter

public Counter getCgPartialTransitionIDCounter()

registerCGPartialTransitionDebugInfo

public void registerCGPartialTransitionDebugInfo(DFACaptureGroupTransitionBuilder.PartialTransitionDebugInfo partialTransition)

calcDFA

public void calcDFA()

Calculates the DFA. Run this method before calling createDFAExecutor() or toJson() or passing the generator object to DFAExport.

createDFAExecutor

public TRegexDFAExecutorNode createDFAExecutor()

Transforms the generator's DFA representation to the data structure required by TRegexDFAExecutorNode and returns the dfa as a new TRegexDFAExecutorNode. Make sure to calculate the DFA with calcDFA() before calling this method!

Returns:

a TRegexDFAExecutorNode that runs the DFA generated by this object.

getDebugDumpName

public String getDebugDumpName(String name)

getDebugDumpName

public String getDebugDumpName()

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible