Constructor
|
public FileInput(String filename) |
Read
a double floating point number (double) |
public final synchronized double
readDouble() |
Read
a float floating point number (float) |
public final synchronized float
readFloat() |
Read
a BigDecimal number (BigDecimal) |
public final synchronized BigDecimal
readBigDecimal() |
Read
an integer (int) |
public final synchronized int readInt()
|
Read
a long integer (long) |
public final synchronized long
readLong() |
Read
a big integer (BigInteger) |
public final synchronized BigInteger
readBigInteger() |
Read
a short integer (short) |
public final synchronized short
readShort() |
Read
a byte integer (byte) |
public final synchronized byte
readByte() |
Read
a separated character (char) |
public final synchronized char
readChar() |
Read
a word of text (String) |
public final synchronized String
readWord() |
Read
a word of text separated only by spaces (String) |
public final synchronized String
readWordSpaceOnly() |
Read
a line of text (String) |
public final synchronized String
readLine() |
Read
a complex number (Complex) |
public final synchronized Complex
readComplex() |
Read
a phasor (Phasor) |
public final synchronized Phasor
readPhasor() |
Read
true or false (boolean) |
public final synchronized boolean
readBoolean() |
End
of line status |
public boolean eol() |
End
of file status |
public boolean eof() |
File
existence status |
public boolean fileFound() |
Number of lines in the file |
public final synchronized int numberOfLines()
|
Copy the file |
public final synchronized void copy(String copyFilename)
|
Close
the file |
public final synchronized void close()
|
Get
the file name |
public String getFileName() |
Get
the file name minus its extension |
public String getStemName() |
Get
the path name |
public String getPathName() |
Get
the directory path |
public String getDirPath()
|