object NoCallees extends Callees
- Source
- Callees.scala
- Alphabetic
- By Inheritance
- NoCallees
- Callees
- CalleesPropertyMetaInformation
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final type Self = Callees
- Definition Classes
- CalleesPropertyMetaInformation → PropertyMetaInformation
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def asOrderedProperty: OrderedProperty
Returns
this
if this property inherits from OrderedProperty.Returns
this
if this property inherits from OrderedProperty.Used, e.g., by the framework to support debugging analyses.
- Definition Classes
- Property
- def callSitePCs(callerContext: Context)(implicit propertyStore: PropertyStore): IntIterator
PCs of all call sites in the method.
- def callSites(callerContext: Context)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): IntMap[Iterator[Context]]
Map of pc to potential callees of the call site at that pc.
Map of pc to potential callees of the call site at that pc. The callees may not match the invocation instruction at the pc and a remapping of parameters using indirectCallParameters may be necessary.
- def callees(callerContext: Context, pc: Int)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): Iterator[Context]
Potential callees of the call site at
pc
.Potential callees of the call site at
pc
. The callees may not match the invocation instruction at the pc and a remapping of parameters using indirectCallParameters may be necessary. - def callerContexts(implicit typeIterator: TypeIterator): Iterator[Context]
The available contexts of the calling methods.
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def containsCall(callerContext: Context, pc: Int, calleeContext: Context): Boolean
Is there a call to method
target
atpc
? - def containsDirectCall(callerContext: Context, pc: Int, calleeContext: Context): Boolean
- def containsIndirectCall(callerContext: Context, pc: Int, calleeContext: Context): Boolean
- def directCallSites(callerContext: Context)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): IntMap[Iterator[Context]]
Map of pc to potential direct callees of the call site at that pc.
- def directCallees(callerContext: Context, pc: Int)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): Iterator[Context]
Potential callees of the call site at
pc
. - final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hasIncompleteCallSites(callerContext: Context): Boolean
States whether there is at least one call site that could not be resolved.
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def id: Int
The id uniquely identifies this property's category.
The id uniquely identifies this property's category. All property objects of the same kind have to use the same id which is guaranteed since they share the same
PropertyKey
- Definition Classes
- PropertyMetaInformation → PropertyKind
- def incompleteCallSites(callerContext: Context)(implicit propertyStore: PropertyStore): IntIterator
PCs of call sites that at least one of the analyses could not resolve completely.
- def indirectCallParameters(callerContext: Context, pc: Int, calleeContext: Context)(implicit propertyStore: PropertyStore): Seq[Option[(ValueInformation, IntTrieSet)]]
Returns for a given call site pc and indirect target method the sequence of parameter sources.
Returns for a given call site pc and indirect target method the sequence of parameter sources. If a parameter source can not be determined, the
scala.Option
will be empty, otherwise it will contain all PCs and the negative indices of parameters that may define the value of the corresponding actual parameter. The parameter at index 0 always corresponds to the *this* local and isnull
for static methods. - def indirectCallReceiver(callerContext: Context, pc: Opcode, calleeContext: Context): Option[(ValueInformation, PCs)]
Returns for a given call site pc and indirect target method the receiver information.
Returns for a given call site pc and indirect target method the receiver information. If the receiver can not be determined, the
scala.Option
will be empty, otherwise it will contain all br.PCs and the the negative indices of parameters that may define the value of the receiver. The parameter at index 0 always corresponds to the *this* local and isnull
for static methods. - def indirectCallSites(callerContext: Context)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): IntMap[Iterator[Context]]
Map of pc to potential indirect callees of the call site at that pc.
Map of pc to potential indirect callees of the call site at that pc. The callees will not match the invocation instruction at the pc and remapping of parameters using indirectCallParameters may be necessary.
- def indirectCallees(callerContext: Context, pc: Int)(implicit propertyStore: PropertyStore, typeIterator: TypeIterator): Iterator[Context]
Potential callees of the call site at
pc
.Potential callees of the call site at
pc
. The callees will not match the invocation instruction at the pc and a remapping of parameters using indirectCallParameters may be necessary. - def isIncompleteCallSite(callerContext: Context, pc: Int)(implicit propertyStore: PropertyStore): Boolean
Returns whether at least on analysis could not resolve the call site at
pc
completely. - final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isOrderedProperty: Boolean
Returns
true
if this property inherits from OrderedProperty.Returns
true
if this property inherits from OrderedProperty.- Definition Classes
- Property
- final def key: PropertyKey[Callees]
The key uniquely identifies this property's category.
The key uniquely identifies this property's category. All property objects of the same kind have to use the same key.
In general each
Property
kind is expected to have a companion object that stores the uniquePropertyKey
.- Definition Classes
- Callees → PropertyMetaInformation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def numCallees(pc: Int)(implicit propertyStore: PropertyStore): Int
Number of potential callees at the call site at
pc
. - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def updateWithCallees(callerContext: Context, directCallees: IntMap[IntTrieSet], indirectCallees: IntMap[IntTrieSet], incompleteCallSites: PCs, indirectCallReceivers: IntMap[IntMap[Option[(ValueInformation, PCs)]]], indirectCallParameters: IntMap[IntMap[Seq[Option[(ValueInformation, PCs)]]]]): ConcreteCallees
Creates a copy of the current callees object, including the additional callee information specified in the parameters.
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated