|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Package jif.translate |
---|
Class jif.translate.BottomPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable |
---|
Class jif.translate.CannotLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable |
---|
Class jif.translate.CannotPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable |
---|
Class jif.translate.ConjunctivePrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable |
---|
Class jif.translate.DisjunctivePrincipalToJavaExpr_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.MeetLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable |
---|
Class jif.translate.PairLabelToJavaExpr_c extends LabelToJavaExpr_c implements Serializable |
---|
Class jif.translate.ParamToJavaExpr_c extends java.lang.Object implements Serializable |
---|
Class jif.translate.PrincipalToJavaExpr_c extends java.lang.Object implements Serializable |
---|
Class jif.translate.TopPrincipalToJavaExpr_c extends PrincipalToJavaExpr_c implements Serializable |
---|
Package jif.types |
---|
Class jif.types.ActsForConstraint_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
Principal granter
Principal actor
boolean isEquiv
Class jif.types.AuthConstraint_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
java.util.List<E> principals
Class jif.types.AutoEndorseConstraint_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
Label endorseTo
Class jif.types.CallerConstraint_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
java.util.List<E> principals
Class jif.types.ConstArrayType_c extends polyglot.types.ArrayType_c implements Serializable |
---|
Serialized Fields |
---|
boolean isConst
boolean isNonConst
Class jif.types.Constraint.Kind extends polyglot.util.Enum implements Serializable |
---|
Class jif.types.JifConstructorInstance_c extends polyglot.types.ConstructorInstance_c implements Serializable |
---|
Serialized Fields |
---|
Label pcBound
Label returnLabel
java.util.List<E> constraints
boolean isDefaultPCBound
boolean isDefaultReturnLabel
Class jif.types.JifFieldInstance_c extends polyglot.types.FieldInstance_c implements Serializable |
---|
Serialized Fields |
---|
Label label
boolean hasInitializer
Class jif.types.JifLocalInstance_c extends polyglot.types.LocalInstance_c implements Serializable |
---|
Serialized Fields |
---|
Label label
Class jif.types.JifMethodInstance_c extends polyglot.types.MethodInstance_c implements Serializable |
---|
Serialized Fields |
---|
Label pcBound
Label returnLabel
java.util.List<E> constraints
boolean isDefaultPCBound
boolean isDefaultReturnLabel
Class jif.types.JifMuPClass_c extends polyglot.ext.param.types.MuPClass_c implements Serializable |
---|
Class jif.types.JifParsedPolyType_c extends polyglot.types.ParsedClassType_c implements Serializable |
---|
Serialized Fields |
---|
java.util.List<E> params
java.util.List<E> authority
polyglot.ext.param.types.PClass instantiatedFrom
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.LabeledType_c extends polyglot.types.Type_c implements Serializable |
---|
Serialized Fields |
---|
polyglot.types.Type typePart
Label labelPart
Class jif.types.LabelLeAssertion_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
Label lhs
Label rhs
Class jif.types.ParamInstance_c extends polyglot.types.VarInstance_c implements Serializable |
---|
Serialization Methods |
---|
protected void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
protected void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
Serialized Fields |
---|
JifClassType container
ParamInstance.Kind kind
Class jif.types.ParamInstance.Kind extends polyglot.util.Enum implements Serializable |
---|
Serialized Fields |
---|
boolean isPrincipal
boolean isInvariantLabel
boolean isCovariantLabel
Class jif.types.Path.FixedPath extends polyglot.util.Enum implements Serializable |
---|
Class jif.types.PrincipalInstance_c extends polyglot.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.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
polyglot.types.Type type
Class jif.types.label.AccessPathField extends AccessPath implements Serializable |
---|
Serialized Fields |
---|
polyglot.types.FieldInstance fi
java.lang.String fieldName
AccessPath path
boolean neverNull
Class jif.types.label.AccessPathLocal extends AccessPathRoot implements Serializable |
---|
Serialized Fields |
---|
polyglot.types.LocalInstance li
java.lang.String name
boolean neverNull
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 |
---|
Serialized Fields |
---|
java.lang.String expr
boolean allowSubst
Class jif.types.label.ArgLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
polyglot.types.VarInstance vi
polyglot.types.CodeInstance ci
java.lang.String name
Label upperBound
Class jif.types.label.ConfProjectionPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
Label label
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.IntegProjectionPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
Label label
Class jif.types.label.JoinConfPolicy_c extends JoinPolicy_c implements Serializable |
---|
Class jif.types.label.JoinIntegPolicy_c extends JoinPolicy_c implements Serializable |
---|
Class jif.types.label.JoinLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> components
Label normalized
Class jif.types.label.JoinPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> joinComponents
java.lang.Integer hashCode
Class jif.types.label.Label_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
java.lang.String description
LabelToJavaExpr toJava
java.util.Set<E> variables
Label simplified
Class jif.types.label.MeetConfPolicy_c extends MeetPolicy_c implements Serializable |
---|
Class jif.types.label.MeetIntegPolicy_c extends MeetPolicy_c implements Serializable |
---|
Class jif.types.label.MeetLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> components
Label normalized
Class jif.types.label.MeetPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> meetComponents
java.lang.Integer hashCode
Class jif.types.label.NotTaken_c extends Label_c implements Serializable |
---|
Class jif.types.label.PairLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
ConfPolicy confPolicy
IntegPolicy integPolicy
Class jif.types.label.ParamLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
ParamInstance paramInstance
Class jif.types.label.Policy_c extends polyglot.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
Policy simplified
Class jif.types.label.ReaderPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
Principal owner
Principal reader
Class jif.types.label.ThisLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
polyglot.types.ReferenceType ct
java.lang.String fullName
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
boolean mustRuntimeRepresentable
Class jif.types.label.WriterPolicy_c extends Policy_c implements Serializable |
---|
Serialized Fields |
---|
Principal owner
Principal writer
Class jif.types.label.WritersToReadersLabel_c extends Label_c implements Serializable |
---|
Serialized Fields |
---|
Label label
Package jif.types.principal |
---|
Class jif.types.principal.BottomPrincipal_c extends Principal_c implements Serializable |
---|
Class jif.types.principal.ConjunctivePrincipal_c extends Principal_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> conjuncts
Class jif.types.principal.DisjunctivePrincipal_c extends Principal_c implements Serializable |
---|
Serialized Fields |
---|
java.util.Set<E> disjuncts
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.types.TypeObject_c implements Serializable |
---|
Serialized Fields |
---|
PrincipalToJavaExpr toJava
java.util.Set<E> variables
Class jif.types.principal.TopPrincipal_c extends Principal_c implements Serializable |
---|
Class jif.types.principal.UnknownPrincipal_c extends Principal_c implements Serializable |
---|
Class jif.types.principal.VarPrincipal_c extends Principal_c implements Serializable |
---|
Serialized Fields |
---|
java.lang.String name
boolean mustRuntimeRepresentable
java.lang.String description
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |