org.kiama.example.iswim.driver

SECD

class SECD extends SECDBase with ExceptionHandler with IntegerOps with BooleanOps with ConversionOps with IntComparisonOps with StackOps with RecordOps with HeapOps with IOOps with StringOps

Linear Supertypes
IOOps, HeapOps, RecordOps, StackOps, IntComparisonOps, ConversionOps, StringOps, BooleanOps, IntegerOps, ExceptionHandler, SECDBase, Machine, PrettyPrinter, PrettyPrinterBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SECD
  2. IOOps
  3. HeapOps
  4. RecordOps
  5. StackOps
  6. IntComparisonOps
  7. ConversionOps
  8. StringOps
  9. BooleanOps
  10. IntegerOps
  11. ExceptionHandler
  12. SECDBase
  13. Machine
  14. PrettyPrinter
  15. PrettyPrinterBase
  16. AnyRef
  17. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SECD(code: CodeTree)

Type Members

  1. abstract class BooleanValue extends Value

    Extra value types which come with this extension.

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

    Closure values

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

    Definition Classes
    SECDBase

  4. trait Continuation extends AnyRef

    Continuation values

  5. class Doc extends ((output.PrettyPrinter.Indent, output.PrettyPrinter.Width)) ⇒ ((Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ output.PrettyPrinter.Layout) ⇒ (Int) ⇒ output.PrettyPrinter.Layout)]) ⇒ (Int) ⇒ output.PrettyPrinter.Layout) ⇒ (Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ output.PrettyPrinter.Layout) ⇒ (Int) ⇒ output.PrettyPrinter.Layout)]) ⇒ (Int) ⇒ output.PrettyPrinter.Layout with output.PrettyPrinter.DocOps

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  6. trait DocOps extends AnyRef

    Definition Classes
    PrettyPrinterBase

  7. type Dump = Continuation

    Definition Classes
    SECDBase

  8. type Environment = Map[Name, Value]

    Type alias for environments, stacks and so forth

    Type alias for environments, stacks and so forth

    Definition Classes
    SECDBase

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

    Extra value types which come with this extension.

  10. type Handler = Continuation

    Type alias for the type of the exception handler register

    Type alias for the type of the exception handler register

    Definition Classes
    ExceptionHandler

  11. type Indent = Int

    Definition Classes
    PrettyPrinterBase

  12. case class IntValue(n: Int) extends Value with Product with Serializable

    Extra value types which come with this extension.

  13. type Layout = String

    Definition Classes
    PrettyPrinterBase

  14. class ParamState[T, U] extends State[HashMap[T, U]]

    Definition Classes
    Machine

  15. class ParamUpdate[T, U] extends Update

    Definition Classes
    Machine

  16. class ParamUpdater[T, U] extends AnyRef

    Definition Classes
    Machine

  17. trait PrettyPrintable extends AnyRef

    Definition Classes
    PrettyPrinterBase

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

    Primitives - values which contain simple code segments.

  19. case class RecordValue(flds: List[Value]) extends Value with Product with Serializable

    Extra value types which come with this extension.

  20. case class RefValue() extends Value with Product with Serializable

    Extra value types which come with this extension.

  21. class ScalarUpdate[T] extends Update

    Definition Classes
    Machine

  22. type Stack = List[Value]

    Definition Classes
    SECDBase

  23. class State[T] extends AnyRef

    Definition Classes
    Machine

  24. case class StringValue(s: String) extends Value with Product with Serializable

    Extra value types which come with this extension.

  25. abstract class Update extends AnyRef

    Definition Classes
    Machine

  26. case class UserExceptionValue(m: String) extends ExceptionValue with Product with Serializable

    Definition Classes
    StringOps

  27. type Width = Int

    Definition Classes
    PrettyPrinterBase

Value Members

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

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object EmptyCont extends Continuation with Product with Serializable

    Definition Classes
    SECDBase

  7. object EmptyValue extends Value with Product with Serializable

    Base machine value types Null value

  8. object FalseValue extends BooleanValue with Product with Serializable

    Definition Classes
    BooleanOps

  9. object TrueValue extends BooleanValue with Product with Serializable

    Definition Classes
    BooleanOps

  10. def angles(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  11. def any(a: Any): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  13. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  14. def backslash: Doc

    Definition Classes
    PrettyPrinterBase

  15. def braces(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  16. def brackets(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  19. def clone(): AnyRef

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

  20. def colon: Doc

    Definition Classes
    PrettyPrinterBase

  21. def comma: Doc

    Definition Classes
    PrettyPrinterBase

  22. lazy val control: State[Code] { def toDoc: SECD.this.Doc }

    Definition Classes
    SECDBase

  23. def debug: Boolean

    Definition Classes
    Machine

  24. val defaultIndent: Int

    Definition Classes
    PrettyPrinterBase

  25. val defaultWidth: Int

    Definition Classes
    PrettyPrinterBase

  26. def dot: Doc

    Definition Classes
    PrettyPrinterBase

  27. def dquote: Doc

    Definition Classes
    PrettyPrinterBase

  28. def dquotes(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  29. lazy val dump: State[Dump]

    Definition Classes
    SECDBase

  30. def empty: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  32. lazy val envir: State[Environment] { def toDoc: SECD.this.Doc }

    Definition Classes
    SECDBase

  33. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  34. def equal: Doc

    Definition Classes
    PrettyPrinterBase

  35. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  36. def evalInst: ==>[Code, Unit]

    Extend the partial function to evaluate a single instruction to handle our new instructions.

    Extend the partial function to evaluate a single instruction to handle our new instructions.

    Definition Classes
    IOOps → StringOps → SECDBase

  37. var execSrcPos: Position

    Rule to execute one step of this machine.

    Rule to execute one step of this machine.

    Attributes
    protected
    Definition Classes
    SECDBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  41. def finalize(): Unit

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

  42. def finit: Unit

    Definition Classes
    Machine

  43. def forwslash: Doc

    Definition Classes
    PrettyPrinterBase

  44. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  45. def group(d: Doc): Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  46. lazy val handler: State[Handler]

    The extra exception handler register.

    The extra exception handler register.

    Definition Classes
    ExceptionHandler

  47. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  51. def init(): Unit

    Initialise the machine.

    Initialise the machine.

    Definition Classes
    SECD → Machine

  52. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  53. def langle: Doc

    Definition Classes
    PrettyPrinterBase

  54. def lbrace: Doc

    Definition Classes
    PrettyPrinterBase

  55. def lbracket: Doc

    Definition Classes
    PrettyPrinterBase

  56. def line: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  57. def linebreak: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  59. def lparen: Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  63. def main(): Unit

    Definition Classes
    SECDBase → Machine

  64. val name: String

    Definition Classes
    Machine

  65. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  67. final def notify(): Unit

    Definition Classes
    AnyRef

  68. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Machine

  70. def parens(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  71. def performUpdates: Boolean

    Definition Classes
    Machine

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  74. def pretty(p: PrettyPrintable): Layout

    Definition Classes
    PrettyPrinterBase

  75. def pretty_any(a: Any): Layout

    Definition Classes
    PrettyPrinterBase

  76. 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.

    Definition Classes
    SECD → SECDBase

  77. def raiseException(ex: ExceptionValue): Unit

    Raise a machine exception

    Raise a machine exception

    This handler throws the exception given as its argument to the continuation currently stored in the exception handler register.

    Definition Classes
    ExceptionHandler → SECDBase

  78. def rangle: Doc

    Definition Classes
    PrettyPrinterBase

  79. def rbrace: Doc

    Definition Classes
    PrettyPrinterBase

  80. def rbracket: Doc

    Definition Classes
    PrettyPrinterBase

  81. def reset: Unit

    Definition Classes
    Machine

  82. def rparen: Doc

    Definition Classes
    PrettyPrinterBase

  83. def run: Unit

    Definition Classes
    Machine

  84. def semi: Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  86. def softbreak: Doc

    Definition Classes
    PrettyPrinterBase

  87. def softline: Doc

    Definition Classes
    PrettyPrinterBase

  88. def space: Doc

    Definition Classes
    PrettyPrinterBase

  89. def spaces(n: Int): Doc

    Definition Classes
    PrettyPrinterBase

  90. def squote: Doc

    Definition Classes
    PrettyPrinterBase

  91. def squotes(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  93. lazy val stack: State[Stack] { def toDoc: SECD.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.

    Definition Classes
    SECDBase

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

    Definition Classes
    Machine

  95. def step: Boolean

    Definition Classes
    Machine

  96. def steps: Unit

    Definition Classes
    Machine

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

    Definition Classes
    PrettyPrinterBase

  98. def string(s: String): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  100. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

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

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  102. def toString(): String

    Definition Classes
    AnyRef → Any

  103. def value(v: Any): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  107. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  109. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def product(p: Any): Doc

    Definition Classes
    PrettyPrinterBase
    Annotations
    @deprecated
    Deprecated

    (Since version 1.2.1) Use PrettyPrinter.any instead.

Inherited from IOOps

Inherited from HeapOps

Inherited from RecordOps

Inherited from StackOps

Inherited from IntComparisonOps

Inherited from ConversionOps

Inherited from StringOps

Inherited from BooleanOps

Inherited from IntegerOps

Inherited from ExceptionHandler

Inherited from SECDBase

Inherited from Machine

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any

No Group