PerformInvocationsWithRecursionDetection

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

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

abstract def calledMethodDomain(method: Method): (PerformInvocationsWithRecursionDetection.this)#CalledMethodDomain

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

abstract def calledMethodsStore: CalledMethodsStore { val domain: org.opalj.ai.domain.l2.CalledMethodsStore.<refinement>.type }

abstract val coordinatingDomain: BaseDomain

abstract def frequentEvaluationWarningLevel: Int

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

abstract def shouldInvocationBePerformed(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): (PerformInvocationsWithRecursionDetection, B)

final def ==(arg0: Any): Boolean

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

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

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def doInvoke(pc: PC, method: Method, operands: (PerformInvocationsWithRecursionDetection.this)#Operands, fallback: () ⇒ (PerformInvocationsWithRecursionDetection.this)#MethodCallResult): (PerformInvocationsWithRecursionDetection.this)#MethodCallResult

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

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

def doInvokeNonVirtual(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithRecursionDetection.this)#Operands, fallback: () ⇒ (PerformInvocationsWithRecursionDetection.this)#MethodCallResult): (PerformInvocationsWithRecursionDetection.this)#MethodCallResult

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

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

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

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

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

def ensuring(cond: Boolean): PerformInvocationsWithRecursionDetection

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[(PerformInvocationsWithRecursionDetection.this)#ExceptionValue]

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

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

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

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

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

def hashCode(): Int

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

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

def invokestatic(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithRecursionDetection.this)#Operands): (PerformInvocationsWithRecursionDetection.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: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: (PerformInvocationsWithRecursionDetection.this)#Operands): (PerformInvocationsWithRecursionDetection.this)#MethodCallResult

final def isInstanceOf[T0]: Boolean

def localsArray: (PerformInvocationsWithRecursionDetection.this)#LocalsArray

def memoryLayoutBeforeSubroutineCall: Chain[((PerformInvocationsWithRecursionDetection.this)#OperandsArray, (PerformInvocationsWithRecursionDetection.this)#LocalsArray)]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def operandsArray: (PerformInvocationsWithRecursionDetection.this)#OperandsArray

def subroutinesLocalsArray: (PerformInvocationsWithRecursionDetection.this)#LocalsArray

def subroutinesOperandsArray: (PerformInvocationsWithRecursionDetection.this)#OperandsArray

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

def testAndDoInvoke(pc: PC, method: Method, operands: (PerformInvocationsWithRecursionDetection.this)#Operands, fallback: () ⇒ (PerformInvocationsWithRecursionDetection.this)#MethodCallResult): (PerformInvocationsWithRecursionDetection.this)#MethodCallResult

def toString(): String

def transformResult(callerPC: PC, calledMethod: Method, originalOperands: (PerformInvocationsWithRecursionDetection.this)#Operands, calledMethodDomain: (PerformInvocationsWithRecursionDetection.this)#CalledMethodDomain)(passedParameters: PerformInvocations.CalledMethodDomain.Locals, result: AIResult { val domain: calledMethodDomain.type }): (PerformInvocationsWithRecursionDetection.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): (PerformInvocationsWithRecursionDetection, B)