org.joni
Class Region

java.lang.Object
  extended by org.joni.Region

public final class Region
extends java.lang.Object


Field Summary
 int[] beg
           
 int[] end
           
 CaptureTreeNode historyRoot
           
 int numRegs
           
 
Constructor Summary
Region(int num)
           
Region(int begin, int end)
           
 
Method Summary
 Region clone()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

numRegs

public final int numRegs

beg

public final int[] beg

end

public final int[] end

historyRoot

public CaptureTreeNode historyRoot
Constructor Detail

Region

public Region(int num)

Region

public Region(int begin,
              int end)
Method Detail

clone

public Region clone()
Overrides:
clone in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright © {inceptionYear}-2008 null. All Rights Reserved.