Packages

trait Address[A] extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Address
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def allocationSite[Exp](a: A)(implicit arg0: Expression[Exp]): Option[Either[Position, Position]]
  2. abstract def cell[Exp, Time](exp: Exp, t: Time)(implicit arg0: Expression[Exp], arg1: Timestamp[Time]): A
  3. abstract def isPrimitive(x: A): Boolean
  4. abstract def name: String
  5. abstract def primitive(name: String): A
  6. abstract def variable[Time, Abs](id: Identifier, value: Abs, t: Time)(implicit arg0: Timestamp[Time], arg1: JoinLattice[Abs]): A

Concrete Value Members

  1. def botAddress: A