ChildPerformInvocationsWithRecursionDetection

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

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

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

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

abstract val callerDomain: PerformInvocationsWithRecursionDetection

abstract def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (ChildPerformInvocationsWithRecursionDetection.this)#Operands): (ChildPerformInvocationsWithRecursionDetection.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): (ChildPerformInvocationsWithRecursionDetection, B)

final def ==(arg0: Any): Boolean

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

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

final def asInstanceOf[T0]: T0

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

def clone(): AnyRef

final val coordinatingDomain: PerformInvocationsWithRecursionDetection.coordinatingDomain

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

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

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

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

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

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

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

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

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

def ensuring(cond: Boolean): ChildPerformInvocationsWithRecursionDetection

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

def frequentEvaluationWarningLevel: Int

final def getClass(): Class[_]

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

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

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

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

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

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

def hashCode(): Int

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

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

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

final def isInstanceOf[T0]: Boolean

def localsArray: (ChildPerformInvocationsWithRecursionDetection.this)#LocalsArray

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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def operandsArray: (ChildPerformInvocationsWithRecursionDetection.this)#OperandsArray

def subroutinesLocalsArray: (ChildPerformInvocationsWithRecursionDetection.this)#LocalsArray

def subroutinesOperandsArray: (ChildPerformInvocationsWithRecursionDetection.this)#OperandsArray

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

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

def toString(): String

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