public abstract class Region
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected CaptureTreeNode |
historyRoot |
(package private) static int |
REGION_NOTPOS |
| Constructor and Description |
|---|
Region() |
| Modifier and Type | Method and Description |
|---|---|
(package private) abstract void |
clear() |
abstract Region |
clone() |
abstract int |
getBeg(int index) |
(package private) CaptureTreeNode |
getCaptureTree() |
abstract int |
getEnd(int index) |
abstract int |
getNumRegs() |
static Region |
newRegion(int num) |
static Region |
newRegion(int begin,
int end) |
abstract int |
setBeg(int index,
int value) |
(package private) CaptureTreeNode |
setCaptureTree(CaptureTreeNode ctn) |
abstract int |
setEnd(int index,
int value) |
java.lang.String |
toString() |
static final int REGION_NOTPOS
protected CaptureTreeNode historyRoot
public static Region newRegion(int num)
public static Region newRegion(int begin, int end)
public abstract Region clone()
clone in class java.lang.Objectpublic abstract int getNumRegs()
public abstract int getBeg(int index)
public abstract int setBeg(int index,
int value)
public abstract int getEnd(int index)
public abstract int setEnd(int index,
int value)
public java.lang.String toString()
toString in class java.lang.ObjectCaptureTreeNode getCaptureTree()
CaptureTreeNode setCaptureTree(CaptureTreeNode ctn)
abstract void clear()