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

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
 |     |         |              |                  |                             |
 v     v         v              v                  v                             v
 ----------------------------------------------------------------------------------------------------------
 |index|nfa_state|capture_groups|quantifiers_counts|zero_width_quantifier_indices|zero_width_quantifier_CG|
 ----------------------------------------------------------------------------------------------------------

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

Constructor Summary

Constructors
Constructor and Description
`TRegexBacktrackingNFAExecutorLocals(Object 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)`

Method Summary

All 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()`
`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[]`	`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`	`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

Constructor Detail

TRegexBacktrackingNFAExecutorLocals

public TRegexBacktrackingNFAExecutorLocals(Object 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)

Method Detail

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()
```

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)

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

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Detail

TRegexBacktrackingNFAExecutorLocals

Method Detail

createSubNFALocals

createSubNFALocals

apply

resetToInitialState

clearCaptureGroups

clearQuantifierCounts

push

pushFrame

readFrame

writeFrame

dupFrame

dupFrame

pushResult

pushResult

setResult

canPopResult

popResult

canPop

pop

saveIndex

restoreIndex

getPc

setPc

getCaptureGroupBoundary

setCaptureGroupBoundary

getCaptureGroupStart

getCaptureGroupEnd

overwriteCaptureGroups

setLastGroup

getQuantifierCount

setQuantifierCount

resetQuantifierCount

incQuantifierCount

getZeroWidthQuantifierGuardIndex

setZeroWidthQuantifierGuardIndex

isResultUnmodifiedByZeroWidthQuantifier

setZeroWidthQuantifierResults

getTransitionBitSet

getLastInnerLiteralIndex

setLastInnerLiteralIndex

getLastInitialStateIndex

setLastInitialStateIndex

getStackFrameBuffer

printStack