public class InputSource
extends java.io.PushbackReader
| Modifier and Type | Method and 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
|
public static InputSource openFile(java.lang.String name) throws java.io.FileNotFoundException
name - file namejava.io.FileNotFoundExceptionpublic static InputSource openStdIn()
public static InputSource openString(java.lang.String input)
input - string serving as source