Packages

c

be.opimedia.scala_par_am

MakeSchemeLattice

class MakeSchemeLattice[S, B, I, F, C, Sym] extends SchemeLattice

Linear Supertypes
SchemeLattice, AnyRef, Any
Known Subclasses
ConcreteLattice, ConstantPropagationLattice, TypeLattice, BoundedIntLattice
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MakeSchemeLattice
  2. SchemeLattice
  3. AnyRef
  4. 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

Instance Constructors

  1. new MakeSchemeLattice(supportsCounting: Boolean)(implicit arg0: StringLattice[S], arg1: BoolLattice[B], arg2: IntLattice[I], arg3: RealLattice[F], arg4: CharLattice[C], arg5: SymbolLattice[Sym])

Type Members

  1. case class Bool(b: B) extends Value with Product with Serializable
  2. case class CannotJoin[Abs](values: Set[Abs]) extends Exception with Product with Serializable
  3. case class Char(c: C) extends Value with Product with Serializable
  4. case class Closure[Exp, Addr](lambda: Exp, env: Environment[Addr])(implicit evidence$9: Expression[Exp], evidence$10: Address[Addr]) extends Value with Product with Serializable
  5. case class Cons[Addr](car: Addr, cdr: Addr)(implicit evidence$11: Address[Addr]) extends Value with Product with Serializable
  6. case class Element(v: Value) extends L with Product with Serializable
  7. case class Elements(vs: Set[Value]) extends L with Product with Serializable
  8. case class Int(i: I) extends Value with Product with Serializable
  9. sealed trait L extends AnyRef
  10. case class Prim[Addr, Abs](prim: Primitive[Addr, Abs])(implicit evidence$7: Address[Addr], evidence$8: JoinLattice[Abs]) extends Value with Product with Serializable
  11. case class Real(f: F) extends Value with Product with Serializable
  12. case class Str(s: S) extends Value with Product with Serializable
  13. case class Symbol(s: Sym) extends Value with Product with Serializable
  14. sealed trait Value extends AnyRef
  15. case class Vec[Addr](size: I, elements: Map[I, Addr], init: Addr)(implicit evidence$12: Address[Addr]) extends Value with Product with Serializable
  16. case class VectorAddress[Addr](a: Addr)(implicit evidence$13: Address[Addr]) extends Value with Product with Serializable

Value Members

  1. val False: Bool
  2. val True: Bool
  3. val boolAndMonoid: Monoid[Boolean]
  4. val boolOrMonoid: Monoid[Boolean]
  5. val isSchemeLattice: IsSchemeLattice[L] { ... /* 2 definitions in type refinement */ }
    Definition Classes
    MakeSchemeLattice → SchemeLattice
  6. val isSchemeLatticeValue: IsSchemeLattice[Value]
  7. implicit val lsetMonoid: Monoid[L]
  8. implicit def mayFailMonoid[A](implicit monoid: Monoid[A]): Monoid[MayFail[A]]
  9. implicit def setMonoid[A]: Monoid[Set[A]]
  10. object Bot extends Value with Product with Serializable
  11. object L
  12. object Nil extends Value with Product with Serializable