org.kiama.example.iswim.secd

SECDBase

object SECDBase extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SECDBase
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. case class App () extends Instruction with Product with Serializable

  2. case class AppCC () extends Instruction with Product with Serializable

    Continuation handling

  3. case class BindPrims (nms: List[Name]) extends Instruction with Product with Serializable

  4. class ByteCode extends ByteCodeBase with Attributable with Positional

    Attributes
    abstract

  5. class ByteCodeBase extends PrettyPrintable

    Attributes
    abstract

  6. type Code = List[Instruction]

  7. case class CodeSegment (code: Code) extends ByteCode with Product with Serializable

  8. class CodeTree extends ByteCodeBase

    Code segments (sequences).

  9. case class Enter (nms: List[Name]) extends Instruction with Product with Serializable

  10. class ExceptionValue extends Value with Positional

    Exception types

  11. case class Exit () extends Instruction with Product with Serializable

  12. case class FunctionSpec (fn: Option[Name], pn: Name, bdy: CodeSegment) extends ByteCode with Product with Serializable

    Function closures and calls

  13. case class GetType () extends Instruction with Product with Serializable

    Get the type of the value on the top of the stack as an integer.

  14. class Instruction extends ByteCode

    Attributes
    abstract

  15. case class Lookup (nm: Name) extends Instruction with Product with Serializable

    Lookup named variable in the environment

  16. class MachineExceptionValue extends ExceptionValue

    Attributes
    abstract

  17. case class MkClosures (fss: List[FunctionSpec]) extends Instruction with Product with Serializable

  18. case class MkUserException () extends Instruction with Product with Serializable

    Make a new exception object from a string object and push it on the stack

  19. type Name = String

    Type aliases for code sequences and names

  20. case class PushEmpty () extends Instruction with Product with Serializable

    Push empty value / machine exception / type value onto the stack.

  21. case class PushMachineException (me: MachineExceptionValue) extends Instruction with Product with Serializable

  22. case class PushType (ty: TypeValue) extends Instruction with Product with Serializable

  23. case class RaiseException () extends Instruction with Product with Serializable

    Raise the exception on the top of the stack

  24. case class Resume () extends Instruction with Product with Serializable

  25. case class ResumeFromDump () extends Instruction with Product with Serializable

  26. case class TailApp () extends Instruction with Product with Serializable

  27. class TypeValue extends Value

    Type values

  28. class Value extends AnyRef

    Base class for SECD values.

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. object ClosureTypeValue extends TypeValue with Product with Serializable

  7. object CodeSegment extends Serializable

  8. object CodeTree extends AnyRef

  9. object ContTypeValue extends TypeValue with Product with Serializable

  10. object DumpEmpty extends MachineExceptionValue with Product with Serializable

  11. object EmptyTypeValue extends TypeValue with Product with Serializable

  12. object ExceptionTypeValue extends TypeValue with Product with Serializable

  13. object MalformedInstruction extends MachineExceptionValue with Product with Serializable

  14. object MatchError extends MachineExceptionValue with Product with Serializable

  15. object NonExistentPrimitive extends MachineExceptionValue with Product with Serializable

  16. object PrimTypeValue extends TypeValue with Product with Serializable

  17. object StackUnderflow extends MachineExceptionValue with Product with Serializable

  18. object TypeError extends MachineExceptionValue with Product with Serializable

  19. object TypeTypeValue extends TypeValue with Product with Serializable

  20. object UnboundVariable extends MachineExceptionValue with Product with Serializable

  21. object UnexpectedExit extends MachineExceptionValue with Product with Serializable

  22. object UnexpectedTermination extends MachineExceptionValue with Product with Serializable

  23. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  24. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  25. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  26. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  28. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  29. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  30. val instNumber : (ByteCode) ⇒ Int

    Attribute mechanism for automatically numbering bytecode instructions

  31. implicit def instToCodeTree (inst: Instruction): CodeTree

    Attributes
    implicit
    Annotations
    @inline()

  32. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  33. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  34. val nextInstNumber : (ByteCode) ⇒ Int

  35. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  36. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  37. def positionBlock [T] (newPos: Position)(code: ⇒ T): T

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

    Attributes
    final
    Definition Classes
    AnyRef

  39. implicit def toCodeSegment (bcb: ByteCodeBase): CodeSegment

    Attributes
    implicit
    Annotations
    @inline()

  40. def toString (): String

    Definition Classes
    AnyRef → Any

  41. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  42. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  43. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any