|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectti.swing.console.Region
A region gets mapped over a section of a character stream. It can be used
to modify the state of the graphics as the Console
is being rendered.
It can also be used to just track a section of the character stream.
A region is immutable. It is not possible to modify the offset or length of a region once it is created.
Constructor Summary | |
protected |
Region(int offset,
int length)
Region class constructor. |
Method Summary | |
void |
enter(ConsoleGraphics g)
Modify the state of the graphics, for example to modify the state of the graphics if this region applies some attribute. |
int |
getEnd()
Get the offset of the end of this region, exclusive. |
int |
getLength()
Get the length of this region. |
int |
getStart()
Get the offset of the start of this region, inclusive. |
void |
leave(ConsoleGraphics g)
Modify the state of the graphics, for example to restore the original graphics state if this region applies some attribute. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
protected Region(int offset, int length)
offset
- the offset into the character stream where this
region beginslength
- the length of this regionMethod Detail |
public int getStart()
public int getEnd()
public int getLength()
public void enter(ConsoleGraphics g)
g
- the graphicspublic void leave(ConsoleGraphics g)
g
- the graphics
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |