|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.jamon.parser.PositionalPushbackReader
public class PositionalPushbackReader
A "pushback reader" which also tracks the current position in the file.
Unlike PushbackReader, this class allows pushing back an EOF
marker as well
| Constructor Summary | |
|---|---|
PositionalPushbackReader(org.jamon.api.TemplateLocation p_templateLocation,
java.io.Reader p_reader)
|
|
PositionalPushbackReader(org.jamon.api.TemplateLocation p_templateLocation,
java.io.Reader p_reader,
int p_pushbackBufferSize)
|
|
| Method Summary | |
|---|---|
org.jamon.api.Location |
getCurrentNodeLocation()
Get the location of the current node, as set by markNodeBeginning() or markNodeEnd() |
org.jamon.api.Location |
getLocation()
Get the location of the character just read. |
org.jamon.api.Location |
getNextLocation()
Get the location of the next character to be read (if there is one). |
boolean |
isLineStart()
|
void |
markNodeBeginning()
Mark that we are just starting a node. |
void |
markNodeEnd()
Mark that we have just finished a node |
int |
read()
|
void |
unread(int c)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public PositionalPushbackReader(org.jamon.api.TemplateLocation p_templateLocation,
java.io.Reader p_reader)
p_templateLocation - The path to the resource being read.p_reader - The underlying reader to use
public PositionalPushbackReader(org.jamon.api.TemplateLocation p_templateLocation,
java.io.Reader p_reader,
int p_pushbackBufferSize)
| Method Detail |
|---|
public int read()
throws java.io.IOException
java.io.IOException
public void unread(int c)
throws java.io.IOException
java.io.IOExceptionpublic org.jamon.api.Location getLocation()
public org.jamon.api.Location getNextLocation()
public boolean isLineStart()
public void markNodeBeginning()
public void markNodeEnd()
public org.jamon.api.Location getCurrentNodeLocation()
markNodeBeginning() or markNodeEnd()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||