|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
IFixedPointStatements to be solved by a
IFixedPointSolverIFlowLabels.IFlowLabel.IFlowLabelVisitor that does nothing.InstanceKey which represents at least some
IClass in some CGNodeInstanceKey which represents a NewSiteReference in some
IMethod.InstanceKey which represents a NewSiteReference in some
CGNode.InstanceKeys which are
AllocationSiteInNodes.AnalysisScope from a text file.IClass for array classes.MutableSparseIntSet or a BitVectorIntSetBitVector implementation of MutableIntSet.ClassTargetSelector that looks up the declared type of a NewSiteReference
based on bypass rules.LocalPointerKey -> Set<SSAInvokeInstruction>.
BitSet.
CLONE
cloneAtom
InstanceKey of the receiver if
receiver is a container, or
was allocated in a node whose context was a ReceiverInstanceContext, and the type is interesting according
to a delegate ZeroXInstanceKeys
Additionally, we add one level of call string context to a few well-known static factory methods from the standard
libraries.PointerKeyFactorySSAContextInterpreter that first checks with A, then defaults to B.BitSet.
Statement representing the exceptional return value in a callee,
immediately before returning to the caller.Statement representing the exceptional return value in a caller,
immediately after returning to the caller.URL.
FilterIterator filters an Iterator to
generate a new one.Collection
satisfies the given Predicate.
Collection
satisfies the given Predicate.
IType in the workspace corresponding to a class name.
Collection
satisfy the given Predicate.
Collection
satisfies the given Predicate.