Class | Description |
---|---|
File |
MJI model class for java.io.File
NOTE - a number of methods are only stubbed out here to make Eclipse compile
JPF code that uses java.io.File (there is no way to tell Eclipse to exclude the
model classes from ths build-path)
|
FileDescriptor |
a simple abstraction for a file descriptor, which for us is little more
than just an id for a native data buffer (we don't want to keep the
data itself in the JPF space)
<2do> still needs the standard descriptors
|
FileInputStream |
a simple model to read data w/o dragging the file system content into
the JPF memory
|
FileOutputStream | |
InputStreamReader |
how hard can it be to transform byte(s) into a char? I hate Unicode
|
OutputStreamWriter |
natively convert char output into byte output
<2do> - this needs to be reworked.
|
RandomAccessFile |
MJI model class for java.io.RandomAccessFile
|