case class VirtualFunctionCall[+V <: Var[V]](pc: PC, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, receiver: Expr[V], params: Seq[Expr[V]]) extends InstanceFunctionCall[V] with VirtualCall[V] with Product with Serializable
- Source
- Expr.scala
- Alphabetic
- By Inheritance
- VirtualFunctionCall
- Serializable
- Product
- Equals
- VirtualCall
- InstanceFunctionCall
- FunctionCall
- Call
- Expr
- ASTNode
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new VirtualFunctionCall(pc: PC, 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
- InstanceFunctionCall → Call
- def asArrayLength: ArrayLength[V]
- Definition Classes
- Expr
- def asArrayLoad: ArrayLoad[V]
- Definition Classes
- Expr
- def asBinaryExpr: BinaryExpr[V]
- Definition Classes
- Expr
- def asClassConst: ClassConst
- Definition Classes
- Expr
- def asCompare: Compare[V]
- Definition Classes
- Expr
- def asDoubleConst: DoubleConst
- Definition Classes
- Expr
- def asDynamicConst: DynamicConst
- Definition Classes
- Expr
- def asFieldRead: FieldRead[V]
- Definition Classes
- Expr
- def asFloatConst: FloatConst
- Definition Classes
- Expr
- final def asFunctionCall: VirtualFunctionCall.this.type
- Definition Classes
- FunctionCall → Expr
- def asGetField: GetField[V]
- Definition Classes
- Expr
- def asGetStatic: GetStatic
- Definition Classes
- Expr
- final def asInstanceFunctionCall: VirtualFunctionCall.this.type
- Definition Classes
- InstanceFunctionCall → Expr
- def asInstanceOf: InstanceOf[V]
- Definition Classes
- Expr
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asIntConst: IntConst
- Definition Classes
- Expr
- def asInvokedynamicFunctionCall: InvokedynamicFunctionCall[V]
- Definition Classes
- Expr
- def asLongConst: LongConst
- Definition Classes
- Expr
- def asMethodHandleConst: MethodHandleConst
- Definition Classes
- Expr
- def asMethodTypeConst: MethodTypeConst
- Definition Classes
- Expr
- def asNew: New
- Definition Classes
- Expr
- def asNewArray: NewArray[V]
- Definition Classes
- Expr
- def asNonVirtualFunctionCall: NonVirtualFunctionCall[V]
- Definition Classes
- Expr
- def asNullExpr: NullExpr
- Definition Classes
- Expr
- def asParam: Param
- Definition Classes
- Expr
- def asPrefixExpr: PrefixExpr[V]
- Definition Classes
- Expr
- def asPrimitiveTypeCastExpr: PrimitiveTypecastExpr[V]
- Definition Classes
- Expr
- def asStaticFunctionCall: StaticFunctionCall[V]
- Definition Classes
- Expr
- def asStringConst: StringConst
- Definition Classes
- Expr
- def asVar: V
- Definition Classes
- Expr
- final def asVirtualFunctionCall: VirtualFunctionCall.this.type
- Definition Classes
- VirtualFunctionCall → Expr
- 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
- VirtualFunctionCall → ASTNode
- final def cTpe: ComputationalType
The computational type of the underlying value.
The computational type of the underlying value.
I.e., an approximation of the type of the underlying value. It is the best type information directly available. The precision of the type information depends on the number of pre-/post-processing steps that are done.
- Definition Classes
- FunctionCall → Expr
- 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
- VirtualFunctionCall → Call
- val descriptor: MethodDescriptor
- Definition Classes
- VirtualFunctionCall → Call
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def forallSubExpressions[W >: V <: Var[W]](p: (Expr[W]) => Boolean): Boolean
Returns
trueif the given predicate evaluates totruefor all direct subexpressions of this expression; if the evaluation should perform a recursive decent then it needs to be done by the predicate!Returns
trueif the given predicate evaluates totruefor all direct subexpressions of this expression; if the evaluation should perform a recursive decent then it needs to be done by the predicate!- Definition Classes
- InstanceFunctionCall → Expr
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- VirtualFunctionCall → AnyRef → Any
- def isArrayLoad: Boolean
- Definition Classes
- Expr
- def isClassConst: Boolean
- Definition Classes
- Expr
- def isCompare: Boolean
- Definition Classes
- Expr
- def isConst: Boolean
- Definition Classes
- Expr
- def isDoubleConst: Boolean
- Definition Classes
- Expr
- def isDynamicConst: Boolean
- Definition Classes
- Expr
- def isFieldRead: Boolean
- Definition Classes
- Expr
- def isFloatConst: Boolean
- Definition Classes
- Expr
- final def isFunctionCall: Boolean
- Definition Classes
- FunctionCall → Expr
- def isGetField: Boolean
- Definition Classes
- Expr
- def isGetStatic: Boolean
- Definition Classes
- Expr
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isIntConst: Boolean
- Definition Classes
- Expr
- val isInterface: Boolean
trueiff the declaring class is an interface.trueiff the declaring class is an interface.- Definition Classes
- VirtualFunctionCall → Call
- def isLongConst: Boolean
- Definition Classes
- Expr
- def isMethodHandleConst: Boolean
- Definition Classes
- Expr
- def isMethodTypeConst: Boolean
- Definition Classes
- Expr
- def isNew: Boolean
- Definition Classes
- Expr
- def isNewArray: Boolean
- Definition Classes
- Expr
- def isNullExpr: Boolean
- Definition Classes
- Expr
- 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
- VirtualFunctionCall → 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 isStaticFunctionCall: Boolean
- Definition Classes
- Expr
- def isStringConst: Boolean
- Definition Classes
- Expr
- final def isValueExpression: Boolean
trueif this expression is a Var.trueif this expression is a Var.- Definition Classes
- FunctionCall → Expr
- final def isVar: Boolean
- Definition Classes
- FunctionCall → Expr
- final def isVirtualFunctionCall: Boolean
- Definition Classes
- VirtualFunctionCall → Expr
- val name: String
- Definition Classes
- VirtualFunctionCall → 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
- VirtualFunctionCall → Call
- val pc: PC
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val receiver: Expr[V]
- Definition Classes
- VirtualFunctionCall → VirtualCall → InstanceFunctionCall
- 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
- InstanceFunctionCall → 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 subExpr(index: Int): Expr[V]
Returns the sub expression with the given index; if the index is wrong the result is undefined!
Returns the sub expression with the given index; if the index is wrong the result is undefined!
- Definition Classes
- InstanceFunctionCall → Expr
- final def subExprCount: Int
The number of sub expression directly referenced by this expression.
The number of sub expression directly referenced by this expression. A unary expression has one sub expression (the operand), a binary expression has two and a method has as many as explicit and implicit (
this) parameters exist.- Definition Classes
- InstanceFunctionCall → Expr
- Note
Transitive dependencies are not counted.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toCanonicalForm(implicit ev: <:<[V, DUVar[ValueInformation]]): Expr[DUVar[ValueInformation]]
See org.opalj.value.ValueInformation.toCanonicalForm for detail.
See org.opalj.value.ValueInformation.toCanonicalForm for detail.
- Definition Classes
- VirtualFunctionCall → Expr → ASTNode
- def toString(): String
- Definition Classes
- VirtualFunctionCall → 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