public final class Region extends 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() |
String |
toString() |
static final int REGION_NOTPOS
public final int numRegs
public final int[] beg
public final int[] end
public CaptureTreeNode historyRoot
Copyright © 2018. All rights reserved.