NonVirtualMethodCall

Instance Constructors

new NonVirtualMethodCall(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
def +(other: String): String

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to any2stringadd[NonVirtualMethodCall[V]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (NonVirtualMethodCall[V], B)

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to ArrowAssoc[NonVirtualMethodCall[V]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def asArrayStore: ArrayStore[V]

Definition Classes
Stmt
def asAssignment: Assignment[V]

Definition Classes
Stmt
def asCheckcast: Checkcast[V]

Definition Classes
Stmt
def asExprStmt: ExprStmt[V]

Definition Classes
Stmt
def asGoto: Goto

Definition Classes
Stmt
def asIf: If[V]

Definition Classes
Stmt
final def asInstanceOf[T0]: T0

Definition Classes
Any
def asJSR: JSR

Definition Classes
Stmt
def asMonitorEnter: MonitorEnter[V]

Definition Classes
Stmt
def asMonitorExit: MonitorExit[V]

Definition Classes
Stmt
final def asNonVirtualMethodCall: NonVirtualMethodCall.this.type

Definition Classes
NonVirtualMethodCall → 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 asThrow: Throw[V]

Definition Classes
Stmt
def asVirtualMethodCall: VirtualMethodCall[V]

Definition Classes
Stmt
final def astID: Int

Each type of node is assigned a different id to make it easily possible to do a switch over all nodes.
Each type of node is assigned a different id to make it easily possible to do a switch over all nodes.

Definition Classes
NonVirtualMethodCall → ASTNode
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val declaringClass: ReferenceType

Definition Classes
NonVirtualMethodCall → Call
val descriptor: MethodDescriptor

Definition Classes
NonVirtualMethodCall → Call
def ensuring(cond: (NonVirtualMethodCall[V]) ⇒ Boolean, msg: ⇒ Any): NonVirtualMethodCall[V]

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (NonVirtualMethodCall[V]) ⇒ Boolean): NonVirtualMethodCall[V]

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): NonVirtualMethodCall[V]

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): NonVirtualMethodCall[V]

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to StringFormat[NonVirtualMethodCall[V]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val isInterface: Boolean

Definition Classes
NonVirtualMethodCall → Call
final def isSideEffectFree: Boolean

true if the statement/expression is GUARANTEED to have no externally observable effect if it is not executed.
true if 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
true if 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.
val name: String

Definition Classes
NonVirtualMethodCall → Call
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val params: Seq[Expr[V]]

The parameters of the method call (including the implicit this reference if necessary.)
The parameters of the method call (including the implicit this reference if necessary.)

Definition Classes
NonVirtualMethodCall → Call
val pc: PC

The program counter of the original underyling bytecode instruction.
The program counter of the original underyling bytecode instruction.
This pc is independent of the (implicit) index of the statement in the generated statements array! This pc is, e.g., useful for getting line number information.

Definition Classes
NonVirtualMethodCall → Stmt
val receiver: Expr[V]

Definition Classes
NonVirtualMethodCall → InstanceMethodCall
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
NonVirtualMethodCall → AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (NonVirtualMethodCall[V], B)

Implicit information
This member is added by an implicit conversion from NonVirtualMethodCall[V] to ArrowAssoc[NonVirtualMethodCall[V]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from InstanceMethodCall[V]

Inherited from MethodCall[V]

Inherited from Call[V]

Inherited from Stmt[V]

Inherited from ASTNode[V]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from NonVirtualMethodCall[V] to any2stringadd[NonVirtualMethodCall[V]]

Inherited by implicit conversion StringFormat from NonVirtualMethodCall[V] to StringFormat[NonVirtualMethodCall[V]]

Inherited by implicit conversion Ensuring from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]]

Inherited by implicit conversion ArrowAssoc from NonVirtualMethodCall[V] to ArrowAssoc[NonVirtualMethodCall[V]]

Ungrouped

Related Docs: object NonVirtualMethodCall | package tac

case class NonVirtualMethodCall[+V <: Var[V]](pc: PC, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, receiver: Expr[V], params: Seq[Expr[V]]) extends InstanceMethodCall[V] with Product with Serializable

Instance Constructors

new NonVirtualMethodCall(pc: PC, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, receiver: Expr[V], params: Seq[Expr[V]])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (NonVirtualMethodCall[V], B)

final def ==(arg0: Any): Boolean

def asArrayStore: ArrayStore[V]

def asAssignment: Assignment[V]

def asCheckcast: Checkcast[V]

def asExprStmt: ExprStmt[V]

def asGoto: Goto

def asIf: If[V]

final def asInstanceOf[T0]: T0

def asJSR: JSR

def asMonitorEnter: MonitorEnter[V]

def asMonitorExit: MonitorExit[V]

final def asNonVirtualMethodCall: NonVirtualMethodCall.this.type

def asNop: Nop

def asPutField: PutField[V]

def asPutStatic: PutStatic[V]

def asRet: Ret

def asReturn: Return

def asReturnValue: ReturnValue[V]

def asStaticMethodCall: StaticMethodCall[V]

def asSwitch: Switch[V]

def asThrow: Throw[V]

def asVirtualMethodCall: VirtualMethodCall[V]

final def astID: Int

def clone(): AnyRef

val declaringClass: ReferenceType

val descriptor: MethodDescriptor

def ensuring(cond: (NonVirtualMethodCall[V]) ⇒ Boolean, msg: ⇒ Any): NonVirtualMethodCall[V]

def ensuring(cond: (NonVirtualMethodCall[V]) ⇒ Boolean): NonVirtualMethodCall[V]

def ensuring(cond: Boolean, msg: ⇒ Any): NonVirtualMethodCall[V]

def ensuring(cond: Boolean): NonVirtualMethodCall[V]

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val isInterface: Boolean

final def isSideEffectFree: Boolean

val name: String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val params: Seq[Expr[V]]

val pc: PC

val receiver: Expr[V]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (NonVirtualMethodCall[V], B)

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from InstanceMethodCall[V]

Inherited from MethodCall[V]

Inherited from Call[V]

Inherited from Stmt[V]

Inherited from ASTNode[V]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from NonVirtualMethodCall[V] to any2stringadd[NonVirtualMethodCall[V]]

Inherited by implicit conversion StringFormat from NonVirtualMethodCall[V] to StringFormat[NonVirtualMethodCall[V]]

Inherited by implicit conversion Ensuring from NonVirtualMethodCall[V] to Ensuring[NonVirtualMethodCall[V]]

Inherited by implicit conversion ArrowAssoc from NonVirtualMethodCall[V] to ArrowAssoc[NonVirtualMethodCall[V]]

Ungrouped