 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 ComputationTypeLevelInvokeInstructions.thisDomainValue, TypeLevelInvokeInstructions.thisExceptionValues def MethodCallResultpotentialExceptions: IterableTypeLevelInvokeInstructions.thisExceptionValue: TypeLevelInvokeInstructions.thisMethodCallResult def MethodCallResultreturnValue: TypeLevelInvokeInstructions.thisDomainValue, exceptions: IterableTypeLevelInvokeInstructions.thisExceptionValue: TypeLevelInvokeInstructions.thisMethodCallResult def getPotentialExceptionspc: PC: ListTypeLevelInvokeInstructions.thisExceptionValue def handleInstanceBasedInvokepc: PC, methodDescriptor: MethodDescriptor, targetMethods: SetMethod, receiverIsNull: Answer, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def handleInstanceBasedInvokepc: PC, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def handleInstanceBasedInvokepc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer: TypeLevelInvokeInstructions.thisMethodCallResult def handleInvokepc: PC, methodDescriptor: MethodDescriptor: TypeLevelInvokeInstructions.thisMethodCallResult def invokedynamicpc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def invokeinterfacepc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def invokespecialpc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def invokestaticpc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult def invokevirtualpc: PC, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: TypeLevelInvokeInstructions.thisOperands: TypeLevelInvokeInstructions.thisMethodCallResult 