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.