com.oracle.truffle.regex.tregex.nodes.dfa

Class TRegexDFAExecutorDebugRecorder

java.lang.Object

com.oracle.truffle.regex.tregex.nodes.dfa.TRegexDFAExecutorDebugRecorder

All Implemented Interfaces:

JsonConvertible

public final class TRegexDFAExecutorDebugRecorder
extends Object
implements JsonConvertible

This class is used to store a trace of the execution of a TRegexExecutorBaseNode.execute(com.oracle.truffle.api.frame.VirtualFrame, TRegexExecutorLocals, TruffleString.CodeRange, boolean). A trace contains the arguments received by TRegexExecutorBaseNode.execute(com.oracle.truffle.api.frame.VirtualFrame, TRegexExecutorLocals, TruffleString.CodeRange, boolean), and the ID of the DFA transition taken for all characters of the input string that have been traversed. After execution, the recorded trace can be dumped to disk as JSON with TRegexDFAExecutorDebugRecorder.finishRecording().

Method Summary

Modifier and Type	Method and Description
static TRegexDFAExecutorDebugRecorder	create(RegexOptions options, DFAGenerator dfaGenerator)
void	finishRecording()
void	recordCGPartialTransition(int currentIndex, int cgPartialTransitionIndex)
void	recordTransition(int currentIndex, short stateNodeID, int transitionIndex)
void	setInitialIndex(int initialIndex)
void	startRecording(TRegexDFAExecutorLocals locals)
JsonValue	toJson()

Methods inherited from class java.lang.Object

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

Method Detail

create

public static TRegexDFAExecutorDebugRecorder create(RegexOptions options,
                                                    DFAGenerator dfaGenerator)

startRecording

public void startRecording(TRegexDFAExecutorLocals locals)

setInitialIndex

public void setInitialIndex(int initialIndex)

recordTransition

public void recordTransition(int currentIndex,
                             short stateNodeID,
                             int transitionIndex)

recordCGPartialTransition

public void recordCGPartialTransition(int currentIndex,
                                      int cgPartialTransitionIndex)

finishRecording

public void finishRecording()

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible