org.kiama.example.iswim.secd.ExceptionHandler

ExnContValue

case class ExnContValue (s: Stack, e: Environment, c: Code, d: Dump, h: Handler) extends Value with Continuation with Product with Serializable

Extra value types which come with this extension.

An extended continuation value. By replacing the implementation of all bytecodes which create and minipulate continuations we arrange for these to completely replace the standard continuation values of the basic machine.

This is probably a little type unsafe.... but OK for the moment.

Linear Supertypes
Serializable, Serializable, Product, Equals, Continuation, Value, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ExnContValue
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Continuation
  7. Value
  8. AnyRef
  9. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExnContValue (s: Stack, e: Environment, c: Code, d: Dump, h: Handler)

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  7. val c : Code

  8. def canEqual (arg0: Any): Boolean

    Definition Classes
    ExnContValue → Equals
  9. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. val d : Dump

  11. val e : Environment

  12. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  13. def equals (that: Any): Boolean

    Definition Classes
    ExnContValue → Equals → AnyRef → Any
  14. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  15. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  16. def getType : TypeValue

    Definition Classes
    ExnContValueValue
  17. val h : Handler

  18. def hashCode (): Int

    Definition Classes
    ExnContValue → AnyRef → Any
  19. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  20. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  21. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  22. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  23. def productArity : Int

    Definition Classes
    ExnContValue → Product
  24. def productElement (arg0: Int): Any

    Definition Classes
    ExnContValue → Product
  25. def productIterator : Iterator[Any]

    Definition Classes
    Product
  26. def productPrefix : String

    Definition Classes
    ExnContValue → Product
  27. val s : Stack

  28. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  29. def toString (): String

    Definition Classes
    ExnContValue → AnyRef → Any
  30. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  31. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  32. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Continuation

Inherited from Value

Inherited from AnyRef

Inherited from Any