case class VirtualMethodCall[+V <: Var[V]](pc: Int, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, receiver: Expr[V], params: Seq[Expr[V]]) extends InstanceMethodCall[V] with VirtualCall[V] with Product with Serializable
- Source
- Stmt.scala
- Alphabetic
- By Inheritance
- VirtualMethodCall
- Serializable
- Product
- Equals
- VirtualCall
- InstanceMethodCall
- MethodCall
- Call
- Stmt
- ASTNode
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new VirtualMethodCall(pc: Int, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, receiver: Expr[V], params: Seq[Expr[V]])
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 allParams: Seq[Expr[V]]
The parameters of the call (including the implicit
thisreference if necessary.)The parameters of the call (including the implicit
thisreference if necessary.)- Definition Classes
- InstanceMethodCall → Call
- def asArrayStore: ArrayStore[V]
- Definition Classes
- Stmt
- def asAssignment: Assignment[V]
- Definition Classes
- Stmt
- def asAssignmentLike: AssignmentLikeStmt[V]
- Definition Classes
- Stmt
- def asCaughtException: CaughtException[V]
- Definition Classes
- Stmt
- def asCheckcast: Checkcast[V]
- Definition Classes
- Stmt
- def asExprStmt: ExprStmt[V]
- Definition Classes
- Stmt
- def asFieldWriteAccessStmt: FieldWriteAccessStmt[V]
- Definition Classes
- Stmt
- def asGoto: Goto
- Definition Classes
- Stmt
- def asIf: If[V]
- Definition Classes
- Stmt
- final def asInstanceMethodCall: VirtualMethodCall.this.type
- Definition Classes
- InstanceMethodCall → Stmt
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asInvokedynamicMethodCall: InvokedynamicMethodCall[V]
- Definition Classes
- Stmt
- def asJSR: JSR
- Definition Classes
- Stmt
- final def asMethodCall: VirtualMethodCall.this.type
- Definition Classes
- MethodCall → Stmt
- def asMonitorEnter: MonitorEnter[V]
- Definition Classes
- Stmt
- def asMonitorExit: MonitorExit[V]
- Definition Classes
- Stmt
- def asNonVirtualMethodCall: NonVirtualMethodCall[V]
- Definition Classes
- Stmt
- def asNop: Nop
- Definition Classes
- Stmt
- def asPutField: PutField[V]
- Definition Classes
- Stmt
- def asPutStatic: PutStatic[V]
- Definition Classes
- Stmt
- def asRet: Ret
- Definition Classes
- Stmt
- def asReturn: Return
- Definition Classes
- Stmt
- def asReturnValue: ReturnValue[V]
- Definition Classes
- Stmt
- def asStaticMethodCall: StaticMethodCall[V]
- Definition Classes
- Stmt
- def asSwitch: Switch[V]
- Definition Classes
- Stmt
- def asSynchronizationStmt: SynchronizationStmt[V]
- Definition Classes
- Stmt
- def asThrow: Throw[V]
- Definition Classes
- Stmt
- final def asVirtualMethodCall: VirtualMethodCall.this.type
- Definition Classes
- VirtualMethodCall → Stmt
- final def astID: Int
Each type of node is assigned a different
idto make it easily possible to do a switch over all nodes.Each type of node is assigned a different
idto make it easily possible to do a switch over all nodes.- Definition Classes
- VirtualMethodCall → ASTNode
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- val declaringClass: ReferenceType
The declaring class; can be an array type for all methods defined by
java.lang.Object.The declaring class; can be an array type for all methods defined by
java.lang.Object.- Definition Classes
- VirtualMethodCall → Call
- val descriptor: MethodDescriptor
- Definition Classes
- VirtualMethodCall → Call
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def forallSubExpressions[W >: V <: Var[W]](p: (Expr[W]) => Boolean): Boolean
- Definition Classes
- InstanceMethodCall → Stmt
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def isArrayStore: Boolean
- Definition Classes
- Stmt
- def isAssignment: Boolean
- Definition Classes
- Stmt
- def isCaughtException: Boolean
- Definition Classes
- Stmt
- def isCheckcast: Boolean
- Definition Classes
- Stmt
- def isExprStmt: Boolean
- Definition Classes
- Stmt
- def isIf: Boolean
- Definition Classes
- Stmt
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val isInterface: Boolean
trueiff the declaring class is an interface.trueiff the declaring class is an interface.- Definition Classes
- VirtualMethodCall → Call
- final def isMethodCall: Boolean
- Definition Classes
- MethodCall → Stmt
- def isMonitorEnter: Boolean
- Definition Classes
- Stmt
- def isMonitorExit: Boolean
- Definition Classes
- Stmt
- def isNonVirtualMethodCall: Boolean
- Definition Classes
- Stmt
- def isNop: Boolean
- Definition Classes
- Stmt
- def isPutField: Boolean
- Definition Classes
- Stmt
- def isPutStatic: Boolean
- Definition Classes
- Stmt
- def isReturnValue: Boolean
- Definition Classes
- Stmt
- final def isSideEffectFree: Boolean
trueif the statement/expression is GUARANTEED to have no externally observable effect if it is not executed.trueif the statement/expression is GUARANTEED to have no externally observable effect if it is not executed. Sideeffect free instructions can be removed if the result of the evaluation of the expression/statement is not used. For those instructions, which may result in an exception, it has to be guaranteed that the exception is NEVER thrown. For example, a div instruction is sideeffect free if it is (statically) known that the divisor is always not equal to zero; otherwise, even if the result value is not used, the expression is not (potentially) side effect free. An array load is only side effect free if the array reference is non-null and if the index is valid.- returns
trueif the expression is GUARENTEED to have no side effect other than wasting some CPU cycles if it is not executed.
- Definition Classes
- MethodCall → ASTNode
- Note
Deeply nested expressions are not supported; i.e. an expression's sub-expressions have to be Var or Const expressions. Generally, a statements expressions have to to simple expressions too - except of the Assignment statement; in the latter case the right-expression can have references to simple expressions. Hence, in case of Assignment statements the side-effect freenes is determined by the referenced expression; in all other cases the side-effect freeness is determined directly by the statement/expression.
- def isStaticMethodCall: Boolean
- Definition Classes
- Stmt
- def isThrow: Boolean
- Definition Classes
- Stmt
- final def isVirtualMethodCall: Boolean
- Definition Classes
- VirtualMethodCall → Stmt
- val name: String
- Definition Classes
- VirtualMethodCall → Call
- 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()
- val params: Seq[Expr[V]]
The parameters of the call (excluding the implicit
thisreference.)The parameters of the call (excluding the implicit
thisreference.)- Definition Classes
- VirtualMethodCall → Call
- val pc: Int
The program counter of the original underyling bytecode instruction.
The program counter of the original underyling bytecode instruction.
This
pcis independent of the (implicit)indexof the statement in the generated statements array! This pc is, e.g., useful for getting line number information.- Definition Classes
- VirtualMethodCall → Stmt
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val receiver: Expr[V]
- Definition Classes
- VirtualMethodCall → VirtualCall → InstanceMethodCall
- final def receiverOption: Some[Expr[V]]
The receiver of the call if it is an instance call, None if it is a static call.
The receiver of the call if it is an instance call, None if it is a static call.
- Definition Classes
- InstanceMethodCall → Call
- def resolveCallTargets(callingContext: ObjectType)(implicit p: ProjectLike, ev: <:<[V, DUVar[ValueInformation]]): Set[Method]
Resolves the call targets taking the domain value information (
isPreciseandisNull) into consideration.Resolves the call targets taking the domain value information (
isPreciseandisNull) into consideration.- Definition Classes
- VirtualCall
- Note
This method requires that we have a flat representation! (That is, the receiver is a
Var.)
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def toCanonicalForm(implicit ev: <:<[V, DUVar[ValueInformation]]): Stmt[DUVar[ValueInformation]]
See org.opalj.value.ValueInformation.toCanonicalForm for detail.
See org.opalj.value.ValueInformation.toCanonicalForm for detail.
- Definition Classes
- VirtualMethodCall → Stmt → ASTNode
- def toString(): String
- Definition Classes
- VirtualMethodCall → 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