| Class | Description |
|---|---|
| CorrectedPipedInputStream |
This class provides the same interface as java.io.PipedInputStream
except that it corrects the problem that when java.io.PipedOutputStream
has 1k or more written to it, it blocks until the some of the data is read
from the input pipe before more can be written.
|
| CorrectedPipedOutputStream |
This class provides the same interface as java.io.PipedOutputStream
except that it corrects the problem that when java.io.PipedOutputStream
has 1k or more written to it, it blocks until the some of the data is read
from the input pipe before more can be written.
|
| rcs_states | |
| SimpleFileFilter |
FilenameFilter which checks for a pattern match used by design tool.
|
| StackTracePrinter |
Utilities for printing StackTrace info with old JDK 1.4 API's
|
| StrToInt |
Convert a string to an integer accepting a somewhat larger range of strings
than String.parseInt() and adding some additional error printing.
|
| StrToLong |
Convert a string to an integer accepting a somewhat larger range of strings
than String.parseInt() and adding some additional error printing.
|
| URL_and_FileLoader |
Class used to read text files one line at a time
either as a local file or via an HTTP server.
|