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

## Package jif.lang

Provides classes that are fundamental to the Jif runtime system.

See:
Description

Interface Summary
Closure |
Label | A Label is the runtime representation of a Jif label.
Policy |
Principal | See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.

Class Summary
AbstractLabel | A Label is the runtime representation of a Jif label.
Capability |
Closure_JIF_IMPL |
JoinLabel | A Label is the runtime representation of a Jif label.
LabelUtil | A Label is the runtime representation of a Jif label.
Principal_JIF_IMPL | See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
PrincipalSet |
PrincipalUtil | Utility methods for principals.
PrivacyPolicy |
ReadableByPrinLabel |

## Package jif.lang Description

Provides classes that are fundamental to the Jif runtime system.

This package also provides classes for dealing with Jif runtime labels and runtime principals.

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