DVar

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +(other: String): String

   

   Implicit information

   This member is added by an implicit conversion from DVar[Value] to any2stringadd[DVar[Value]] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4. def ->[B](y: B): (DVar[Value], B)

   

   Implicit information

   This member is added by an implicit conversion from DVar[Value] to ArrowAssoc[DVar[Value]] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

5. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. 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

   Var → ASTNode

8. 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

   DUVar → Expr

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def definedBy: ValueOrigin

    

11. def ensuring(cond: (DVar[Value]) ⇒ Boolean, msg: ⇒ Any): DVar[Value]

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to Ensuring[DVar[Value]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12. def ensuring(cond: (DVar[Value]) ⇒ Boolean): DVar[Value]

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to Ensuring[DVar[Value]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

13. def ensuring(cond: Boolean, msg: ⇒ Any): DVar[Value]

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to Ensuring[DVar[Value]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

14. def ensuring(cond: Boolean): DVar[Value]

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to Ensuring[DVar[Value]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

15. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

18. def formatted(fmtstr: String): String

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to StringFormat[DVar[Value]] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

19. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

22. final def isSideEffectFree: Boolean

    

    true if the expression is GUARANTEED to have no externally observable effect if it is not executed.

    true if the 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 is not used. For those expressions, 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.

    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

    DVar → Expr

23. def name: String

    

    A human readable name of the local variable.

    A human readable name of the local variable.

    Definition Classes

    DVar → Var

24. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

28. def toString(): String

    

    Definition Classes

    DVar → AnyRef → Any

29. def usedBy: IntSet

    

30. val value: Value

    

    Definition Classes

    DVar → DUVar

31. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. def →[B](y: B): (DVar[Value], B)

    

    Implicit information

    This member is added by an implicit conversion from DVar[Value] to ArrowAssoc[DVar[Value]] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc