Var

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def +(other: String): String

   Implicit information

   This member is added by an implicit conversion from Var to StringAdd[Var] performed by method StringAdd in scala.Predef.

   Definition Classes

   StringAdd

5. def ->[B](y: B): (Var, B)

   Implicit information

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

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

6. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def describe: String

11. lazy val domain: Option[Set[Const]]

12. lazy val domainSyms: Option[Set[TreesAndTypesDomain.Sym]]

    Definition Classes

    Var → AbsVar

13. def ensuring(cond: (Var) ⇒ Boolean, msg: ⇒ Any): Var

    Implicit information

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

    Definition Classes

    Ensuring

14. def ensuring(cond: (Var) ⇒ Boolean): Var

    Implicit information

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

    Definition Classes

    Ensuring

15. def ensuring(cond: Boolean, msg: ⇒ Any): Var

    Implicit information

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

    Definition Classes

    Ensuring

16. def ensuring(cond: Boolean): Var

    Implicit information

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

    Definition Classes

    Ensuring

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

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

19. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

20. def formatted(fmtstr: String): String

    Implicit information

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

    Definition Classes

    StringFormat

    Annotations

    @inline()

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

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    Definition Classes

    AnyRef → Any

23. lazy val implications: collection.immutable.List[(TreesAndTypesDomain.Sym, collection.immutable.List[TreesAndTypesDomain.Sym], collection.immutable.List[TreesAndTypesDomain.Sym])]

    the information needed to construct the boolean proposition that encods the equality proposition (V = C)

    the information needed to construct the boolean proposition that encods the equality proposition (V = C)

    that models a type test pattern _: C or constant pattern C, where the type test gives rise to a TypeConst C, and the constant pattern yields a ValueConst C

    for exhaustivity, we really only need implication (e.g., V = 1 implies that V = 1 /\ V = Int, if both tests occur in the match, and thus in this variable's equality symbols), but reachability also requires us to model things like V = 1 precluding V = "1"

    Definition Classes

    Var → AbsVar

24. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

25. def mayBeNull: Boolean

    Definition Classes

    Var → AbsVar

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

    Definition Classes

    AnyRef

27. final def notify(): Unit

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    Definition Classes

    AnyRef

29. val path: Tree

30. def propForEqualsTo(c: Const): TreesAndTypesDomain.Prop

    Definition Classes

    Var → AbsVar

31. def registerEquality(c: Const): Unit

    Definition Classes

    Var → AbsVar

32. def registerNull(): Unit

    Definition Classes

    Var → AbsVar

33. val staticTpCheckable: Type

34. lazy val symForStaticTp: Option[TreesAndTypesDomain.Sym]

    Definition Classes

    Var → AbsVar

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

    Definition Classes

    AnyRef

36. def toString(): String

    Definition Classes

    Var → AnyRef → Any

37. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40. def →[B](y: B): (Var, B)

    Implicit information

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

    Definition Classes

    ArrowAssoc