Packages

case class New(pc: PC, tpe: ObjectType) extends Expr[Nothing] with Product with Serializable

Allocates memory for the (non-abstract) given object. Note, that the call of the separator is done later and therefore the object is not considered to be properly initialized and – therefore – no further operations other than the call of a constructor are allowed.

Source
Expr.scala
Linear Supertypes
Serializable, Product, Equals, Expr[Nothing], ASTNode[Nothing], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. New
  2. Serializable
  3. Product
  4. Equals
  5. Expr
  6. ASTNode
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new New(pc: PC, tpe: ObjectType)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def asArrayLength: ArrayLength[Nothing]
    Definition Classes
    Expr
  5. def asArrayLoad: ArrayLoad[Nothing]
    Definition Classes
    Expr
  6. def asBinaryExpr: BinaryExpr[Nothing]
    Definition Classes
    Expr
  7. def asClassConst: ClassConst
    Definition Classes
    Expr
  8. def asCompare: Compare[Nothing]
    Definition Classes
    Expr
  9. def asDoubleConst: DoubleConst
    Definition Classes
    Expr
  10. def asDynamicConst: DynamicConst
    Definition Classes
    Expr
  11. def asFieldRead: FieldRead[Nothing]
    Definition Classes
    Expr
  12. def asFloatConst: FloatConst
    Definition Classes
    Expr
  13. def asFunctionCall: FunctionCall[Nothing]
    Definition Classes
    Expr
  14. def asGetField: GetField[Nothing]
    Definition Classes
    Expr
  15. def asGetStatic: GetStatic
    Definition Classes
    Expr
  16. def asInstanceFunctionCall: InstanceFunctionCall[Nothing]
    Definition Classes
    Expr
  17. def asInstanceOf: InstanceOf[Nothing]
    Definition Classes
    Expr
  18. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  19. def asIntConst: IntConst
    Definition Classes
    Expr
  20. def asInvokedynamicFunctionCall: InvokedynamicFunctionCall[Nothing]
    Definition Classes
    Expr
  21. def asLongConst: LongConst
    Definition Classes
    Expr
  22. def asMethodHandleConst: MethodHandleConst
    Definition Classes
    Expr
  23. def asMethodTypeConst: MethodTypeConst
    Definition Classes
    Expr
  24. final def asNew: New.this.type
    Definition Classes
    New → Expr
  25. def asNewArray: NewArray[Nothing]
    Definition Classes
    Expr
  26. def asNonVirtualFunctionCall: NonVirtualFunctionCall[Nothing]
    Definition Classes
    Expr
  27. def asNullExpr: NullExpr
    Definition Classes
    Expr
  28. def asParam: Param
    Definition Classes
    Expr
  29. def asPrefixExpr: PrefixExpr[Nothing]
    Definition Classes
    Expr
  30. def asPrimitiveTypeCastExpr: PrimitiveTypecastExpr[Nothing]
    Definition Classes
    Expr
  31. def asStaticFunctionCall: StaticFunctionCall[Nothing]
    Definition Classes
    Expr
  32. def asStringConst: StringConst
    Definition Classes
    Expr
  33. def asVar: Nothing
    Definition Classes
    Expr
  34. def asVirtualFunctionCall: VirtualFunctionCall[Nothing]
    Definition Classes
    Expr
  35. 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
    New → ASTNode
  36. 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
    New → Expr
  37. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  38. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def forallSubExpressions[W <: Var[W]](p: (Expr[W]) => Boolean): Boolean

    Returns true if the given predicate evaluates to true for all direct subexpressions of this expression; if the evaluation should perform a recursive decent then it needs to be done by the predicate!

    Returns true if the given predicate evaluates to true for 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
    New → Expr
  40. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  41. def isArrayLoad: Boolean
    Definition Classes
    Expr
  42. def isClassConst: Boolean
    Definition Classes
    Expr
  43. def isCompare: Boolean
    Definition Classes
    Expr
  44. def isConst: Boolean
    Definition Classes
    Expr
  45. def isDoubleConst: Boolean
    Definition Classes
    Expr
  46. def isDynamicConst: Boolean
    Definition Classes
    Expr
  47. def isFieldRead: Boolean
    Definition Classes
    Expr
  48. def isFloatConst: Boolean
    Definition Classes
    Expr
  49. def isFunctionCall: Boolean
    Definition Classes
    Expr
  50. def isGetField: Boolean
    Definition Classes
    Expr
  51. def isGetStatic: Boolean
    Definition Classes
    Expr
  52. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  53. def isIntConst: Boolean
    Definition Classes
    Expr
  54. def isLongConst: Boolean
    Definition Classes
    Expr
  55. def isMethodHandleConst: Boolean
    Definition Classes
    Expr
  56. def isMethodTypeConst: Boolean
    Definition Classes
    Expr
  57. final def isNew: Boolean
    Definition Classes
    New → Expr
  58. def isNewArray: Boolean
    Definition Classes
    Expr
  59. def isNullExpr: Boolean
    Definition Classes
    Expr
  60. final def isSideEffectFree: Boolean

    Returns false because an OutOfMemoryError may be thrown.

    Returns false because an OutOfMemoryError may be thrown.

    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
    New → ASTNode
  61. def isStaticFunctionCall: Boolean
    Definition Classes
    Expr
  62. def isStringConst: Boolean
    Definition Classes
    Expr
  63. final def isValueExpression: Boolean

    true if this expression is a Var.

    true if this expression is a Var.

    Definition Classes
    New → Expr
  64. final def isVar: Boolean
    Definition Classes
    New → Expr
  65. def isVirtualFunctionCall: Boolean
    Definition Classes
    Expr
  66. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  67. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  68. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  69. val pc: PC
  70. def productElementNames: Iterator[String]
    Definition Classes
    Product
  71. final def subExpr(index: Int): Nothing

    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
    New → Expr
  72. 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
    New → Expr
    Note

    Transitive dependencies are not counted.

  73. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  74. final def toCanonicalForm(implicit ev: <:<[Nothing, DUVar[ValueInformation]]): Expr[DUVar[ValueInformation]]

    See org.opalj.value.ValueInformation.toCanonicalForm for detail.

    See org.opalj.value.ValueInformation.toCanonicalForm for detail.

    Definition Classes
    New → Expr → ASTNode
  75. def toString(): String
    Definition Classes
    New → AnyRef → Any
  76. val tpe: ObjectType
  77. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  78. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  79. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Expr[Nothing]

Inherited from ASTNode[Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped