JML

org.multijava.util.compiler
Class InputBuffer

java.lang.Object
  extended byorg.multijava.util.compiler.InputBuffer

public class InputBuffer
extends Object

This class allows to find the position of an object in an array.


Field Summary
 char[] data
           
private static boolean ENV_USE_CACHE
           
 String file
           
 int line
           
 int pos
           
 int size
           
 
Constructor Summary
InputBuffer(File file)
          Constructs a new input buffer.
InputBuffer(String name, 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

ENV_USE_CACHE

private static final boolean ENV_USE_CACHE

file

public String file

data

public char[] data

size

public int size

pos

public int pos

line

public int line
Constructor Detail

InputBuffer

public InputBuffer(String name,
                   File file)
            throws IOException
Constructs a new input buffer.

Parameters:
name - the name of the file
file - the file to read
Throws:
IOException - an I/O exception occurred

InputBuffer

public InputBuffer(File file)
            throws IOException
Constructs a new input buffer.

Parameters:
file - the file to read
Throws:
IOException - an I/O exception occurred
Method Detail

release

public void release()
Releases cached buffer.


isEndOfData

public final boolean isEndOfData()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.