Var

Instance Constructors

new Var(path: Tree, staticTp: Type)

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

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

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

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def describe: String
lazy val domain: Option[Set[Const]]
lazy val domainSyms: Option[Set[TreesAndTypesDomain.Sym]]

Definition Classes
Var → AbsVar
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 any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Var) ⇒ Boolean): Var

Implicit information
This member is added by an implicit conversion from Var to Ensuring[Var] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
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 any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Var

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
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 Var to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
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
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def mayBeNull: Boolean

Definition Classes
Var → AbsVar
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val path: Tree
def propForEqualsTo(c: Const): TreesAndTypesDomain.Prop

Definition Classes
Var → AbsVar
def registerEquality(c: Const): Unit

Definition Classes
Var → AbsVar
def registerNull(): Unit

Definition Classes
Var → AbsVar
val staticTpCheckable: Type
lazy val symForStaticTp: Option[TreesAndTypesDomain.Sym]

Definition Classes
Var → AbsVar
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Var → 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): (Var, B)

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

Shadowed Implicit Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from Var to StringAdd performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(var: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from Var to StringFormat performed by method any2stringfmt in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(var: StringFormat).self
Definition Classes
StringFormat

Deprecated Value Members

def x: Var
Implicit information
This member is added by an implicit conversion from Var to ArrowAssoc[Var] performed by method any2ArrowAssoc in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(var: ArrowAssoc[Var]).x
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: Var
Implicit information
This member is added by an implicit conversion from Var to Ensuring[Var] performed by method any2Ensuring in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(var: Ensuring[Var]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

class Var extends AbsVar

Instance Constructors

new Var(path: Tree, staticTp: Type)

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

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

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def describe: String

lazy val domain: Option[Set[Const]]

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

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

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

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

def ensuring(cond: Boolean): Var

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

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

final def isInstanceOf[T0]: Boolean

def mayBeNull: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val path: Tree

def propForEqualsTo(c: Const): TreesAndTypesDomain.Prop

def registerEquality(c: Const): Unit

def registerNull(): Unit

val staticTpCheckable: Type

lazy val symForStaticTp: Option[TreesAndTypesDomain.Sym]

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): (Var, B)

Shadowed Implicit Value Members

val self: Any

val self: Any

Deprecated Value Members

def x: Var

def x: Var

Inherited from TreesAndTypesDomain.AbsVar

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Var to StringAdd

Inherited by implicit conversion any2stringfmt from Var to StringFormat

Inherited by implicit conversion any2ArrowAssoc from Var to ArrowAssoc[Var]

Inherited by implicit conversion any2Ensuring from Var to Ensuring[Var]

Ungrouped