TypeLevelInvokeInstructions TypeLevelInvokeInstructions with ReferenceValuesDomain with TypedValuesFactory with Configuration with TheCodeTypeLevelInvokeInstructions.scalaAnalysisDomain, ExceptionUsageAnalysisDomain, InfiniteRecursionsDomain, AnalysisDomain, AnalysisDomain, BaseFieldValuesAnalysisDomain, BaseMethodReturnValuesAnalysisDomain, FPFieldValuesAnalysisDomain, FPMethodReturnValuesAnalysisDomain, BasicVTACallGraphDomain, BasicVTAWithPreAnalysisCallGraphDomain, CFACallGraphDomain, DefaultCHACallGraphDomain, DefaultVTACallGraphDomain, ExtVTACallGraphDomain, BaseDomain, BaseDomainWithDefUse, PrimitiveTACAIDomain, TypeLevelDomain, ZeroDomain, DefaultDomain, DefaultDomainWithCFG, DefaultDomainWithCFGAndDefUse, DefaultIntervalValuesDomain, DefaultReferenceValuesDomain, DefaultSetValuesDomain, DefaultSingletonValuesDomain, AnalysisDomain, ChildDefaultDomain, DefaultDomain, DefaultPerformInvocationsDomain, DefaultPerformInvocationsDomainWithCFG, DefaultPerformInvocationsDomainWithCFGAndDefUse, SharedDefaultDomain, DefaultDomain, DefaultDomain, CalledTaintAnalysisDomain, RootTaintAnalysisDomain, TaintAnalysisDomain, AnalysisDomain, BaseBugPickerAnalysisDomain, BasePerformInvocationBugPickerAnalysisDomain, FallbackBugPickerAnalysisDomain, InvocationBugPickerAnalysisDomain, RootBugPickerAnalysisDomain, AnalysisDomain type MethodCallResult = Computation[(TypeLevelInvokeInstructions.this)#DomainValue, (TypeLevelInvokeInstructions.this)#ExceptionValues] def MethodCallResult(potentialExceptions: Iterable[(TypeLevelInvokeInstructions.this)#ExceptionValue]): (TypeLevelInvokeInstructions.this)#MethodCallResult def MethodCallResult(returnValue: (TypeLevelInvokeInstructions.this)#DomainValue, exceptions: Iterable[(TypeLevelInvokeInstructions.this)#ExceptionValue]): (TypeLevelInvokeInstructions.this)#MethodCallResult def getPotentialExceptions(pc: PC): List[(TypeLevelInvokeInstructions.this)#ExceptionValue] def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): (TypeLevelInvokeInstructions.this)#MethodCallResult def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): (TypeLevelInvokeInstructions.this)#MethodCallResult def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def invokeinterface(pc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def invokespecial(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def invokestatic(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult def invokevirtual(pc: PC, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: (TypeLevelInvokeInstructions.this)#Operands): (TypeLevelInvokeInstructions.this)#MethodCallResult
