TRegexBacktrackingNFAExecutorLocals

java.lang.Object
- com.oracle.truffle.regex.tregex.nodes.TRegexExecutorLocals
- - com.oracle.truffle.regex.tregex.nodes.nfa.TRegexBacktrackingNFAExecutorLocals

public final class TRegexBacktrackingNFAExecutorLocals
extends TRegexExecutorLocals

Contains the stack used by TRegexBacktrackingNFAExecutorNode. One stack frame represents a snapshot of the backtracker's state. The backtracker state consists of:

the current index in the input string
the current NFA state
all current capture group boundaries (including the number of the last matched group, if tracked)
all current quantifier loop counters
all saved indices for zero-width checks in quantifiers
all saved capture groups for zero-width checks in quantifiers
all saved capture groups for recursive back-references (if tracked)

The backtracker state is written to the stack in the order given above, so one stack frame looks like this:

 sp    sp+1      sp+2           sp+2+ncg           sp+2+ncg+nq                   sp+2+ncg+nq+nzwq         sp+2+ncg+nq+nzwq+nzwqcg
 |     |         |              |                  |                             |                        |
 v     v         v              v                  v                             v                        v
 -----------------------------------------------------------------------------------------------------------------------------------
 |index|nfa_state|capture_groups|quantifiers_counts|zero_width_quantifier_indices|zero_width_quantifier_CG|recursive_capture_groups|
 -----------------------------------------------------------------------------------------------------------------------------------

 frame size: 2 + n_capture_groups*2 [+ 1 last_group] + n_quantifiers + n_zero_width_quantifiers + zero_width_quantifier_CG_length + n_recursive_capture_groups

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`apply(PureNFATransition t, int index)`
`boolean`	`canPop()`
`boolean`	`canPopResult()`
`protected void`	`clearCaptureGroups()`
`protected void`	`clearQuantifierCounts()`
`protected void`	`clearRecursiveCaptureGroups()`
`static TRegexBacktrackingNFAExecutorLocals`	`create(com.oracle.truffle.api.strings.TruffleString input, int fromIndex, int index, int maxIndex, int nCaptureGroups, int nQuantifiers, int nZeroWidthQuantifiers, int[] zeroWidthTermEnclosedCGLow, int[] zeroWidthQuantifierCGOffsets, boolean allocateStackFrameBuffer, int maxNTransitions, boolean trackLastGroup, boolean dontOverwriteLastGroup, boolean recursiveBackrefs)`
`TRegexBacktrackingNFAExecutorLocals`	`createSubNFALocals(boolean newDontOverwriteLastGroup)`
`TRegexBacktrackingNFAExecutorLocals`	`createSubNFALocals(PureNFATransition t, boolean newDontOverwriteLastGroup)`
`void`	`dupFrame()`
`void`	`dupFrame(int n)`
`int`	`getCaptureGroupBoundary(int boundary)`
`int`	`getCaptureGroupEnd(int groupNumber)`
`int`	`getCaptureGroupStart(int groupNumber)`
`int`	`getLastInitialStateIndex()`
`int`	`getLastInnerLiteralIndex()`
`int`	`getPc()`
`int`	`getQuantifierCount(Token.Quantifier q)`
`int`	`getRecursiveCaptureGroupStart(int groupNumber)`
`int[]`	`getStackFrameBuffer()`
`long[]`	`getTransitionBitSet()`
`int`	`getZeroWidthQuantifierGuardIndex(Token.Quantifier q)`
`void`	`incQuantifierCount(Token.Quantifier q)`
`boolean`	`isResultUnmodifiedByZeroWidthQuantifier(Token.Quantifier q)`
`void`	`overwriteCaptureGroups(int[] captureGroups)`
`int`	`pop()`
`int[]`	`popResult()`
`void`	`printStack(int curPc)`
`void`	`push()`
`void`	`pushFrame(int[] frame)`
`void`	`pushResult()` Marks that a result was pushed at the current stack frame.
`void`	`pushResult(PureNFATransition t, int index)`
`void`	`readFrame(int[] to)`
`void`	`resetQuantifierCount(Token.Quantifier q)`
`void`	`resetToInitialState()`
`void`	`restoreIndex()`
`void`	`saveIndex(int index)`
`void`	`saveRecursiveBackrefGroupStart(int groupNumber)`
`void`	`setCaptureGroupBoundary(int boundary, int index)`
`void`	`setLastGroup(int newLastGroup)`
`void`	`setLastInitialStateIndex(int i)`
`void`	`setLastInnerLiteralIndex(int i)`
`int`	`setPc(int pc)`
`void`	`setQuantifierCount(Token.Quantifier q, int count)`
`void`	`setResult()` Copies the current capture group boundaries to the result array.
`void`	`setZeroWidthQuantifierGuardIndex(Token.Quantifier q)`
`void`	`setZeroWidthQuantifierResults(Token.Quantifier q)`
`void`	`writeFrame(int[] from)`

Methods inherited from class com.oracle.truffle.regex.tregex.nodes.TRegexExecutorLocals
getFromIndex, getIndex, getInput, getMaxIndex, getNextIndex, incLoopCount, setIndex, setNextIndex

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

create

public static TRegexBacktrackingNFAExecutorLocals create(com.oracle.truffle.api.strings.TruffleString input,
                                                         int fromIndex,
                                                         int index,
                                                         int maxIndex,
                                                         int nCaptureGroups,
                                                         int nQuantifiers,
                                                         int nZeroWidthQuantifiers,
                                                         int[] zeroWidthTermEnclosedCGLow,
                                                         int[] zeroWidthQuantifierCGOffsets,
                                                         boolean allocateStackFrameBuffer,
                                                         int maxNTransitions,
                                                         boolean trackLastGroup,
                                                         boolean dontOverwriteLastGroup,
                                                         boolean recursiveBackrefs)

createSubNFALocals

public TRegexBacktrackingNFAExecutorLocals createSubNFALocals(boolean newDontOverwriteLastGroup)

createSubNFALocals

public TRegexBacktrackingNFAExecutorLocals createSubNFALocals(PureNFATransition t,
                                                              boolean newDontOverwriteLastGroup)

apply

public void apply(PureNFATransition t,
                  int index)

resetToInitialState
```
public void resetToInitialState()
```

clearCaptureGroups
```
protected void clearCaptureGroups()
```

clearRecursiveCaptureGroups

protected void clearRecursiveCaptureGroups()

clearQuantifierCounts

protected void clearQuantifierCounts()

push
```
public void push()
```

pushFrame
```
public void pushFrame(int[] frame)
```

readFrame
```
public void readFrame(int[] to)
```

writeFrame
```
public void writeFrame(int[] from)
```

dupFrame
```
public void dupFrame()
```

dupFrame
```
public void dupFrame(int n)
```

pushResult

public void pushResult(PureNFATransition t,
                       int index)

pushResult
```
public void pushResult()
```
Marks that a result was pushed at the current stack frame.

setResult
```
public void setResult()
```
Copies the current capture group boundaries to the result array.

canPopResult
```
public boolean canPopResult()
```

popResult
```
public int[] popResult()
```

canPop
```
public boolean canPop()
```

pop
```
public int pop()
```

saveIndex
```
public void saveIndex(int index)
```

restoreIndex
```
public void restoreIndex()
```

getPc
```
public int getPc()
```

setPc
```
public int setPc(int pc)
```

getCaptureGroupBoundary

public int getCaptureGroupBoundary(int boundary)

setCaptureGroupBoundary

public void setCaptureGroupBoundary(int boundary,
                                    int index)

getCaptureGroupStart

public int getCaptureGroupStart(int groupNumber)

getCaptureGroupEnd

public int getCaptureGroupEnd(int groupNumber)

getRecursiveCaptureGroupStart

public int getRecursiveCaptureGroupStart(int groupNumber)

saveRecursiveBackrefGroupStart

public void saveRecursiveBackrefGroupStart(int groupNumber)

overwriteCaptureGroups

public void overwriteCaptureGroups(int[] captureGroups)

setLastGroup

public void setLastGroup(int newLastGroup)

getQuantifierCount

public int getQuantifierCount(Token.Quantifier q)

setQuantifierCount

public void setQuantifierCount(Token.Quantifier q,
                               int count)

resetQuantifierCount

public void resetQuantifierCount(Token.Quantifier q)

incQuantifierCount

public void incQuantifierCount(Token.Quantifier q)

getZeroWidthQuantifierGuardIndex

public int getZeroWidthQuantifierGuardIndex(Token.Quantifier q)

setZeroWidthQuantifierGuardIndex

public void setZeroWidthQuantifierGuardIndex(Token.Quantifier q)

isResultUnmodifiedByZeroWidthQuantifier

public boolean isResultUnmodifiedByZeroWidthQuantifier(Token.Quantifier q)

setZeroWidthQuantifierResults

public void setZeroWidthQuantifierResults(Token.Quantifier q)

getTransitionBitSet
```
public long[] getTransitionBitSet()
```

getLastInnerLiteralIndex
```
public int getLastInnerLiteralIndex()
```

setLastInnerLiteralIndex

public void setLastInnerLiteralIndex(int i)

getLastInitialStateIndex
```
public int getLastInitialStateIndex()
```

setLastInitialStateIndex

public void setLastInitialStateIndex(int i)

getStackFrameBuffer
```
public int[] getStackFrameBuffer()
```

printStack
```
public void printStack(int curPc)
```

Class TRegexBacktrackingNFAExecutorLocals

Method Summary

Methods inherited from class com.oracle.truffle.regex.tregex.nodes.TRegexExecutorLocals

Methods inherited from class java.lang.Object

Method Detail

create

createSubNFALocals

createSubNFALocals

apply

resetToInitialState

clearCaptureGroups

clearRecursiveCaptureGroups

clearQuantifierCounts

push

pushFrame

readFrame

writeFrame

dupFrame

dupFrame

pushResult

pushResult

setResult

canPopResult

popResult

canPop

pop

saveIndex

restoreIndex

getPc

setPc

getCaptureGroupBoundary

setCaptureGroupBoundary

getCaptureGroupStart

getCaptureGroupEnd

getRecursiveCaptureGroupStart

saveRecursiveBackrefGroupStart

overwriteCaptureGroups

setLastGroup

getQuantifierCount

setQuantifierCount

resetQuantifierCount

incQuantifierCount

getZeroWidthQuantifierGuardIndex

setZeroWidthQuantifierGuardIndex

isResultUnmodifiedByZeroWidthQuantifier

setZeroWidthQuantifierResults

getTransitionBitSet

getLastInnerLiteralIndex

setLastInnerLiteralIndex

getLastInitialStateIndex

setLastInitialStateIndex

getStackFrameBuffer

printStack