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
all current quantifier loop counters
all saved indices 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
 |     |         |              |                  |
 v     v         v              v                  v
 --------------------------------------------------------------------------
 |index|nfa_state|capture_groups|quantifiers_counts|zero_width_quantifiers|
 --------------------------------------------------------------------------

 frame size: 2 + n_capture_groups*2 + n_quantifiers + n_zero_width_quantifiers

Constructor Summary

Constructors
Constructor and Description
`TRegexBacktrackingNFAExecutorLocals(Object input, int fromIndex, int index, int maxIndex, int nCaptureGroups, int nQuantifiers, int nZeroWidthQuantifiers, int maxNTransitions)`

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()`
`TRegexBacktrackingNFAExecutorLocals`	`createSubNFALocals(PureNFATransition t)`
`void`	`dupFrame()`
`void`	`dupFrame(int n)`
`int`	`getCaptureGroupBoundary(int index)`
`int`	`getCaptureGroupEnd(int groupNumber)`
`int`	`getCaptureGroupStart(int groupNumber)`
`int`	`getIndex()` The index pointing into `TRegexExecutorLocals.getInput()`.
`int`	`getLastInitialStateIndex()`
`int`	`getLastInnerLiteralIndex()`
`int`	`getQuantifierCount(Token.Quantifier q)`
`long[]`	`getTransitionBitSet()`
`int`	`getZeroWidthQuantifierGuardIndex(Token.Quantifier q)`
`void`	`incIndex(int i)`
`void`	`incQuantifierCount(Token.Quantifier q)`
`void`	`overwriteCaptureGroups(int[] captureGroups)`
`int`	`pop()`
`int[]`	`popResult()`
`void`	`printStack(int curPc)`
`void`	`push()`
`void`	`pushResult()` Marks that a result was pushed at the current stack frame.
`void`	`pushResult(PureNFATransition t, int index)`
`void`	`resetQuantifierCount(Token.Quantifier q)`
`void`	`resetToInitialState(int newIndex)`
`void`	`setIndex(int i)`
`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)`

Methods inherited from class com.oracle.truffle.regex.tregex.nodes.TRegexExecutorLocals
getFromIndex, getInput, getMaxIndex

Methods inherited from class java.lang.Object
clone, equals, finalize, 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 maxNTransitions)

Method Detail

createSubNFALocals

public TRegexBacktrackingNFAExecutorLocals createSubNFALocals()

createSubNFALocals

public TRegexBacktrackingNFAExecutorLocals createSubNFALocals(PureNFATransition t)

apply

public void apply(PureNFATransition t,
                  int index)

resetToInitialState

public void resetToInitialState(int newIndex)

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

clearQuantifierCounts

protected void clearQuantifierCounts()

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

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

getIndex
```
public int getIndex()
```
Description copied from class: TRegexExecutorLocals

The index pointing into TRegexExecutorLocals.getInput().

Overrides:

getIndex in class TRegexExecutorLocals

Returns:

the current index of TRegexExecutorLocals.getInput() that is being processed.

setIndex
```
public void setIndex(int i)
```
Overrides:

setIndex in class TRegexExecutorLocals

incIndex
```
public void incIndex(int i)
```
Overrides:

incIndex in class TRegexExecutorLocals

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

getCaptureGroupBoundary

public int getCaptureGroupBoundary(int index)

getCaptureGroupStart

public int getCaptureGroupStart(int groupNumber)

getCaptureGroupEnd

public int getCaptureGroupEnd(int groupNumber)

overwriteCaptureGroups

public void overwriteCaptureGroups(int[] captureGroups)

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)

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

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

setLastInnerLiteralIndex

public void setLastInnerLiteralIndex(int i)

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

setLastInitialStateIndex

public void setLastInitialStateIndex(int i)

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

dupFrame

dupFrame

pushResult

pushResult

setResult

canPopResult

popResult

canPop

pop

getIndex

setIndex

incIndex

setPc

getCaptureGroupBoundary

getCaptureGroupStart

getCaptureGroupEnd

overwriteCaptureGroups

getQuantifierCount

setQuantifierCount

resetQuantifierCount

incQuantifierCount

getZeroWidthQuantifierGuardIndex

setZeroWidthQuantifierGuardIndex

getTransitionBitSet

getLastInnerLiteralIndex

setLastInnerLiteralIndex

getLastInitialStateIndex

setLastInitialStateIndex

printStack