|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
Principal granter
Principal actor
Class jif.types.AuthConstraint_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable |
Serialized Fields |
java.util.List principals
Class jif.types.CallerConstraint_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable |
Serialized Fields |
java.util.List principals
Class jif.types.JifConstructorInstance_c extends polyglot.ext.jl.types.ConstructorInstance_c implements Serializable |
Serialized Fields |
Label startLabel
Label returnLabel
java.util.List constraints
boolean isDefaultStartLabel
boolean isDefaultReturnLabel
Class jif.types.JifFieldInstance_c extends polyglot.ext.jl.types.FieldInstance_c implements Serializable |
Serialized Fields |
Label label
boolean hasInitializer
Class jif.types.JifLocalInstance_c extends polyglot.ext.jl.types.LocalInstance_c implements Serializable |
Serialized Fields |
Label label
Class jif.types.JifMethodInstance_c extends polyglot.ext.jl.types.MethodInstance_c implements Serializable |
Serialized Fields |
Label startLabel
Label returnLabel
java.util.List constraints
boolean isDefaultStartLabel
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 |
java.util.List params
java.util.List authority
polyglot.ext.param.types.PClass instantiatedFrom
Class jif.types.JifPlaceHolder_c extends polyglot.ext.jl.types.PlaceHolder_c implements Serializable |
Serialized Fields |
JifSubst subst
polyglot.util.Position pos
Class jif.types.JifSubst_c extends polyglot.ext.param.types.Subst_c implements Serializable |
Serialized Fields |
JifSubst_c.SubstLabelSubst substLabelSubst
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 |
polyglot.types.Type typePart
Label labelPart
Class jif.types.LabelLeAssertion_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable |
Serialized Fields |
Label lhs
Label rhs
Class jif.types.ParamInstance_c extends polyglot.ext.jl.types.VarInstance_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
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 |
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 |
polyglot.util.Position position
Class jif.types.label.AccessPathClass extends AccessPathRoot implements Serializable |
Serialized Fields |
polyglot.types.ClassType ct
Class jif.types.label.AccessPathConstant extends AccessPathRoot implements Serializable |
Serialized Fields |
java.lang.Object constantValue
boolean isLabel
Class jif.types.label.AccessPathField extends AccessPath implements Serializable |
Serialized Fields |
polyglot.types.FieldInstance fi
java.lang.String fieldName
AccessPath path
Class jif.types.label.AccessPathLocal extends AccessPathRoot implements Serializable |
Serialized Fields |
polyglot.types.LocalInstance li
java.lang.String name
Class jif.types.label.AccessPathRoot extends AccessPath implements Serializable |
Class jif.types.label.AccessPathThis extends AccessPathRoot implements Serializable |
Serialized Fields |
polyglot.types.ClassType ct
Class jif.types.label.AccessPathUninterpreted extends AccessPathRoot implements Serializable |
Class jif.types.label.ArgLabel_c extends Label_c implements Serializable |
Serialized Fields |
polyglot.types.VarInstance vi
Label upperBound
Class jif.types.label.CovariantParamLabel_c extends Label_c implements Serializable |
Serialized Fields |
ParamInstance paramInstance
Class jif.types.label.DynamicLabel_c extends Label_c implements Serializable |
Serialized Fields |
AccessPath path
Class jif.types.label.JoinLabel_c extends Label_c implements Serializable |
Serialized Fields |
java.util.Set components
Class jif.types.label.Label_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable |
Serialized Fields |
java.lang.String description
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
Class jif.types.label.PolicyLabel_c extends Label_c implements Serializable |
Serialized Fields |
Principal owner
java.util.Collection 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 |
JifClassType ct
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 |
java.lang.String name
Package jif.types.principal |
Class jif.types.principal.DynamicPrincipal_c extends Principal_c implements Serializable |
Serialized Fields |
AccessPath path
Class jif.types.principal.ExternalPrincipal_c extends Principal_c implements Serializable |
Serialized Fields |
java.lang.String name
Class jif.types.principal.ParamPrincipal_c extends Principal_c implements Serializable |
Serialized Fields |
ParamInstance paramInstance
Class jif.types.principal.Principal_c extends polyglot.ext.jl.types.TypeObject_c implements Serializable |
Serialized Fields |
PrincipalToJavaExpr toJava
Class jif.types.principal.UnknownPrincipal_c extends Principal_c implements Serializable |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |