|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
Principal granter
Principal actor
Class jif.types.ArgLabel_c implements Serializable |
Serialized Fields |
java.lang.String name
int index
boolean isSignature
UID uid
Class jif.types.ArgPrincipal_c implements Serializable |
Serialized Fields |
int index
boolean isSignature
Class jif.types.AuthConstraint_c implements Serializable |
Serialized Fields |
java.util.List principals
Class jif.types.CallerConstraint_c implements Serializable |
Serialized Fields |
java.util.List principals
Class jif.types.CovariantLabel_c implements Serializable |
Serialized Fields |
UID uid
Class jif.types.DynamicArgLabel_c implements Serializable |
Serialized Fields |
int index
boolean isSignature
Class jif.types.DynamicLabel_c implements Serializable |
Serialized Fields |
UID uid
java.lang.String name
Label label
Class jif.types.DynamicPrincipal_c implements Serializable |
Serialized Fields |
java.lang.String name
Label label
Class jif.types.DynrecLabel_c implements Serializable |
Serialized Fields |
UID uid
Class jif.types.ExternalPrincipal_c implements Serializable |
Serialized Fields |
java.lang.String name
Class jif.types.JifConstructorInstance_c implements Serializable |
Serialized Fields |
Label startLabel
Label returnLabel
java.util.List constraints
Label thisLabel
java.util.ArrayList argLabels
java.util.ArrayList nonSignatureArgLabels
Class jif.types.JifFieldInstance_c implements Serializable |
Serialized Fields |
UID uid
Label label
Class jif.types.JifLocalInstance_c implements Serializable |
Serialized Fields |
UID uid
Label label
Class jif.types.JifMethodInstance_c implements Serializable |
Serialized Fields |
Label startLabel
Label returnLabel
java.util.List constraints
Label thisLabel
java.util.ArrayList argLabels
java.util.ArrayList nonSignatureArgLabels
Class jif.types.JifMuPClass_c implements Serializable |
Class jif.types.JifParsedPolyType_c implements Serializable |
Serialized Fields |
Label thisLabel
java.util.List params
java.util.List authority
boolean invariant
polyglot.ext.param.types.PClass instantiatedFrom
Class jif.types.JifPlaceHolder_c implements Serializable |
Serialized Fields |
JifSubst subst
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 |
java.util.Set components
Class jif.types.Label_c implements Serializable |
Serialized Fields |
java.lang.String description
LabelToJavaExpr toJava
Class jif.types.LabeledType_c implements Serializable |
Serialized Fields |
polyglot.types.Type typePart
Label labelPart
Class jif.types.LabelLeConstraint_c implements Serializable |
Serialized Fields |
Label lhs
Label rhs
Class jif.types.LabelOfVar_c implements Serializable |
Serialized Fields |
VarLabel var
Class jif.types.MeetLabel_c implements Serializable |
Serialized Fields |
java.util.Set components
Class jif.types.NotTaken_c implements Serializable |
Class jif.types.ParamInstance_c implements Serializable |
Serialization Methods |
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
Serialized Fields |
JifClassType container
ParamInstance.Kind kind
UID uid
Class jif.types.ParamInstance.Kind implements Serializable |
Class jif.types.ParamLabel_c implements Serializable |
Serialized Fields |
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 |
Principal owner
java.util.Collection readers
Class jif.types.Principal_c implements Serializable |
Serialized Fields |
UID uid
PrincipalToJavaExpr toJava
Class jif.types.PrincipalInstance_c implements Serializable |
Serialized Fields |
ExternalPrincipal principal
Class jif.types.RuntimeLabel_c implements Serializable |
Class jif.types.TopLabel_c implements Serializable |
Class jif.types.UID implements Serializable |
Serialized Fields |
java.lang.String name
int index
long nonce
long salt
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
Class jif.types.VarLabel_c implements Serializable |
Serialized Fields |
UID uid
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |