Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.jvm | |
gov.nasa.jpf.listener | |
gov.nasa.jpf.util | |
java.io | |
sun.misc |
Class and 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)
|
Class and 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)
|
Class and 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)
|
Class and 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)
|
Class and 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
|
Class and Description |
---|
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
|