- java.lang.Object
-
- org.joni.Region
-
public final class Region extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description int[]
beg
int[]
end
CaptureTreeNode
historyRoot
int
numRegs
(package private) static int
REGION_NOTPOS
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
clear()
Region
clone()
(package private) CaptureTreeNode
getCaptureTree()
java.lang.String
toString()
-
-
-
Field Detail
-
REGION_NOTPOS
static final int REGION_NOTPOS
- See Also:
- Constant Field Values
-
numRegs
public final int numRegs
-
beg
public final int[] beg
-
end
public final int[] end
-
historyRoot
public CaptureTreeNode historyRoot
-
-
Method Detail
-
clone
public Region clone()
- Overrides:
clone
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getCaptureTree
CaptureTreeNode getCaptureTree()
-
clear
void clear()
-
-