Serialized Form

Package jif.translate

Class jif.translate.BottomPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.CannotLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

Class jif.translate.CannotPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.ConjunctivePrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Class jif.translate.DisjunctivePrincipalToJavaExpr_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.PairLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable

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

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

Class jif.translate.TopPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable

Package jif.types

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

Serialized Fields

granter

Principal granter

actor

Principal actor

isEquiv

boolean isEquiv

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

Serialized Fields

principals

java.util.List<E> principals

Class jif.types.AutoEndorseConstraint_c extends polyglot.types.TypeObject_c implements Serializable

Serialized Fields

endorseTo

Label endorseTo

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

Serialized Fields

principals

java.util.List<E> principals

Class jif.types.ConstArrayType_c extends polyglot.types.ArrayType_c implements Serializable

Serialized Fields

isConst

boolean isConst

isNonConst

boolean isNonConst

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

Serialized Fields

pcBound

Label pcBound

returnLabel

Label returnLabel

constraints

java.util.List<E> constraints

isDefaultPCBound

boolean isDefaultPCBound

isDefaultReturnLabel

boolean isDefaultReturnLabel

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

Serialized Fields

label

Label label

hasInitializer

boolean hasInitializer

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

Serialized Fields

label

Label label

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

Serialized Fields

pcBound

Label pcBound

returnLabel

Label returnLabel

constraints

java.util.List<E> constraints

isDefaultPCBound

boolean isDefaultPCBound

isDefaultReturnLabel

boolean isDefaultReturnLabel

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

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

Serialized Fields

params

java.util.List<E> params

authority

java.util.List<E> authority

instantiatedFrom

polyglot.ext.param.types.PClass instantiatedFrom

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.types.Type_c implements Serializable

Serialized Fields

typePart

polyglot.types.Type typePart

labelPart

Label labelPart

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

Serialized Fields

lhs

Label lhs

rhs

Label rhs

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

Serialization Methods

readObject

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

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

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

Throws:

java.io.IOException

Serialized Fields

container

JifClassType container

kind

ParamInstance.Kind kind

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

Serialized Fields

isPrincipal

boolean isPrincipal

isInvariantLabel

boolean isInvariantLabel

isCovariantLabel

boolean isCovariantLabel

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

Class jif.types.PrincipalInstance_c extends polyglot.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.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

type

polyglot.types.Type type

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

Serialized Fields

fi

polyglot.types.FieldInstance fi

fieldName

java.lang.String fieldName

path

AccessPath path

neverNull

boolean neverNull

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

Serialized Fields

li

polyglot.types.LocalInstance li

name

java.lang.String name

neverNull

boolean neverNull

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

Serialized Fields

expr

java.lang.String expr

allowSubst

boolean allowSubst

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

Serialized Fields

vi

polyglot.types.VarInstance vi

ci

polyglot.types.CodeInstance ci

name

java.lang.String name

upperBound

Label upperBound

Class jif.types.label.ConfProjectionPolicy_c extends Policy_c implements Serializable

Serialized Fields

label

Label label

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.IntegProjectionPolicy_c extends Policy_c implements Serializable

Serialized Fields

label

Label label

Class jif.types.label.JoinConfPolicy_c extends JoinPolicy_c implements Serializable

Class jif.types.label.JoinIntegPolicy_c extends JoinPolicy_c implements Serializable

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

Serialized Fields

components

java.util.Set<E> components

normalized

Label normalized

Class jif.types.label.JoinPolicy_c extends Policy_c implements Serializable

Serialized Fields

joinComponents

java.util.Set<E> joinComponents

hashCode

java.lang.Integer hashCode

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

Serialized Fields

description

java.lang.String description

toJava

LabelToJavaExpr toJava

variables

java.util.Set<E> variables

simplified

Label simplified

Class jif.types.label.MeetConfPolicy_c extends MeetPolicy_c implements Serializable

Class jif.types.label.MeetIntegPolicy_c extends MeetPolicy_c implements Serializable

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

Serialized Fields

components

java.util.Set<E> components

normalized

Label normalized

Class jif.types.label.MeetPolicy_c extends Policy_c implements Serializable

Serialized Fields

meetComponents

java.util.Set<E> meetComponents

hashCode

java.lang.Integer hashCode

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

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

Serialized Fields

confPolicy

ConfPolicy confPolicy

integPolicy

IntegPolicy integPolicy

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

Serialized Fields

paramInstance

ParamInstance paramInstance

Class jif.types.label.Policy_c extends polyglot.types.TypeObject_c implements Serializable

Serialized Fields

simplified

Policy simplified

Class jif.types.label.ReaderPolicy_c extends Policy_c implements Serializable

Serialized Fields

owner

Principal owner

reader

Principal reader

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

Serialized Fields

ct

polyglot.types.ReferenceType ct

fullName

java.lang.String fullName

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

Class jif.types.label.WriterPolicy_c extends Policy_c implements Serializable

Serialized Fields

owner

Principal owner

writer

Principal writer

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

Serialized Fields

label

Label label

Package jif.types.principal

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

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

Serialized Fields

conjuncts

java.util.Set<E> conjuncts

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

Serialized Fields

disjuncts

java.util.Set<E> disjuncts

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.types.TypeObject_c implements Serializable

Serialized Fields

toJava

PrincipalToJavaExpr toJava

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

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