public class InputSource
extends java.io.PushbackReader
Modifier and Type | Method | Description |
---|---|---|
static InputSource |
openFile(java.lang.String name) |
open file for reading
|
static InputSource |
openStdIn() |
open standard input
|
static InputSource |
openString(java.lang.String input) |
"open" string for reading
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static InputSource openFile(java.lang.String name) throws java.io.FileNotFoundException
name
- file namejava.io.FileNotFoundException
public static InputSource openStdIn()
public static InputSource openString(java.lang.String input)
input
- string serving as source