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.ParamToJavaExpr_c extends java.lang.Object 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.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.JifConstructorInstance_c extends polyglot.ext.jl.types.ConstructorInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

isDefaultStartLabel

boolean isDefaultStartLabel

isDefaultReturnLabel

boolean isDefaultReturnLabel

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

Serialized Fields

label

Label label

hasInitializer

boolean hasInitializer

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

Serialized Fields

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

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

params

java.util.List params

authority

java.util.List authority

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.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.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

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

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

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

Serialized Fields

principal

ExternalPrincipal principal

Class jif.types.SemanticDetailedException extends polyglot.types.SemanticException implements Serializable

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


Package jif.types.label

Class jif.types.label.AccessPath extends java.lang.Object implements Serializable

Serialized Fields

position

polyglot.util.Position position

Class jif.types.label.AccessPathClass extends AccessPathRoot implements Serializable

Serialized Fields

ct

polyglot.types.ClassType ct

Class jif.types.label.AccessPathConstant extends AccessPathRoot implements Serializable

Serialized Fields

constantValue

java.lang.Object constantValue
Either a jif.types.label.Label or a jif.types.principal.Principal


isLabel

boolean isLabel

Class jif.types.label.AccessPathField extends AccessPath implements Serializable

Serialized Fields

fi

polyglot.types.FieldInstance fi

fieldName

java.lang.String fieldName

path

AccessPath path

Class jif.types.label.AccessPathLocal extends AccessPathRoot implements Serializable

Serialized Fields

li

polyglot.types.LocalInstance li

name

java.lang.String name

Class jif.types.label.AccessPathRoot extends AccessPath implements Serializable

Class jif.types.label.AccessPathThis extends AccessPathRoot implements Serializable

Serialized Fields

ct

polyglot.types.ClassType ct

Class jif.types.label.AccessPathUninterpreted extends AccessPathRoot implements Serializable

Class jif.types.label.ArgLabel_c extends Label_c implements Serializable

Serialized Fields

vi

polyglot.types.VarInstance vi

upperBound

Label upperBound

Class jif.types.label.CovariantParamLabel_c extends Label_c implements Serializable

Serialized Fields

paramInstance

ParamInstance paramInstance

Class jif.types.label.DynamicLabel_c extends Label_c implements Serializable

Serialized Fields

path

AccessPath path

Class jif.types.label.JoinLabel_c extends Label_c implements Serializable

Serialized Fields

components

java.util.Set components

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

Serialized Fields

description

java.lang.String description

toJava

LabelToJavaExpr toJava

Class jif.types.label.NotTaken_c extends Label_c implements Serializable

Class jif.types.label.ParamLabel_c extends Label_c implements Serializable

Serialized Fields

paramInstance

ParamInstance paramInstance

Class jif.types.label.PolicyLabel_c extends Label_c implements Serializable

Serialized Fields

owner

Principal owner

readers

java.util.Collection readers

Class jif.types.label.RuntimeLabel_c extends Label_c implements Serializable

Class jif.types.label.ThisLabel_c extends Label_c implements Serializable

Serialized Fields

ct

JifClassType ct

fullName

java.lang.String fullName

Class jif.types.label.TopLabel_c extends Label_c implements Serializable

Class jif.types.label.UnknownLabel_c extends Label_c implements Serializable

Class jif.types.label.VarLabel_c extends Label_c implements Serializable

Serialized Fields

name

java.lang.String name


Package jif.types.principal

Class jif.types.principal.DynamicPrincipal_c extends Principal_c implements Serializable

Serialized Fields

path

AccessPath path

Class jif.types.principal.ExternalPrincipal_c extends Principal_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jif.types.principal.ParamPrincipal_c extends Principal_c implements Serializable

Serialized Fields

paramInstance

ParamInstance paramInstance

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

Serialized Fields

toJava

PrincipalToJavaExpr toJava

Class jif.types.principal.UnknownPrincipal_c extends Principal_c implements Serializable