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

trait Control extends AnyRef

The control component of the machine

Linear Supertypes
AnyRef, Any
Known Subclasses
ControlError, ControlEval, ControlKont
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Control
  2. AnyRef
  3. 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

Abstract Value Members

  1. abstract def subsumes(that: Control): Boolean

Concrete Value Members

  1. def ++(other: JValue): JValue
    Implicit
    This member is added by an implicit conversion from Control 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 Control 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 Control 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 Control 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 Control 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 Control 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 Control 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 Control 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 Control to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    Product
  10. def toOption: Option[JValue]
    Implicit
    This member is added by an implicit conversion from Control to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  11. def toSome: Option[JValue]
    Implicit
    This member is added by an implicit conversion from Control to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue
  12. def values: Values
    Implicit
    This member is added by an implicit conversion from Control to JValue performed by method controlToJSON in EvalKontMachine.Control.
    Definition Classes
    JValue