trait SimpleTypeLevelInvokeInstructions extends MethodCallsDomain
Most basic handling of method invocations that determines the value that is put onto the operand stack/returned by a method call based on the called method's return type.
This implementation completely ignores exceptions and/or errors thrown by the method.
(Linkage related exceptions are currently generally ignored.)
- Self Type
- SimpleTypeLevelInvokeInstructions with ReferenceValuesDomain with ValuesFactory with Configuration
- Source
- SimpleTypeLevelInvokeInstructions.scala
- Note
By ignoring potentially thrown exceptions it may be the case that not all possible paths in a program are explored and that the overall analysis may not be sound.
- Alphabetic
- By Inheritance
- SimpleTypeLevelInvokeInstructions
- MethodCallsDomain
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type MethodCallResult = Computation[(SimpleTypeLevelInvokeInstructions.this)#DomainValue, (SimpleTypeLevelInvokeInstructions.this)#ExceptionValues]
- Definition Classes
- MethodCallsDomain
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): (SimpleTypeLevelInvokeInstructions.this)#MethodCallResult
- Attributes
- protected[this]
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def invokedynamic(pc: Int, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): Computation[(SimpleTypeLevelInvokeInstructions.this)#DomainValue, (SimpleTypeLevelInvokeInstructions.this)#ExceptionValues]
- Definition Classes
- SimpleTypeLevelInvokeInstructions → MethodCallsDomain
- def invokeinterface(pc: Int, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): (SimpleTypeLevelInvokeInstructions.this)#MethodCallResult
- Definition Classes
- SimpleTypeLevelInvokeInstructions → MethodCallsDomain
- def invokespecial(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): (SimpleTypeLevelInvokeInstructions.this)#MethodCallResult
- Definition Classes
- SimpleTypeLevelInvokeInstructions → MethodCallsDomain
- def invokestatic(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): (SimpleTypeLevelInvokeInstructions.this)#MethodCallResult
- Definition Classes
- SimpleTypeLevelInvokeInstructions → MethodCallsDomain
- def invokevirtual(pc: Int, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: (SimpleTypeLevelInvokeInstructions.this)#Operands): (SimpleTypeLevelInvokeInstructions.this)#MethodCallResult
- Definition Classes
- SimpleTypeLevelInvokeInstructions → MethodCallsDomain
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated