org.kiama.example.RISC

RISC

class RISC extends Machine

Abstract state machine simulation of a simple RISC architecture. Run the given code, reading input from console and emitting output using emitter.

Linear Supertypes
Machine, PrettyPrinter, PrettyPrinterBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. RISC
  2. Machine
  3. PrettyPrinter
  4. PrettyPrinterBase
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new RISC(code: Code, console: Console, emitter: Emitter)

Type Members

  1. type Indent = Int

    Definition Classes
    PrettyPrinterBase

  2. type Layout = String

    Definition Classes
    PrettyPrinterBase

  3. type Width = Int

    Definition Classes
    PrettyPrinterBase

  4. type Word = Int

    Words are 32-bits long.

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. val FP: ParamUpdater[RegNo, Int]

  7. val LNK: ParamUpdater[RegNo, Int]

  8. val Mem: ParamState[Int, Int]

    Byte addressed store of words.

  9. val N: State[Boolean]

    Condition code: less than.

  10. val PC: ParamUpdater[RegNo, Int]

    Names for special registers.

  11. val R: ParamState[RegNo, Int]

    Integer register file addressed by 0-31.

  12. val SP: ParamUpdater[RegNo, Int]

  13. val Z: State[Boolean]

    Condition code: zero.

  14. def angles(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  16. def arithmetic(instr: Instr): Unit

    Execute arithmetic instructions.

  17. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  18. def backslash: Doc

    Definition Classes
    PrettyPrinterBase

  19. def braces(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  20. def brackets(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  23. def clone(): AnyRef

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

  24. def colon: Doc

    Definition Classes
    PrettyPrinterBase

  25. def comma: Doc

    Definition Classes
    PrettyPrinterBase

  26. def control(instr: Instr): Unit

    Execute control instructions, including default control step.

  27. def debug(): Boolean

    Debug flag.

    Debug flag. Set this to true in sub-classes or objects to obtain tracing information during execution of the machine.

    Definition Classes
    RISC → Machine

  28. val defaultIndent: Int

    Definition Classes
    PrettyPrinterBase

  29. val defaultWidth: Int

    Definition Classes
    PrettyPrinterBase

  30. def dot: Doc

    Definition Classes
    PrettyPrinterBase

  31. def dquote: Doc

    Definition Classes
    PrettyPrinterBase

  32. def dquotes(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  33. def empty: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    AnyRef

  36. def equal: Doc

    Definition Classes
    PrettyPrinterBase

  37. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  38. def execute(instr: Instr): Unit

    Execute a single instruction.

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  42. def finalize(): Unit

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

  43. def finit: Unit

    Definition Classes
    Machine

  44. def forwslash: Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    AnyRef → Any

  46. def group(d: Doc): Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  47. val halt: State[Boolean]

    Halt flag.

    Halt flag. True if the machine should stop executing, false otherwise.

  48. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  52. def init: Unit

    Initialise the machine.

    Initialise the machine.

    Definition Classes
    RISC → Machine

  53. def inputoutput(instr: Instr): Unit

    Execute input/output instructions.

  54. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  55. def langle: Doc

    Definition Classes
    PrettyPrinterBase

  56. def lbrace: Doc

    Definition Classes
    PrettyPrinterBase

  57. def lbracket: Doc

    Definition Classes
    PrettyPrinterBase

  58. def line: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  59. def linebreak: Doc

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  61. def lparen: Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  65. def main: Unit

    The main rule of this machine.

    The main rule of this machine.

    Definition Classes
    RISC → Machine

  66. def memory(instr: Instr): Unit

    Execute memory instructions.

  67. val name: String

    Definition Classes
    Machine

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

    Definition Classes
    AnyRef

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

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  70. final def notify(): Unit

    Definition Classes
    AnyRef

  71. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Machine

  73. def parens(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

  74. def performUpdates: Boolean

    Definition Classes
    Machine

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

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinter → PrettyPrinterBase

  77. def pretty(p: PrettyPrintable): Layout

    Definition Classes
    PrettyPrinterBase

  78. def product(p: Any): Doc

    Definition Classes
    PrettyPrinterBase

  79. def rangle: Doc

    Definition Classes
    PrettyPrinterBase

  80. def rbrace: Doc

    Definition Classes
    PrettyPrinterBase

  81. def rbracket: Doc

    Definition Classes
    PrettyPrinterBase

  82. def reset: Unit

    Definition Classes
    Machine

  83. def rparen: Doc

    Definition Classes
    PrettyPrinterBase

  84. def run: Unit

    Definition Classes
    Machine

  85. def semi: Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  87. def softbreak: Doc

    Definition Classes
    PrettyPrinterBase

  88. def softline: Doc

    Definition Classes
    PrettyPrinterBase

  89. def space: Doc

    Definition Classes
    PrettyPrinterBase

  90. def spaces(n: Int): Doc

    Definition Classes
    PrettyPrinterBase

  91. def squote: Doc

    Definition Classes
    PrettyPrinterBase

  92. def squotes(d: Doc): Doc

    Definition Classes
    PrettyPrinterBase

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

    Definition Classes
    PrettyPrinterBase

  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()

Inherited from Machine

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any