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

# 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

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