public final class Region
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int[] |
beg |
int[] |
end |
CaptureTreeNode |
historyRoot |
int |
numRegs |
(package private) static int |
REGION_NOTPOS |
Constructor and Description |
---|
Region(int num) |
Region(int begin,
int end) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
clear() |
Region |
clone() |
(package private) CaptureTreeNode |
getCaptureTree() |
java.lang.String |
toString() |
static final int REGION_NOTPOS
public final int numRegs
public final int[] beg
public final int[] end
public CaptureTreeNode historyRoot
public Region clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
CaptureTreeNode getCaptureTree()
void clear()