Class Region

java.lang.Object

org.joni.Region

public final class Region
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
(package private) void	clear()
Region	clone()
(package private) CaptureTreeNode	getCaptureTree()
String	toString()

Methods inherited from class Object

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

Field Details

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 Details

Region

public Region(int num)

Region

public Region(int begin,
 int end)

Method Details

clone

public Region clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object

getCaptureTree

CaptureTreeNode getCaptureTree()

clear

void clear()