org.kiama.example.iswim.secd

SECDBase

class SECDBase extends Machine

The basic SECD machine implementation

This only implements the bare bones of an operating SECD machine. In particular it does not provide any primitive builtin functions for operating on data values such as strings and integers. You can add these using traits to implement each one in a stackable manner.

Attributes
abstract
Linear Supertypes
Machine, PrettyPrinter, PrettyPrinterBase, AnyRef, Any
Known Subclasses
BooleanOps, ConversionOps, ExceptionHandler, HeapOps, IOOps, IntComparisonOps, IntegerOps, RecordOps, SECD, StackOps, StringOps
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SECDBase
  2. Machine
  3. PrettyPrinter
  4. PrettyPrinterBase
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SECDBase ()

Type Members

  1. case class ClosureValue (pn: Name, bdy: Code, envir: Environment) extends Value with Product with Serializable

    Closure values

  2. case class ContValue (s: Stack, e: Environment, c: Code, d: Dump) extends Value with Continuation with Product with Serializable

  3. trait Continuation extends AnyRef

    Continuation values

  4. type Dump = Continuation

  5. type Environment = Map[Name, Value]

    Type alias for environments, stacks and so forth

  6. type Indent = Int

    Definition Classes
    PrettyPrinterBase

  7. type Layout = String

    Definition Classes
    PrettyPrinterBase

  8. case class PrimValue (bdy: Code) extends Value with Product with Serializable

    Primitives - values which contain simple code segments.

  9. type Stack = List[Value]

  10. type Width = Int

    Definition Classes
    PrettyPrinterBase

Abstract Value Members

  1. def primTable : Map[Name, Value]

    Table of builtin primitives for this machine.

    Table of builtin primitives for this machine. These named values may be loaded into the environment using the BindPrims(nms) bytecode.

    Attributes
    abstract

Concrete 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 EmptyCont extends Continuation with Product with Serializable

  7. object EmptyValue extends Value with Product with Serializable

    Base machine value types Null value

  8. def angles (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  9. implicit def anyToPrettyPrintable (a: Any): PrettyPrintable

    Attributes
    implicit
    Definition Classes
    PrettyPrinterBase

  10. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  11. def backslash : Doc

    Definition Classes
    PrettyPrinterBase

  12. def braces (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  13. def brackets (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  14. def cat (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  15. implicit def char (c: Char): Doc

    Attributes
    implicit
    Definition Classes
    PrettyPrinterBase

  16. def clone (): AnyRef

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

  17. def colon : Doc

    Definition Classes
    PrettyPrinterBase

  18. def comma : Doc

    Definition Classes
    PrettyPrinterBase

  19. lazy val control : State[Code] { def toDoc: SECDBase.this.Doc }

  20. def debug : Boolean

    Definition Classes
    Machine

  21. val defaultIndent : Int

    Definition Classes
    PrettyPrinterBase

  22. val defaultWidth : Int

    Definition Classes
    PrettyPrinterBase

  23. def dot : Doc

    Definition Classes
    PrettyPrinterBase

  24. def dquote : Doc

    Definition Classes
    PrettyPrinterBase

  25. def dquotes (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  26. lazy val dump : State[Dump]

  27. def empty : Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  28. def enclose (l: Doc, d: Doc, r: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  29. lazy val envir : State[Environment] { def toDoc: SECDBase.this.Doc }

  30. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  31. def equal : Doc

    Definition Classes
    PrettyPrinterBase

  32. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  33. def evalInst : $eq$eq$greater[Code, Unit]

    Evaluate a single instruction.

    Evaluate a single instruction.

    We implement this as a partial function, which may be overridden in traits in order to compose on handlers for new bytecode instructions (using orElse composition).

  34. var execSrcPos : Position

    Rule to execute one step of this machine.

    Rule to execute one step of this machine.

    Attributes
    protected

  35. def fillcat (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  36. def fillsep (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  37. def fillsep (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  38. def finalize (): Unit

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

  39. def finit : Unit

    Definition Classes
    Machine

  40. def forwslash : Doc

    Definition Classes
    PrettyPrinterBase

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  42. def group (d: Doc): Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  43. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  44. def hcat (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  45. def hsep (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  46. def hsep (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  47. def init : Unit

    Definition Classes
    Machine

  48. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  49. def langle : Doc

    Definition Classes
    PrettyPrinterBase

  50. def lbrace : Doc

    Definition Classes
    PrettyPrinterBase

  51. def lbracket : Doc

    Definition Classes
    PrettyPrinterBase

  52. def line : Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  53. def linebreak : Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  54. def list [T] (l: List[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Definition Classes
    PrettyPrinterBase

  55. def lparen : Doc

    Definition Classes
    PrettyPrinterBase

  56. def lsep (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  57. def lsep2 (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  58. def lterm (ds: Seq[Doc], term: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  59. def main (): Unit

    Definition Classes
    SECDBase → Machine

  60. val name : String

    Definition Classes
    Machine

  61. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  62. def nest (d: Doc, j: Indent): Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  63. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  64. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  65. implicit def paramUpdaterToU [T, U, V >: U] (up: ParamUpdater[T, U]): V

    Attributes
    implicit
    Definition Classes
    Machine

  66. def parens (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  67. def performUpdates : Boolean

    Definition Classes
    Machine

  68. def plist (l: List[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Definition Classes
    PrettyPrinterBase

  69. def pretty (d: Doc, w: Width): Layout

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  70. def pretty (p: PrettyPrintable): Layout

    Definition Classes
    PrettyPrinterBase

  71. def product (p: Any): Doc

    Definition Classes
    PrettyPrinterBase

  72. def raiseException (ex: ExceptionValue): Unit

    Raise a machine exception

    Raise a machine exception

    This particular error handler assumes that the environment contains a binding of the name '@exnHandler' to a reference value containing a continuation. This continuation is resumed with the exception value passed to this function as its parameter.

    If '@exnHandler' is unbound in the environment or is bound to a value that is not a refernce to a continuation then this function reports a machine panic and stops the machine.

  73. def rangle : Doc

    Definition Classes
    PrettyPrinterBase

  74. def rbrace : Doc

    Definition Classes
    PrettyPrinterBase

  75. def rbracket : Doc

    Definition Classes
    PrettyPrinterBase

  76. def reset : Unit

    Definition Classes
    Machine

  77. def rparen : Doc

    Definition Classes
    PrettyPrinterBase

  78. def run : Unit

    Definition Classes
    Machine

  79. def semi : Doc

    Definition Classes
    PrettyPrinterBase

  80. def sep (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  81. def softbreak : Doc

    Definition Classes
    PrettyPrinterBase

  82. def softline : Doc

    Definition Classes
    PrettyPrinterBase

  83. def space : Doc

    Definition Classes
    PrettyPrinterBase

  84. def spaces (n: Int): Doc

    Definition Classes
    PrettyPrinterBase

  85. def squote : Doc

    Definition Classes
    PrettyPrinterBase

  86. def squotes (d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  87. def ssep (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  88. lazy val stack : State[Stack] { def toDoc: SECDBase.this.Doc }

    Machine registers

    Machine registers

    A little work is needed here to ensure that these registers are printed in a reasonable way when we turn on debugging.

  89. implicit def stateTToT [T, U >: T] (t: State[T]): U

    Attributes
    implicit
    Definition Classes
    Machine

  90. def step : Boolean

    Definition Classes
    Machine

  91. def steps : Unit

    Definition Classes
    Machine

  92. def sterm (ds: Seq[Doc], term: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  93. def string (s: String): Doc

    Definition Classes
    PrettyPrinterBase

  94. def surround (d: Doc, b: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Attributes
    final
    Definition Classes
    AnyRef

  96. implicit def text (t: String): Doc

    Attributes
    implicit
    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  97. def toString (): String

    Definition Classes
    AnyRef → Any

  98. def value (v: Any): Doc

    Definition Classes
    PrettyPrinterBase

  99. def vcat (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  100. def vsep (ds: Seq[Doc], sep: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  101. def vsep (ds: Seq[Doc]): Doc

    Definition Classes
    PrettyPrinterBase

  102. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  104. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Machine

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any