Class | Description |
---|---|
FileSystem |
This class represents the file system, through which you can query
and set the security labels of files.
|
NativePrincipal |
A NativePrincipal represents the file system users and groups.
|
Runtime |
The runtime interface between Jif programs and the underlying system.
|
Contains classes of the Jif runtime system.
The most important class is <code>Runtime</code>, which implements the Jif runtime interface that sits between Jif programs and the underying system. This package also provides some proxy classes for <code>File</code>, <code>FileInputStream</code>, <code>FileOutputStream</code> and <code>PrintStream</code>. These proxy classses usually contain a field of the corresponding Java class, to which method calls are relayed.