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