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