PerformInvocationsWithBasicVirtualMethodCallResolution

abstract def cache: CallGraphCache[MethodSignature, Set[Method]]

abstract def calledMethodAI: AI[_ >: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#CalledMethodDomain]

The abstract interpreter that will be used for the abstract interpretation.

abstract def calledMethodDomain(classFile: ClassFile, method: Method): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#CalledMethodDomain

The domain that will be used to perform the abstract interpretation of the called method.

abstract def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

implicit abstract def project: SomeProject

abstract def shouldInvocationBePerformed(definingClass: ClassFile, method: Method): Boolean

Returns true if the given method should be invoked.

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (PerformInvocationsWithBasicVirtualMethodCallResolution, B)

final def ==(arg0: Any): Boolean

def MethodCallResult(potentialExceptions: Iterable[(PerformInvocationsWithBasicVirtualMethodCallResolution.this)#ExceptionValue]): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def MethodCallResult(returnValue: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#DomainValue, exceptions: Iterable[(PerformInvocationsWithBasicVirtualMethodCallResolution.this)#ExceptionValue]): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

final def asInstanceOf[T0]: T0

def callees(declaringClassType: ObjectType, name: String, descriptor: MethodDescriptor): Set[Method]

def clone(): AnyRef

def doInvoke(pc: br.PC, definingClass: ClassFile, method: Method, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands, fallback: () ⇒ (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

Performs the invocation of the given method using the given operands.

def doInvoke(method: Method, calledMethodDomain: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#CalledMethodDomain)(parameters: l2.PerformInvocations.CalledMethodDomain.Locals): AIResult { val domain: calledMethodDomain.type }

def doInvokeNonVirtual(pc: br.PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands, fallback: () ⇒ (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def doInvokeVirtual(pc: br.PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands, fallback: () ⇒ (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

The default implementation only supports the case where we can precisely resolve the target.

def ensuring(cond: (PerformInvocationsWithBasicVirtualMethodCallResolution) ⇒ Boolean, msg: ⇒ Any): PerformInvocationsWithBasicVirtualMethodCallResolution

def ensuring(cond: (PerformInvocationsWithBasicVirtualMethodCallResolution) ⇒ Boolean): PerformInvocationsWithBasicVirtualMethodCallResolution

def ensuring(cond: Boolean, msg: ⇒ Any): PerformInvocationsWithBasicVirtualMethodCallResolution

def ensuring(cond: Boolean): PerformInvocationsWithBasicVirtualMethodCallResolution

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def getPotentialExceptions(pc: PC): List[(PerformInvocationsWithBasicVirtualMethodCallResolution.this)#ExceptionValue]

def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def handleInvoke(pc: PC, targetMethod: Method, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def hashCode(): Int

def invokeinterface(pc: br.PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def invokespecial(pc: br.PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def invokestatic(pc: br.PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

For those invokestatic calls for which we have no concrete method (e.g., the respective class file was never loaded or the method is native) or if we have a recursive invocation, the super implementation is called.

def invokevirtual(pc: br.PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def testAndDoInvoke(pc: br.PC, definingClass: ClassFile, method: Method, operands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands, fallback: () ⇒ (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

def toString(): String

def transformResult(callerPC: br.PC, calledMethod: Method, originalOperands: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#Operands, calledMethodDomain: (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#CalledMethodDomain)(passedParameters: l2.PerformInvocations.CalledMethodDomain.Locals, result: AIResult { val domain: calledMethodDomain.type }): (PerformInvocationsWithBasicVirtualMethodCallResolution.this)#MethodCallResult

Converts the results (DomainValues) of the evaluation of the called method into the calling domain.

def useExceptionsThrownByCalledMethod: Boolean

If true the exceptions thrown by the called method are will be used during the evaluation of the calling method.

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (PerformInvocationsWithBasicVirtualMethodCallResolution, B)