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

# Serialized Form

Package jif.ast

Class jif.ast.ActsFor.Kind extends polyglot.util.Enum implements Serializable

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

### isEquiv

    boolean isEquiv

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

Serialized Fields

### principals

    java.util.List<E> principals

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

Serialized Fields

### principals

    java.util.List<E> 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<E> 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<E> 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<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.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

  Throws:
    `java.io.IOException`
    `java.lang.ClassNotFoundException`

### writeObject

    private 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

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

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

    polyglot.ast.Expr expr

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

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