org.joni

Class Region

java.lang.Object

org.joni.Region

public final class Region
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int[]	beg
int[]	end
CaptureTreeNode	historyRoot
int	numRegs
(package private) static int	REGION_NOTPOS

Constructor Summary

Constructors

Constructor and Description
Region(int num)
Region(int begin, int end)

Method Summary

Modifier and Type	Method and Description
(package private) void	clear()
Region	clone()
(package private) CaptureTreeNode	getCaptureTree()
java.lang.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 java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getCaptureTree

CaptureTreeNode getCaptureTree()

clear

void clear()