Serialized Form

Package jif.translate

Class jif.translate.CannotLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.CannotPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.DynamicLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.DynamicPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.ExternalPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.JoinLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.LabelToJavaExpr_c extends java.lang.Object implements Serializable

Class jif.translate.MeetLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.PolicyLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.PrincipalToJavaExpr_c extends java.lang.Object implements Serializable

Package jif.types

Class jif.types.ActsForConstraint_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

granter

Principal granter

actor

Principal actor

Class jif.types.ArgLabel_c extends Label_c implements Serializable

Serialized Fields

name

java.lang.String name

Name of the argument is for debugging purposes only.

index

int index

isSignature

boolean isSignature

uid

UID uid

Class jif.types.ArgPrincipal_c extends DynamicPrincipal_c implements Serializable

Serialized Fields

index

int index

isSignature

boolean isSignature

Class jif.types.AuthConstraint_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jif.types.CallerConstraint_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jif.types.CovariantLabel_c extends Label_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.DynamicArgLabel_c extends DynamicLabel_c implements Serializable

Serialized Fields

index

int index

isSignature

boolean isSignature

Class jif.types.DynamicLabel_c extends Label_c implements Serializable

Serialized Fields

uid

UID uid

name

java.lang.String name

label

Label label

Class jif.types.DynamicPrincipal_c extends Principal_c implements Serializable

Serialized Fields

name

java.lang.String name

label

Label label

Class jif.types.DynrecLabel_c extends Label_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.ExternalPrincipal_c extends Principal_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jif.types.JifConstructorInstance_c extends polyglot.ext.jl.types.ConstructorInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

argLabels

java.util.List argLabels

nonSignatureArgLabels

java.util.List nonSignatureArgLabels

isDefaultStartLabel

boolean isDefaultStartLabel

isDefaultReturnLabel

boolean isDefaultReturnLabel

Class jif.types.JifFieldInstance_c extends polyglot.ext.jl.types.FieldInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

hasInitializer

boolean hasInitializer

Class jif.types.JifLocalInstance_c extends polyglot.ext.jl.types.LocalInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

Class jif.types.JifMethodInstance_c extends polyglot.ext.jl.types.MethodInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

argLabels

java.util.List argLabels

nonSignatureArgLabels

java.util.List nonSignatureArgLabels

isDefaultStartLabel

boolean isDefaultStartLabel

isDefaultReturnLabel

boolean isDefaultReturnLabel

Class jif.types.JifMuPClass_c extends polyglot.ext.param.types.MuPClass_c implements Serializable

Class jif.types.JifParsedPolyType_c extends polyglot.ext.jl.types.ParsedClassType_c implements Serializable

Serialized Fields

thisLabel

Label thisLabel

params

java.util.List params

authority

java.util.List authority

invariant

boolean invariant

instantiatedFrom

polyglot.ext.param.types.PClass instantiatedFrom

Class jif.types.JifPlaceHolder_c extends polyglot.ext.jl.types.PlaceHolder_c implements Serializable

Serialized Fields

subst

JifSubst subst

pos

polyglot.util.Position pos

Class jif.types.JifSubst_c extends polyglot.ext.param.types.Subst_c implements Serializable

Serialized Fields

substLabelSubst

JifSubst_c.SubstLabelSubst substLabelSubst

An instance of the nested class SubstLabelSubst, to be used by substLabel(Label) and substPrincipal(Principal).

Class jif.types.JifSubst_c.SubstLabelSubst extends LabelSubstitution implements Serializable

Class jif.types.JifSubstClassType_c extends polyglot.ext.param.types.SubstClassType_c implements Serializable

Class jif.types.JoinLabel_c extends Label_c implements Serializable

Serialized Fields

components

java.util.Set components

Class jif.types.Label_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

description

java.lang.String description

toJava

LabelToJavaExpr toJava

Class jif.types.LabelConstraint.Kind extends polyglot.util.Enum implements Serializable

Class jif.types.LabeledType_c extends polyglot.ext.jl.types.Type_c implements Serializable

Serialized Fields

typePart

polyglot.types.Type typePart

labelPart

Label labelPart

Class jif.types.LabelLeAssertion_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

lhs

Label lhs

rhs

Label rhs

Class jif.types.LabelOfVar_c extends Label_c implements Serializable

Serialized Fields

var

VarLabel var

Class jif.types.MeetLabel_c extends Label_c implements Serializable

Serialized Fields

components

java.util.Set components

Class jif.types.NotTaken_c extends Label_c implements Serializable

Class jif.types.ParamInstance_c extends polyglot.ext.jl.types.VarInstance_c implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

Serialized Fields

container

JifClassType container

kind

ParamInstance.Kind kind

uid

UID uid

Class jif.types.ParamInstance.Kind extends polyglot.util.Enum implements Serializable

Class jif.types.ParamLabel_c extends Label_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.ParamPrincipal_c extends Principal_c implements Serializable

Class jif.types.Path.FixedPath extends polyglot.util.Enum implements Serializable

Class jif.types.PolicyLabel_c extends Label_c implements Serializable

Serialized Fields

owner

Principal owner

readers

java.util.Collection readers

Class jif.types.Principal_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

uid

UID uid

toJava

PrincipalToJavaExpr toJava

Class jif.types.PrincipalInstance_c extends polyglot.ext.jl.types.VarInstance_c implements Serializable

Serialized Fields

principal

ExternalPrincipal principal

Class jif.types.RuntimeLabel_c extends Label_c implements Serializable

Class jif.types.TopLabel_c extends Label_c implements Serializable

Class jif.types.UID extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

index

int index

nonce

long nonce

salt

long salt

equiv

UID equiv

Class jif.types.UnknownLabel_c extends Label_c implements Serializable

Class jif.types.UnknownParam_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Class jif.types.UnknownPrincipal_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.VarLabel_c extends Label_c implements Serializable

Serialized Fields

uid

UID uid