ActsForParamNode<Param extends ActsForParam> actor
ActsForParamNode<Param extends ActsForParam> granter
boolean isEquiv
polyglot.ast.Expr expr
polyglot.ast.Expr expr
ParamInstance expectedPI
PrincipalNode left
PrincipalNode right
boolean isConjunction
polyglot.ast.TypeNode baseType
java.lang.Object expr
java.util.List<E> dims
int addDims
polyglot.ast.Id name
ParamInstance pi
int disambCount
polyglot.ast.Receiver prefix
java.lang.Object expr
polyglot.types.Type type
polyglot.ast.Expr expr
polyglot.ast.Id name
polyglot.ast.TypeNode typeNode
polyglot.ast.Id name
java.util.List<E> principals
LabelNode endorseTo
java.util.List<E> principals
polyglot.ast.Expr expr
java.util.Set<E> constraints
polyglot.ast.TypeNode base
java.util.List<E> params
java.util.List<E> params
java.util.List<E> authority
java.util.List<E> constraints
java.util.List<E> components
polyglot.ast.TypeNode typePart
LabelNode labelPart
LabelNode label
Label label
java.util.List<E> components
ParamInstance pi
polyglot.ast.Id name
ParamInstance.Kind kind
PrincipalNode owner
Policy policy
PrincipalNode principal
Principal principal
java.util.List<E> principals
java.util.List<E> principals
boolean isArrayNeverNull
boolean isOutOfBoundsExcThrown
boolean arithmeticExcIsFatal
boolean isAEFatal
boolean isTargetNeverNull
boolean targetNeverNullAlreadySet
boolean isNPEfatal
VarLabel receiverVarLabel
java.util.List<E> argVarLabels
java.util.List<E> paramVarLabels
java.util.Set<E> exprPreciseClasses
boolean isToSubstJifClass
boolean isClassCastExceptionFatal
boolean isQualNeverNull
boolean qualNeverNullAlreadySet
boolean isNPEfatal
ConstructorChecker constructorChecker
java.util.Set<E> fatalExceptions
IntegerBoundsChecker.Interval numericBounds
IntegerBoundsChecker
.boolean isTargetNeverNull
boolean targetNeverNullAlreadySet
boolean isNPEfatal
boolean isCatchFormal
boolean explicitFinalFlag
boolean isToSubstJifClass
boolean noNegArraySizeExcThrown
boolean isQualNeverNull
boolean qualNeverNullAlreadySet
boolean isNPEfatal
ConstructorChecker constructorChecker
CallHelper helper
JifStmtExt stmtDel
boolean isThrownNeverNull
Amb amb
polyglot.types.Type lhsType
polyglot.types.Type castType
boolean hasDefaultConstructor
java.util.List<E> defaultConstructorExceptions
JifConstructorInstance ci
java.util.List<E> formals
polyglot.types.FieldInstance fi
polyglot.types.Type compareType
polyglot.types.LocalInstance li
JifMethodInstance mi
java.util.List<E> formals
polyglot.types.Type objectType
ActsForConstraintToJavaExpr toJava
ActsForParam actor
ActsForParam granter
boolean isEquiv
java.util.List<E> principals
Label endorseTo
java.util.List<E> principals
boolean isConst
boolean isNonConst
Label label
java.util.List<E> params
java.util.List<E> authority
java.util.List<E> constraints
ProviderLabel provider
boolean isUnsafe
polyglot.ext.param.types.PClass<Formal extends polyglot.ext.param.types.Param,Actual extends polyglot.types.TypeObject> instantiatedFrom
JifSubst_c.SubstLabelSubst substLabelSubst
SubstLabelSubst
, to be
used by substLabel(Label)
and
substPrincipal(Principal)
.polyglot.types.Type typePart
Label labelPart
LabelLeAssertionToJavaExpr toJava
Label lhs
Label rhs
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
JifClassType container
ParamInstance.Kind kind
boolean isPrincipal
boolean isInvariantLabel
boolean isCovariantLabel
ExternalPrincipal principal
AbstractSolver solver
Equation failure
FailedConstraintSnapshot snapshot
polyglot.util.Position position
polyglot.types.ClassType ct
java.lang.Object constantValue
polyglot.types.Type type
polyglot.types.FieldInstance fi
java.lang.String fieldName
AccessPath path
boolean neverNull
polyglot.types.LocalInstance li
java.lang.String name
boolean neverNull
polyglot.types.ClassType ct
java.lang.String expr
boolean allowSubst
polyglot.types.VarInstance vi
polyglot.types.CodeInstance ci
java.lang.String name
Label upperBound
Label label
ParamInstance paramInstance
AccessPath path
Label label
java.util.Set<E> components
Label normalized
java.util.Set<E> joinComponents
java.lang.Integer hashCode
java.lang.String description
LabelToJavaExpr toJava
java.util.Set<E> variables
Label simplified
java.util.Set<E> components
Label normalized
java.util.Set<E> meetComponents
java.lang.Integer hashCode
ConfPolicy confPolicy
IntegPolicy integPolicy
ParamInstance paramInstance
Policy simplified
JifClassType classType
boolean isTrusted
polyglot.types.ReferenceType ct
java.lang.String fullName
java.lang.String name
boolean mustRuntimeRepresentable
Label label
java.util.Set<E> conjuncts
java.util.Set<E> disjuncts
AccessPath path
java.lang.String name
ParamInstance paramInstance
PrincipalToJavaExpr toJava
java.util.Set<E> variables
java.lang.String name
boolean mustRuntimeRepresentable
java.lang.String description