|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.io.TextFileReader
Wrapper for the class FileReader
.
Constructor Summary | |
TextFileReader(String inputName)
Creates a TextFileReader object. |
Method Summary | |
void |
close()
Closes input. |
String |
getInFileName()
Get name of input file. |
String |
getLine()
Get currently read line. |
int |
getLineNumber()
Get currently read line number. |
String |
readLine()
For simple reading a complete line of the input file. |
void |
unReadLine()
Undos the readLine() method. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TextFileReader(String inputName) throws IOException
TextFileReader
object.
inputName
- name of the input file
IOException
- if the buffered reader couldn't be createdMethod Detail |
public void close()
public String readLine() throws IOException
line
.
Comments are ignored.
IOException
- wenn ein Lesefehler auftratpublic void unReadLine() throws IllegalStateException
readLine()
method. Only one readLine()
call can be cancelled. Further calls lead to an IllegalStateException.
A following readLine()
call gives the last result again.
IllegalStateException
- if undo isn't allowed any morepublic String getLine()
public int getLineNumber()
public String getInFileName()
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |