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

A B C D E F G H I J L M N O P R S T U V

## A

AbstractLabel - Class in jif.lang
  A Label is the runtime representation of a Jif label.
AbstractLabel() - Constructor for class jif.lang.AbstractLabel
acts_for(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
  Returns true if and only if the principal p acts for the principal q.
actsFor(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
  Returns true if and only if the principal p acts for the principal q.
add(Principal) - Method in class jif.lang.PrincipalSet
addToChainBottom(Principal[], Principal) - Static method in class jif.runtime.NativePrincipal
  Create a new chain of length `chain.length+1`, such that the last element of the new chain is `principal`, and all other elements are copied over from `chain`.
addToChainTop(Principal, Principal[]) - Static method in class jif.runtime.NativePrincipal
  Create a new chain of length `chain.length+1`, such that the first element of the new chain is `principal`, and all other elements are copied over from `chain`, offset by one.
authorize(Principal, Object, Closure, Label) - Static method in class jif.lang.PrincipalUtil
  Obtain a Capability for the given principal and closure.

## B

bottom() - Static method in class jif.lang.LabelUtil

## C

Capability - Class in jif.lang
Closure - Interface in jif.lang
Closure_JIF_IMPL - Class in jif.lang
Closure_JIF_IMPL() - Constructor for class jif.lang.Closure_JIF_IMPL
components() - Method in class jif.lang.JoinLabel
componentString() - Method in class jif.lang.JoinLabel
componentString() - Method in interface jif.lang.Label
  String to print if this label is a component of a larger label
componentString() - Method in class jif.lang.PrivacyPolicy
componentString() - Method in class jif.lang.ReadableByPrinLabel
currentDayOfMonth(Principal) - Static method in class jif.runtime.Runtime
currentMonth(Principal) - Static method in class jif.runtime.Runtime
currentUser() - Static method in class jif.runtime.Runtime
currentYear(Principal) - Static method in class jif.runtime.Runtime

## D

delegatesTo(Principal) - Method in interface jif.lang.Principal
delegatesTo(Principal) - Method in class jif.runtime.NativePrincipal

## E

equals(Object) - Method in class jif.lang.JoinLabel
equals(Principal) - Method in interface jif.lang.Principal
equals(Object) - Method in class jif.lang.PrivacyPolicy
equals(Object) - Method in class jif.lang.ReadableByPrinLabel
equals(Object) - Method in class jif.runtime.NativePrincipal
equals(Principal) - Method in class jif.runtime.NativePrincipal
equivalentTo(Label, Label) - Static method in class jif.lang.LabelUtil
equivalentTo(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
err() - Method in class jif.runtime.Runtime
  Get the standard error output parameterized by the default label, which has only one reader: the principal of this `Runtime` object.

## F

FileSystem - Class in jif.runtime
  This class represents the file system, through which you can query and set the security labels of files.
FileSystem() - Constructor for class jif.runtime.FileSystem
findChainDownto(Principal) - Method in interface jif.lang.Principal
findChainDownto(Principal) - Method in class jif.runtime.NativePrincipal
findChainUpto(Principal) - Method in interface jif.lang.Principal
findChainUpto(Principal) - Method in class jif.runtime.NativePrincipal
findDelegatesChain(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
  Search for a delegates-chain between p and q.
flattenJoin(Label) - Static method in class jif.lang.LabelUtil
flattenJoin(Set) - Static method in class jif.lang.LabelUtil

## G

getClosure() - Method in class jif.lang.Capability
getRuntime(Principal) - Static method in class jif.runtime.Runtime
  Gets a `Runtime` object parameterized with the principal `p`.
groups(NativePrincipal) - Static method in class jif.runtime.FileSystem
  Returns the set of groups in which `p` belongs.

## H

hashCode() - Method in class jif.lang.PrivacyPolicy
hashCode() - Method in class jif.lang.ReadableByPrinLabel
hashCode() - Method in class jif.runtime.NativePrincipal

## I

in() - Method in class jif.runtime.Runtime
  Get the standard input parameterized by the default label, which has only one reader: the principal of this `Runtime` object.
invoke() - Method in class jif.lang.Capability
invoke() - Method in interface jif.lang.Closure
isAuthorized(Object, Closure, Label) - Method in interface jif.lang.Principal
isAuthorized(Object, Closure, Label) - Method in class jif.runtime.NativePrincipal
isEmpty(String) - Static method in class jif.bin.SigMerge
isReadableBy(Label, Principal) - Static method in class jif.lang.LabelUtil

## J

jif$cast$jif_lang_Capability(Principal, Label, Object) - Static method in class jif.lang.Capability
jif$cast$jif_lang_Closure(Principal, Label, Object) - Static method in class jif.lang.Closure_JIF_IMPL
jif$cast$jif_lang_Principal(Object) - Static method in class jif.lang.Principal_JIF_IMPL
jif$getjif_lang_Closure_L() - Method in interface jif.lang.Closure
jif$getjif_lang_Closure_P() - Method in interface jif.lang.Closure
jif$Instanceof(Principal, Label, Object) - Static method in class jif.lang.Capability
jif$Instanceof(Principal, Label, Object) - Static method in class jif.lang.Closure_JIF_IMPL
jif$Instanceof(Object) - Static method in class jif.lang.Principal_JIF_IMPL
jif.bin - package jif.bin
jif.lang - package jif.lang
  Provides classes that are fundamental to the Jif runtime system.
jif.runtime - package jif.runtime
  Contains classes of the Jif runtime system.
join(Label) - Method in class jif.lang.AbstractLabel
join(Label) - Method in interface jif.lang.Label
  Returns true iff this <= l
join(Label, Label) - Static method in class jif.lang.LabelUtil
JoinLabel - Class in jif.lang
  A Label is the runtime representation of a Jif label.

## L

Label - Interface in jif.lang
  A Label is the runtime representation of a Jif label.
labelOf(String) - Static method in class jif.runtime.FileSystem
  Get the security label of `file`.
LabelUtil - Class in jif.lang
  A Label is the runtime representation of a Jif label.

## M

main(String[]) - Static method in class jif.bin.SigMerge

## N

name() - Method in interface jif.lang.Principal
name() - Method in class jif.runtime.NativePrincipal
NativePrincipal - Class in jif.runtime
  A NativePrincipal represents the file system users and groups.
NativePrincipal(String) - Constructor for class jif.runtime.NativePrincipal
nullPrincipal() - Static method in class jif.lang.PrincipalUtil
  returns the null principal, the principal that every other principal can act for.

## O

openFileRead(String, Label) - Method in class jif.runtime.Runtime
  Opens a file input stream for reading from the file with the specific `name`.
openFileWrite(String, boolean, Label) - Method in class jif.runtime.Runtime
  Opens a file output stream to write a file with the specific `name`.
out() - Method in class jif.runtime.Runtime
  Get the standard output parameterized by the default label, which has only one reader: the principal of this `Runtime` object.
owner() - Method in class jif.lang.PrivacyPolicy

## P

Policy - Interface in jif.lang
Principal - Interface in jif.lang
  See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
Principal_JIF_IMPL - Class in jif.lang
  See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
Principal_JIF_IMPL() - Constructor for class jif.lang.Principal_JIF_IMPL
PrincipalSet - Class in jif.lang
PrincipalSet() - Constructor for class jif.lang.PrincipalSet
PrincipalUtil - Class in jif.lang
  Utility methods for principals.
PrincipalUtil() - Constructor for class jif.lang.PrincipalUtil
PrivacyPolicy - Class in jif.lang
PrivacyPolicy(Principal, Collection) - Constructor for class jif.lang.PrivacyPolicy
PrivacyPolicy(Principal, PrincipalSet) - Constructor for class jif.lang.PrivacyPolicy
privacyPolicyLabel(Principal, Collection) - Static method in class jif.lang.LabelUtil
privacyPolicyLabel(Label, Principal, Principal[]) - Static method in class jif.lang.LabelUtil
  See the signature for the explanation of lbl.
privacyPolicyLabel(Principal, PrincipalSet) - Static method in class jif.lang.LabelUtil

## R

ReadableByPrinLabel - Class in jif.lang
ReadableByPrinLabel(Principal) - Constructor for class jif.lang.ReadableByPrinLabel
reader() - Method in class jif.lang.ReadableByPrinLabel
readers() - Method in class jif.lang.PrivacyPolicy
relabelsTo(Label) - Method in class jif.lang.JoinLabel
relabelsTo(Label) - Method in interface jif.lang.Label
  Returns true iff this <= l
relabelsTo(Label, Label) - Static method in class jif.lang.LabelUtil
relabelsTo(Policy) - Method in interface jif.lang.Policy
relabelsTo(Label) - Method in class jif.lang.PrivacyPolicy
relabelsTo(Policy) - Method in class jif.lang.PrivacyPolicy
relabelsTo(Label) - Method in class jif.lang.ReadableByPrinLabel
Runtime - Class in jif.runtime
  The runtime interface between Jif programs and the underlying system.

## S

setPolicy(String, PrivacyPolicy) - Static method in class jif.runtime.FileSystem
  Set the access(read) policy of `file`.
SigMerge - Class in jif.bin
SigMerge() - Constructor for class jif.bin.SigMerge
stderr(Label) - Method in class jif.runtime.Runtime
  Gets the standard error output.
stdin(Label) - Method in class jif.runtime.Runtime
  Gets the standard input.
stdout(Label) - Method in class jif.runtime.Runtime
  Gets the standard output.
stringValue(Label) - Static method in class jif.lang.LabelUtil
superiors - Variable in class jif.runtime.NativePrincipal
superiors() - Method in class jif.runtime.NativePrincipal

## T

toString() - Method in class jif.lang.AbstractLabel
toString(Label) - Static method in class jif.lang.LabelUtil

## U

user(Principal) - Static method in class jif.runtime.Runtime
  Get the current user

## V

verifyChain(Principal[], Principal, Principal) - Static method in class jif.lang.PrincipalUtil
  Verify that the chain is a valid delegates-chain between p and q.

A B C D E F G H I J L M N O P R S T U V

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