org.kiama.example.iswim.tests

CodeGeneratorTests

class CodeGeneratorTests extends Tests with CodeGenerator with SemanticAnalysis with Parser

Annotations
@RunWith()
Linear Supertypes
Parser, PackratParsers, JavaTokenParsers, RegexParsers, Parsers, SemanticAnalysis, CodeGenerator, Tests, FunSuite, Suite, Serializable, AbstractSuite, Assertions, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. CodeGeneratorTests
  2. Parser
  3. PackratParsers
  4. JavaTokenParsers
  5. RegexParsers
  6. Parsers
  7. SemanticAnalysis
  8. CodeGenerator
  9. Tests
  10. FunSuite
  11. Suite
  12. Serializable
  13. AbstractSuite
  14. Assertions
  15. AnyRef
  16. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CodeGeneratorTests ()

Type Members

  1. type ?0

    Attributes
    abstract
    Definition Classes
    Suite

  2. type Elem = Char

    Definition Classes
    RegexParsers → Parsers

  3. type Input = Reader[Elem]

    Definition Classes
    Parsers

  4. case class Pos (s: String) extends Positional with Product with Serializable

  5. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  6. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  7. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  8. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  9. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  10. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  11. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  12. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  13. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  14. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  15. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  16. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  17. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  18. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  19. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  20. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  21. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  22. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

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 FocusTest extends Tag

    A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time.

  7. def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Definition Classes
    Parsers

  8. def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

    Definition Classes
    Parsers

  9. def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers

  10. def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers

  11. implicit def accept (e: Elem): Parser[Elem]

    Attributes
    implicit
    Definition Classes
    Parsers

  12. def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Definition Classes
    Parsers

  13. def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers

  14. def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers

  15. lazy val applic : PackratParser[Expr]

    Definition Classes
    Parser

  16. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  17. def assert (o: Option[String]): Unit

    Definition Classes
    Assertions

  18. def assert (o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions

  19. def assert (condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions

  20. def assert (condition: Boolean): Unit

    Definition Classes
    Assertions

  21. def assertMessage (index: Int, line: Int, column: Int, msg: String): Unit

    Assert that a message was produced at a given position.

    Assert that a message was produced at a given position.

    Definition Classes
    Tests

  22. def bindexpr (rhsexpr: PackratParser[Expr]): PackratParser[Binding]

    Parse let and letrec expressions

    Parse let and letrec expressions

    Definition Classes
    Parser

  23. lazy val blockexpr : PackratParser[Expr]

    Parse code blocks

    Parse code blocks

    Definition Classes
    Parser

  24. lazy val callccexpr : PackratParser[Expr]

    Continuation handling.

    Continuation handling.

    Definition Classes
    Parser

  25. def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  26. def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  27. def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers

  28. def clone (): AnyRef

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

  29. val code : (Iswim) ⇒ CodeTree

    The following attribute contains the SECD bytecode generated from the ISWIM syntax node it is attached to.

    The following attribute contains the SECD bytecode generated from the ISWIM syntax node it is attached to.

    Definition Classes
    CodeGenerator

  30. def commit [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  31. implicit def convertToEqualizer (left: Any): Equalizer

    Attributes
    implicit
    Definition Classes
    Assertions

  32. def decimalNumber : Parser[String]

    Definition Classes
    JavaTokenParsers

  33. def elem (e: Elem): Parser[Elem]

    Definition Classes
    Parsers

  34. def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers

  35. lazy val emptyexpr : PackratParser[Expr]

    Parse tuple / record expressions

    Parse tuple / record expressions

    Definition Classes
    Parser

  36. val envir : (Iswim) ⇒ Map[Variable, Iswim]

    Simple name analysis - using an environment All we need to do here is check that at use sites all variables have been bound by an enclosing let, letrec or function parameter.

    Simple name analysis - using an environment All we need to do here is check that at use sites all variables have been bound by an enclosing let, letrec or function parameter.

    Definition Classes
    SemanticAnalysis

  37. val envirOut : (Iswim) ⇒ Map[Variable, Iswim]

    Definition Classes
    SemanticAnalysis

  38. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  39. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  40. def err (msg: String): Parser[Nothing]

    Definition Classes
    Parsers

  41. def execute (testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Attributes
    final
    Definition Classes
    Suite

  42. def expect (expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions

  43. def expect (expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions

  44. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  45. def expectnotsame (expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests

  46. def expectsame (expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests

  47. lazy val expr : PackratParser[Expr]

    Definition Classes
    Parser

  48. lazy val exprstmt : PackratParser[Stmt]

    Definition Classes
    Parser

  49. lazy val factor : PackratParser[Expr]

    Definition Classes
    Parser

  50. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

  51. def fail (message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions

  52. def fail (message: String): Nothing

    Definition Classes
    Assertions

  53. def fail (): Nothing

    Definition Classes
    Assertions

  54. def failure (msg: String): Parser[Nothing]

    Definition Classes
    Parsers

  55. def finalize (): Unit

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

  56. def floatingPointNumber : Parser[String]

    Definition Classes
    JavaTokenParsers

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  58. def guard [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  59. def handleWhiteSpace (source: CharSequence, offset: Int): Int

    Override handleWhiteSpace to ensure it handles comments appropriately.

    Override handleWhiteSpace to ensure it handles comments appropriately. Simply using a whiteSpace regex to recognise comments doesn't work with very long comments - which appear to make Java's regex implementation fail.

    Attributes
    protected
    Definition Classes
    Parser → RegexParsers

  60. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  61. def ident : Parser[String]

    Definition Classes
    JavaTokenParsers

  62. lazy val identRegex : Regex

    Definition Classes
    Parser

  63. lazy val ifelseexpr : PackratParser[Expr]

    Parse if .

    Parse if ... then ... else ...

    Definition Classes
    Parser

  64. def ignore (testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  65. lazy val importstmt : PackratParser[Stmt]

    Definition Classes
    Parser

  66. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  67. lazy val intRegex : Regex

    Definition Classes
    Parser

  68. def intercept [T <: AnyRef] (f: ⇒ Any)(implicit manifest: Manifest[T]): T

    Definition Classes
    Assertions

  69. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  70. val isSemanticallyCorrect : (Iswim) ⇒ Boolean

    Definition Classes
    SemanticAnalysis

  71. def keyword (k: String): Parser[Pos]

    Definition Classes
    Parser

  72. lazy val lambdaexpr : PackratParser[Expr]

    Parse lambda (fun) expressions

    Parse lambda (fun) expressions

    Definition Classes
    Parser

  73. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers

  74. lazy val letexpr : PackratParser[Expr]

    Definition Classes
    Parser

  75. lazy val letrecexpr : PackratParser[Expr]

    Definition Classes
    Parser

  76. lazy val letrecstmt : PackratParser[Stmt]

    Definition Classes
    Parser

  77. lazy val letstmt : PackratParser[Stmt]

    Parse toplevel statements

    Parse toplevel statements

    Definition Classes
    Parser

  78. lazy val liter : Parser[Expr]

    Literals, identifiers, keywords and other atomic phrases

    Literals, identifiers, keywords and other atomic phrases

    Definition Classes
    Parser

  79. implicit def literal (s: String): Parser[String]

    Attributes
    implicit
    Definition Classes
    RegexParsers

  80. def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers

  81. lazy val matchclause : PackratParser[MatchClause]

    Definition Classes
    Parser

  82. lazy val matchexpr : PackratParser[Expr]

    Definition Classes
    Parser

  83. def memo [T] (p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers

  84. def mkList [T] : (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers

  85. lazy val mkrefexpr : PackratParser[Expr]

    Definition Classes
    Parser

  86. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  87. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

  88. def not [T] (p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers

  89. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  90. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  91. def operator (op: String): Parser[Pos]

    Definition Classes
    Parser

  92. def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers

  93. lazy val parenexpr : PackratParser[Expr]

    Precedence based infix expression parsers.

    Precedence based infix expression parsers. Ordered from highest to lowest precedence.

    Definition Classes
    Parser

  94. def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  95. def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  96. def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  97. def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  98. def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  99. def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  100. implicit def parser2packrat [T] (p: ⇒ Parser[T]): PackratParser[T]

    Attributes
    implicit
    Definition Classes
    PackratParsers

  101. lazy val pattern : PackratParser[(Pos, List[Variable])]

    Definition Classes
    Parser

  102. def pending : PendingNothing

    Definition Classes
    Suite

  103. def pendingUntilFixed (f: ⇒ Unit): Unit

    Definition Classes
    Suite

  104. def phrase [T] (p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers

  105. def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers

  106. lazy val primstmt : PackratParser[Stmt]

    Primitives

    Primitives

    Definition Classes
    Parser

  107. implicit def regex (r: Regex): Parser[String]

    Attributes
    implicit
    Definition Classes
    RegexParsers

  108. def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  109. def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

  110. def rep1 [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  111. def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  112. def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  113. def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  114. val reserved : HashSet[String]

    Identifiers - keywords and names.

    Identifiers - keywords and names.

    Definition Classes
    Parser

  115. lazy val returnexpr : PackratParser[Expr]

    Parse return expressions

    Parse return expressions

    Definition Classes
    Parser

  116. def run (testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Definition Classes
    FunSuite → Suite → AbstractSuite

  117. def runNestedSuites (reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  118. def runTest (testName: String, reporter: Reporter, stopper: Stopper, configMap: Map[String, Any], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  119. def runTests (testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  120. def same (v1: Any, v2: Any): Boolean

    Compare two values.

    Compare two values. Use reference equality for references and value equality for non-references. If the values are both Some values, perform the check on the wrapped values.

    Definition Classes
    Tests

  121. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers

  122. lazy val start : PackratParser[IswimProg]

    Top level parsers

    Top level parsers

    Definition Classes
    Parser

  123. def stringLiteral : Parser[String]

    Definition Classes
    JavaTokenParsers

  124. def success [T] (v: T): Parser[T]

    Definition Classes
    Parsers

  125. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

  127. def tags : Map[String, Set[String]]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  128. lazy val term1 : PackratParser[Expr]

    Definition Classes
    Parser

  129. lazy val term2 : PackratParser[Expr]

    Definition Classes
    Parser

  130. lazy val term3 : PackratParser[Expr]

    Definition Classes
    Parser

  131. lazy val term4 : PackratParser[Expr]

    Definition Classes
    Parser

  132. def test (testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  133. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  134. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  135. lazy val throwtoexpr : PackratParser[Expr]

    Definition Classes
    Parser

  136. def toString (): String

    Definition Classes
    AnyRef → Any

  137. lazy val tupleexpr : PackratParser[Expr]

    Definition Classes
    Parser

  138. val unreachable : (MatchClause) ⇒ Boolean

    Check for match clauses which are unreachable because they are preceeded by a clauses which match any value.

    Check for match clauses which are unreachable because they are preceeded by a clauses which match any value.

    Definition Classes
    SemanticAnalysis

  139. lazy val valexpr : PackratParser[Expr]

    References.

    References.

    Definition Classes
    Parser

  140. lazy val variable : Parser[Variable]

    Definition Classes
    Parser

  141. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  143. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  144. lazy val whileexpr : PackratParser[Expr]

    Parse while expression

    Parse while expression

    Definition Classes
    Parser

  145. val whiteSpace : Regex

    Attributes
    protected
    Definition Classes
    RegexParsers

  146. def wholeNumber : Parser[String]

    Definition Classes
    JavaTokenParsers

  147. def withClue (clue: Any)(fun: ⇒ Unit): Unit

    Definition Classes
    Assertions

  148. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

Inherited from Parser

Inherited from PackratParsers

Inherited from JavaTokenParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from SemanticAnalysis

Inherited from CodeGenerator

Inherited from Tests

Inherited from FunSuite

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from AnyRef

Inherited from Any