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

ControlError

case class ControlError(err: SemanticError) extends Control with Product with Serializable

Or an error component, in case an error is reached (e.g., incorrect number of arguments in a function call)

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

Value Members

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