Package jif.runtime

Contains classes of the Jif runtime system.

See:
Description

Class Summary

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.

Package jif.runtime Description

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.