at.dms.compiler
Class InputBuffer

java.lang.Object
  |
  +--at.dms.compiler.InputBuffer

public class InputBuffer
extends java.lang.Object

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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

file

public java.lang.String file

data

public char[] data

size

public int size

pos

public int pos

line

public int line
Constructor Detail

InputBuffer

public InputBuffer(java.lang.String name,
                   java.io.File file)
            throws java.io.IOException
Constructs a new input buffer.
Parameters:
name - The name of the file.
file - The file to read.
Throws:
java.io.IOException - An I/O exception occurred.

InputBuffer

public InputBuffer(java.io.File file)
            throws java.io.IOException
Constructs a new input buffer.
Parameters:
file - the file to read
Throws:
java.io.IOException - an I/O exception occurred
Method Detail

release

public void release()
Releases cached buffer.

isEndOfData

public final boolean isEndOfData()