public class GlobalInputStream
extends java.lang.Object
Constructor and Description |
---|
GlobalInputStream() |
Modifier and Type | Method and Description |
---|---|
static java.io.File |
currentFile() |
static java.io.InputStream |
currentStream() |
static void |
include(java.lang.String fname,
int lookahead,
boolean useIncludePath) |
static boolean |
includeState() |
static void |
init() |
static void |
insert(java.lang.String str) |
static boolean |
isMoreRecentThan(java.io.File other)
Test if this input stream (or rather the underlying IDL file)
is more recent (was modified at a later time than) another
file.
|
static int |
read() |
static void |
setIncludePath(java.lang.String path) |
static void |
setInput(java.lang.String fname) |
public static void init()
public static void setInput(java.lang.String fname) throws java.io.IOException
java.io.IOException
public static boolean isMoreRecentThan(java.io.File other)
other
- the file to compare this stream againstpublic static boolean includeState()
public static void insert(java.lang.String str)
public static void include(java.lang.String fname, int lookahead, boolean useIncludePath) throws java.io.FileNotFoundException
java.io.FileNotFoundException
public static void setIncludePath(java.lang.String path)
public static java.io.File currentFile()
public static java.io.InputStream currentStream()
public static int read() throws java.io.IOException
java.io.IOException