JML

java.util
Class Properties.LineReader

java.lang.Object
  extended byjava.util.Properties.LineReader
Enclosing class:
Properties

class Properties.LineReader
extends Object


Field Summary
(package private)  byte[] inByteBuf
           
(package private)  char[] inCharBuf
           
(package private)  int inLimit
           
(package private)  int inOff
           
(package private)  InputStream inStream
           
(package private)  char[] lineBuf
           
(package private)  Reader reader
           
 
Constructor Summary
Properties.LineReader(Properties, InputStream)
           
Properties.LineReader(Properties, Reader)
           
 
Method Summary
(package private)  int readLine()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

reader

Reader reader

inStream

InputStream inStream

inCharBuf

char[] inCharBuf

inByteBuf

byte[] inByteBuf

inOff

int inOff

inLimit

int inLimit

lineBuf

char[] lineBuf
Constructor Detail

Properties.LineReader

public Properties.LineReader(Properties,
                             InputStream)

Properties.LineReader

public Properties.LineReader(Properties,
                             Reader)
Method Detail

readLine

int readLine()
       throws IOException
Throws:
IOException

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.