|
|
| 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() |