Class DFACaptureGroupPartialTransition

java.lang.Object

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

All Implemented Interfaces:

JsonConvertible

public final class DFACaptureGroupPartialTransition
extends Object
implements JsonConvertible

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	DFACaptureGroupPartialTransition.IndexOperation
static final class	DFACaptureGroupPartialTransition.LastGroupUpdate

Field Summary

Fields

Modifier and Type	Field	Description
static final byte[]	EMPTY
static final DFACaptureGroupPartialTransition.IndexOperation[]	EMPTY_INDEX_OPS
static final DFACaptureGroupPartialTransition.LastGroupUpdate[]	EMPTY_LAST_GROUP_UPDATES
static final int	FINAL_STATE_RESULT_INDEX

Method Summary

Modifier and Type	Method	Description
void	apply(TRegexDFAExecutorNode executor, DFACaptureGroupTrackingData d, int currentIndex)
void	apply(TRegexDFAExecutorNode executor, DFACaptureGroupTrackingData d, int currentIndex, boolean preFinal, boolean export)
void	applyFinalStateTransition(TRegexDFAExecutorNode executor, DFACaptureGroupTrackingData d, int currentIndex)
static DFACaptureGroupPartialTransition	create(DFAGenerator dfaGen, byte[] reorderSwaps, byte[] arrayCopies, DFACaptureGroupPartialTransition.IndexOperation[] indexUpdates, DFACaptureGroupPartialTransition.IndexOperation[] indexClears, DFACaptureGroupPartialTransition.LastGroupUpdate[] lastGroupUpdates, byte preReorderFinalStateResultIndex)	Creates a new DFACaptureGroupPartialTransition.
boolean	doesReorderResults()
boolean	equals(Object obj)
byte[]	getArrayCopies()
int	getCost()
static DFACaptureGroupPartialTransition	getEmptyInstance()
int	getId()
DFACaptureGroupPartialTransition.IndexOperation[]	getIndexClears()
DFACaptureGroupPartialTransition.IndexOperation[]	getIndexUpdates()
DFACaptureGroupPartialTransition.LastGroupUpdate[]	getLastGroupUpdates()
byte[]	getReorderSwaps()
int	hashCode()
static DFACaptureGroupPartialTransition	intersect(DFACaptureGroupPartialTransition[] transitions)
boolean	isEmpty()
DFACaptureGroupPartialTransition	subtract(DFACaptureGroupPartialTransition other)
JsonValue	toJson()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

FINAL_STATE_RESULT_INDEX

public static final int FINAL_STATE_RESULT_INDEX

See Also:

• Constant Field Values

EMPTY

public static final byte[] EMPTY

EMPTY_INDEX_OPS

public static final DFACaptureGroupPartialTransition.IndexOperation[] EMPTY_INDEX_OPS

EMPTY_LAST_GROUP_UPDATES

public static final DFACaptureGroupPartialTransition.LastGroupUpdate[] EMPTY_LAST_GROUP_UPDATES

Method Details

create

public static DFACaptureGroupPartialTransition create(DFAGenerator dfaGen,
 byte[] reorderSwaps,
 byte[] arrayCopies,
 DFACaptureGroupPartialTransition.IndexOperation[] indexUpdates,
 DFACaptureGroupPartialTransition.IndexOperation[] indexClears,
 DFACaptureGroupPartialTransition.LastGroupUpdate[] lastGroupUpdates,
 byte preReorderFinalStateResultIndex)

Creates a new DFACaptureGroupPartialTransition. All numeric values stored in this class refer to indices of the first or second dimension of DFACaptureGroupTrackingData.results and are stored as byte to save space. This is OK since the dimensions of DFACaptureGroupTrackingData.results are capped by TRegexOptions.TRegexMaxNumberOfNFAStatesInOneDFATransition (1st dimension) and TRegexOptions.TRegexMaxNumberOfCaptureGroupsForDFA * 2 (2nd dimension, times two because we need two array slots per capture group, one for the beginning and one for the end).
Although we treat DFACaptureGroupTrackingData.results as a 2D-array here, it is actually flattened into one dimension for performance. For that reason, we additionally have DFACaptureGroupTrackingData.currentResultOrder, which stores the offset of every "row" in the 2D-array. We need to be able to reorder the rows of the 2D-array, and we do that by simply reordering DFACaptureGroupTrackingData.currentResultOrder.
Example:
If DFACaptureGroupTrackingData.results is a 3x2 array, then DFACaptureGroupTrackingData.currentResultOrder will initially contain [0, 2, 4]. If we want to swap the first two rows of the 2D array, DFACaptureGroupTrackingData.currentResultOrder becomes [2, 0, 4].

Parameters:

reorderSwaps - reorder DFACaptureGroupTrackingData.currentResultOrder using a sequence of swap operations described in this array. Every two elements in this array denote one swap operation.

Example:
If currentResultOrder = DFACaptureGroupTrackingData#currentResultOrder and reorderSwaps = [0, 1, 1, 2], then currentResultOrder[0] will be swapped with currentResultOrder[1], and currentResultOrder[1] will be swapped with currentResultOrder[2], in that order.

arrayCopies - copy rows of DFACaptureGroupTrackingData.results (1st dimension) as described in this array. Every two elements in this array denote one copy operation, where the first element is the source, and the second is the target. The copy operations will be applied after the reordering of DFACaptureGroupTrackingData.currentResultOrder with reorderSwaps.

Example:
If results = DFACaptureGroupTrackingData#results and arrayCopies = [0, 1, 2, 3], then the contents of results[0] will be copied into results[1], and the contents of results[2] will be copied into results[3].

indexUpdates - denotes which index of which array in DFACaptureGroupTrackingData.results shall be updated to currentIndex in apply(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int), applyPreFinalStateTransition(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int, boolean) and applyFinalStateTransition(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int) . In every row (1st dimension element) of this 2D array, the first value is the index of one row in DFACaptureGroupTrackingData.results, all following values are indices in that row that shall be set to currentIndex.

Example:
If results = DFACaptureGroupTrackingData#results and indexUpdates = [[0, 1, 2], [3, 4]], then results[0][1], results[0][2] and results[3][4] will be set to currentIndex.

indexClears - denotes which index of which array in DFACaptureGroupTrackingData.results shall be updated to 0 in apply(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int), applyPreFinalStateTransition(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int, boolean) and applyFinalStateTransition(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int) , analogous to indexUpdates.

preReorderFinalStateResultIndex - denotes the row (1st dimension element) of DFACaptureGroupTrackingData.results that corresponds to the NFA final state before the reordering given by reorderSwaps is applied. This is needed in applyPreFinalStateTransition(TRegexDFAExecutorNode, DFACaptureGroupTrackingData, int, boolean) when TRegexDFAExecutorNode.isSearching() is true, because in that case we need to be able to apply copy the current result corresponding to the NFA final state without doing any reordering.

Returns:

a new DFACaptureGroupPartialTransition, or a static empty instance if all arguments are empty or zero.

intersect

public static DFACaptureGroupPartialTransition intersect(DFACaptureGroupPartialTransition[] transitions)

subtract

public DFACaptureGroupPartialTransition subtract(DFACaptureGroupPartialTransition other)

getEmptyInstance

public static DFACaptureGroupPartialTransition getEmptyInstance()

isEmpty

public boolean isEmpty()

getId

public int getId()

doesReorderResults

public boolean doesReorderResults()

getReorderSwaps

public byte[] getReorderSwaps()

getArrayCopies

public byte[] getArrayCopies()

getIndexUpdates

public DFACaptureGroupPartialTransition.IndexOperation[] getIndexUpdates()

getIndexClears

public DFACaptureGroupPartialTransition.IndexOperation[] getIndexClears()

getLastGroupUpdates

public DFACaptureGroupPartialTransition.LastGroupUpdate[] getLastGroupUpdates()

getCost

public int getCost()

apply

public void apply(TRegexDFAExecutorNode executor,
 DFACaptureGroupTrackingData d,
 int currentIndex)

apply

public void apply(TRegexDFAExecutorNode executor,
 DFACaptureGroupTrackingData d,
 int currentIndex,
 boolean preFinal,
 boolean export)

applyFinalStateTransition

public void applyFinalStateTransition(TRegexDFAExecutorNode executor,
 DFACaptureGroupTrackingData d,
 int currentIndex)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible