Serialized Form


Package jif.translate

Class jif.translate.CannotLabelToJavaExpr_c implements Serializable

Class jif.translate.CannotPrincipalToJavaExpr_c implements Serializable

Class jif.translate.DynamicLabelToJavaExpr_c implements Serializable

Class jif.translate.DynamicPrincipalToJavaExpr_c implements Serializable

Class jif.translate.ExternalPrincipalToJavaExpr_c implements Serializable

Class jif.translate.JoinLabelToJavaExpr_c implements Serializable

Class jif.translate.LabelToJavaExpr_c implements Serializable

Class jif.translate.MeetLabelToJavaExpr_c implements Serializable

Class jif.translate.PolicyLabelToJavaExpr_c implements Serializable

Class jif.translate.PrincipalToJavaExpr_c implements Serializable


Package jif.types

Class jif.types.ActsForConstraint_c implements Serializable

Serialized Fields

granter

Principal granter

actor

Principal actor

Class jif.types.ArgLabel_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 implements Serializable

Serialized Fields

index

int index

isSignature

boolean isSignature

Class jif.types.AuthConstraint_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jif.types.CallerConstraint_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jif.types.CovariantLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.DynamicArgLabel_c implements Serializable

Serialized Fields

index

int index

isSignature

boolean isSignature

Class jif.types.DynamicLabel_c implements Serializable

Serialized Fields

uid

UID uid

name

java.lang.String name

label

Label label

Class jif.types.DynamicPrincipal_c implements Serializable

Serialized Fields

name

java.lang.String name

label

Label label

Class jif.types.DynrecLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.ExternalPrincipal_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jif.types.JifConstructorInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

thisLabel

Label thisLabel

argLabels

java.util.ArrayList argLabels

nonSignatureArgLabels

java.util.ArrayList nonSignatureArgLabels

Class jif.types.JifFieldInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

Class jif.types.JifLocalInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

Class jif.types.JifMethodInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

thisLabel

Label thisLabel

argLabels

java.util.ArrayList argLabels

nonSignatureArgLabels

java.util.ArrayList nonSignatureArgLabels

Class jif.types.JifMuPClass_c implements Serializable

Class jif.types.JifParsedPolyType_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 implements Serializable

Serialized Fields

subst

JifSubst subst

pos

polyglot.util.Position pos

Class jif.types.JifSubst_c implements Serializable

Class jif.types.JifSubstClassType_c implements Serializable

Class jif.types.JoinLabel_c implements Serializable

Serialized Fields

components

java.util.Set components

Class jif.types.Label_c implements Serializable

Serialized Fields

description

java.lang.String description

toJava

LabelToJavaExpr toJava

Class jif.types.LabeledType_c implements Serializable

Serialized Fields

typePart

polyglot.types.Type typePart

labelPart

Label labelPart

Class jif.types.LabelLeConstraint_c implements Serializable

Serialized Fields

lhs

Label lhs

rhs

Label rhs

Class jif.types.LabelOfVar_c implements Serializable

Serialized Fields

var

VarLabel var

Class jif.types.MeetLabel_c implements Serializable

Serialized Fields

components

java.util.Set components

Class jif.types.NotTaken_c implements Serializable

Class jif.types.ParamInstance_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 implements Serializable

Class jif.types.ParamLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.ParamPrincipal_c implements Serializable

Class jif.types.Path.FixedPath implements Serializable

Class jif.types.PolicyLabel_c implements Serializable

Serialized Fields

owner

Principal owner

readers

java.util.Collection readers

Class jif.types.Principal_c implements Serializable

Serialized Fields

uid

UID uid

toJava

PrincipalToJavaExpr toJava

Class jif.types.PrincipalInstance_c implements Serializable

Serialized Fields

principal

ExternalPrincipal principal

Class jif.types.RuntimeLabel_c implements Serializable

Class jif.types.TopLabel_c implements Serializable

Class jif.types.UID 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 implements Serializable

Class jif.types.UnknownParam_c implements Serializable

Class jif.types.UnknownPrincipal_c implements Serializable

Serialized Fields

uid

UID uid

Class jif.types.VarLabel_c implements Serializable

Serialized Fields

uid

UID uid