org.joni
Class Region

java.lang.Object
  org.joni.Region

public final class Region
extends Object

Field Summary

int[]	beg
int[]	end
CaptureTreeNode	historyRoot
int	numRegs
(package private) static int	REGION_NOTPOS

Constructor Summary

Region(int num)

Region(int begin, int end)

Method Summary

(package private) void	clear()
Region	clone()
(package private) CaptureTreeNode	getCaptureTree()
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Constructor Detail

Region

public Region(int num)

Region

public Region(int begin,
              int end)

Method Detail

clone

public Region clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object

getCaptureTree

CaptureTreeNode getCaptureTree()

clear

void clear()