Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES