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)
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
a simple model to read data w/o dragging the file system content into the JPF memory
how hard can it be to transform byte(s) into a char? I hate Unicode
natively convert char output into byte output <2do> - this needs to be reworked.
MJI model class for java.io.RandomAccessFile