|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--at.dms.compiler.InputBuffer
Buffer that holds a whole input file.
Field Summary | |
char[] |
data
|
java.lang.String |
file
|
int |
line
|
int |
pos
|
int |
size
|
Constructor Summary | |
InputBuffer(java.io.File file)
Constructs a new input buffer. |
|
InputBuffer(java.lang.String name,
java.io.File file)
Constructs a new input buffer. |
Method Summary | |
boolean |
isEndOfData()
|
void |
release()
Releases cached buffer. |
Methods inherited from class java.lang.Object |
|
Field Detail |
public java.lang.String file
public char[] data
public int size
public int pos
public int line
Constructor Detail |
public InputBuffer(java.lang.String name, java.io.File file) throws java.io.IOException
name
- The name of the file.file
- The file to read.java.io.IOException
- An I/O exception occurred.public InputBuffer(java.io.File file) throws java.io.IOException
file
- the file to readjava.io.IOException
- an I/O exception occurredMethod Detail |
public void release()
public final boolean isEndOfData()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |