org.joni
Class Region
java.lang.Object
org.joni.Region
public final class Region
- extends Object
Constructor Summary |
Region(int num)
|
Region(int begin,
int end)
|
numRegs
public final int numRegs
beg
public final int[] beg
end
public final int[] end
historyRoot
public CaptureTreeNode historyRoot
Region
public Region(int num)
Region
public Region(int begin,
int end)
clone
public Region clone()
- Overrides:
clone
in class Object
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.