org.joni

Class SingleRegion

java.lang.Object

org.joni.Region

org.joni.SingleRegion

public class SingleRegion
extends Region

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	beg
(package private) int	end

Fields inherited from class org.joni.Region

historyRoot, REGION_NOTPOS

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
(package private) void	clear()
SingleRegion	clone()
int	getBeg(int index)
int	getEnd(int index)
int	getNumRegs()
int	setBeg(int index, int value)
int	setEnd(int index, int value)

Methods inherited from class org.joni.Region

getCaptureTree, newRegion, newRegion, setCaptureTree, toString

Methods inherited from class java.lang.Object

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

Field Detail

beg

int beg

end

int end

Constructor Detail

SingleRegion

public SingleRegion(int num)

SingleRegion

public SingleRegion(int begin,
                    int end)

Method Detail

getNumRegs

public int getNumRegs()

Specified by:

getNumRegs in class Region

clone

public SingleRegion clone()

Specified by:

clone in class Region

getBeg

public int getBeg(int index)

Specified by:

getBeg in class Region

setBeg

public int setBeg(int index,
                  int value)

Specified by:

setBeg in class Region

getEnd

public int getEnd(int index)

Specified by:

getEnd in class Region

setEnd

public int setEnd(int index,
                  int value)

Specified by:

setEnd in class Region

clear

void clear()

Specified by:

clear in class Region