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

ControlKont

case class ControlKont(v: Abs) extends Control with Product with Serializable

Or it can be a continuation component, where a value has been reached and a continuation should be popped from the stack to continue the evaluation

Linear Supertypes
Serializable, Serializable, Product, Equals, Control, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ControlKont
  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 ControlKont(v: Abs)

Value Members

  1. def ++(other: JValue): JValue
    Implicit
    This member is added by an implicit conversion from ControlKont 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 ControlKont 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 ControlKont 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 ControlKont 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 ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Diffable
  6. def productArity: Int
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  7. def productElement(n: Int): Any
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  8. def productIterator: Iterator[Any]
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  9. def productPrefix: String
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  10. def subsumes(that: Control): Boolean
    Definition Classes
    ControlKont → Control
  11. def toOption: Option[JValue]
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  12. def toSome: Option[JValue]
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  13. def toString(): String
    Definition Classes
    ControlKont → AnyRef → Any
  14. val v: Abs
  15. def values: Values
    Implicit
    This member is added by an implicit conversion from ControlKont to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue