Packages

  • package root
    Definition Classes
    root
  • abstract class EvalKontMachine[Exp, Abs, Addr, Time] extends AbstractMachine[Exp, Abs, Addr, Time]

    Abstract machine with a control component that works in an eval-kont way: it can either be evaluating something, or have reached a value and will pop a continuation.

    Abstract machine with a control component that works in an eval-kont way: it can either be evaluating something, or have reached a value and will pop a continuation.

    Definition Classes
    root
  • Control
  • ControlError
  • ControlEval
  • ControlKont
  • Output
c

EvalKontMachine

ControlEval

case class ControlEval(exp: Exp, env: Environment[Addr]) extends Control with Product with Serializable

It can either be an eval component, where an expression needs to be evaluated in an environment

Linear Supertypes
Serializable, Serializable, Product, Equals, Control, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ControlEval
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Control
  7. AnyRef
  8. Any
Implicitly
  1. by controlToJSON
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ControlEval(exp: Exp, env: Environment[Addr])

Value Members

  1. def ++(other: JValue): JValue
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  2. def apply(i: Int): JValue
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  3. def canEqual(that: Any): Boolean
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Equals
  4. def children: List[JValue]
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  5. def diff(other: JValue): Diff
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Diffable
  6. val env: Environment[Addr]
  7. val exp: Exp
  8. def productArity: Int
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  9. def productElement(n: Int): Any
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  10. def productIterator: Iterator[Any]
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  11. def productPrefix: String
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  12. def subsumes(that: Control): Boolean
    Definition Classes
    ControlEval → Control
  13. def toOption: Option[JValue]
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  14. def toSome: Option[JValue]
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  15. def toString(): String
    Definition Classes
    ControlEval → AnyRef → Any
  16. def values: Values
    Implicit
    This member is added by an implicit conversion from ControlEval to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue