org.kiama.example.iswim.tests

SemanticAnalysisTests

class SemanticAnalysisTests extends Tests with SemanticAnalysis with Parser

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

Instance Constructors

  1. new SemanticAnalysisTests()

Type Members

  1. abstract type ?0

    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. abstract type _$4

    Definition Classes
    PackratParsers
  6. abstract type _$4

    Definition Classes
    PackratParsers
  7. abstract type _$4

    Definition Classes
    PackratParsers
  8. abstract type _$5

    Definition Classes
    PackratParsers
  9. abstract type _$5

    Definition Classes
    PackratParsers
  10. abstract type _$5

    Definition Classes
    PackratParsers
  11. abstract type _$6

    Definition Classes
    PackratParsers
  12. abstract type _$6

    Definition Classes
    PackratParsers
  13. abstract type _$6

    Definition Classes
    PackratParsers
  14. abstract type _$7

    Definition Classes
    PackratParsers
  15. abstract type _$7

    Definition Classes
    PackratParsers
  16. abstract type _$7

    Definition Classes
    PackratParsers
  17. abstract type _$8

    Definition Classes
    PackratParsers
  18. abstract type _$8

    Definition Classes
    PackratParsers
  19. abstract type _$8

    Definition Classes
    PackratParsers
  20. abstract type _$9

    Definition Classes
    PackratParsers
  21. abstract type _$9

    Definition Classes
    PackratParsers
  22. abstract type _$9

    Definition Classes
    PackratParsers

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 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]

    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. final def asInstanceOf[T0]: T0

    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. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  30. implicit def convertToEqualizer(left: Any): Equalizer

    Definition Classes
    Assertions
  31. def decimalNumber: Parser[String]

    Definition Classes
    JavaTokenParsers
  32. def elem(e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  33. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers
  34. lazy val emptyexpr: PackratParser[Expr]

    Parse tuple / record expressions

    Parse tuple / record expressions

    Definition Classes
    Parser
  35. 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
  36. val envirOut: (Iswim) ⇒ Map[Variable, Iswim]

    Definition Classes
    SemanticAnalysis
  37. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  38. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  39. def err(msg: String): Parser[Nothing]

    Definition Classes
    Parsers
  40. final def execute(testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Definition Classes
    Suite
  41. def expect(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  42. def expect(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  43. def expectedTestCount(filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite
  44. 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
  45. 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
  46. lazy val expr: PackratParser[Expr]

    Definition Classes
    Parser
  47. lazy val exprstmt: PackratParser[Stmt]

    Definition Classes
    Parser
  48. lazy val factor: PackratParser[Expr]

    Definition Classes
    Parser
  49. def fail(cause: Throwable): Nothing

    Definition Classes
    Assertions
  50. def fail(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions
  51. def fail(message: String): Nothing

    Definition Classes
    Assertions
  52. def fail(): Nothing

    Definition Classes
    Assertions
  53. def failure(msg: String): Parser[Nothing]

    Definition Classes
    Parsers
  54. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  55. def floatingPointNumber: Parser[String]

    Definition Classes
    JavaTokenParsers
  56. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any
  57. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  58. 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
  59. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  60. def ident: Parser[String]

    Definition Classes
    JavaTokenParsers
  61. lazy val identRegex: Regex

    Definition Classes
    Parser
  62. lazy val ifelseexpr: PackratParser[Expr]

    Parse if .

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

    Definition Classes
    Parser
  63. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite
  64. lazy val importstmt: PackratParser[Stmt]

    Definition Classes
    Parser
  65. implicit def info: Informer

    Attributes
    protected
    Definition Classes
    FunSuite
  66. lazy val intRegex: Regex

    Definition Classes
    Parser
  67. def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

    Definition Classes
    Assertions
  68. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  69. val isSemanticallyCorrect: (Iswim) ⇒ Boolean

    Definition Classes
    SemanticAnalysis
  70. def keyword(k: String): Parser[Pos]

    Definition Classes
    Parser
  71. lazy val lambdaexpr: PackratParser[Expr]

    Parse lambda (fun) expressions

    Parse lambda (fun) expressions

    Definition Classes
    Parser
  72. var lastNoSuccess: NoSuccess

    Definition Classes
    Parsers
  73. lazy val letexpr: PackratParser[Expr]

    Definition Classes
    Parser
  74. lazy val letrecexpr: PackratParser[Expr]

    Definition Classes
    Parser
  75. lazy val letrecstmt: PackratParser[Stmt]

    Definition Classes
    Parser
  76. lazy val letstmt: PackratParser[Stmt]

    Parse toplevel statements

    Parse toplevel statements

    Definition Classes
    Parser
  77. lazy val liter: Parser[Expr]

    Literals, identifiers, keywords and other atomic phrases

    Literals, identifiers, keywords and other atomic phrases

    Definition Classes
    Parser
  78. implicit def literal(s: String): Parser[String]

    Definition Classes
    RegexParsers
  79. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers
  80. lazy val matchclause: PackratParser[MatchClause]

    Definition Classes
    Parser
  81. lazy val matchexpr: PackratParser[Expr]

    Definition Classes
    Parser
  82. def memo[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  83. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers
  84. lazy val mkrefexpr: PackratParser[Expr]

    Definition Classes
    Parser
  85. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  86. def nestedSuites: List[Suite]

    Definition Classes
    Suite → AbstractSuite
  87. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers
  88. final def notify(): Unit

    Definition Classes
    AnyRef
  89. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  90. def operator(op: String): Parser[Pos]

    Definition Classes
    Parser
  91. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers
  92. lazy val parenexpr: PackratParser[Expr]

    Precedence based infix expression parsers.

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

    Definition Classes
    Parser
  93. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  94. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  95. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  96. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  97. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

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

    Definition Classes
    RegexParsers
  99. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  100. lazy val pattern: PackratParser[(Pos, List[Variable])]

    Definition Classes
    Parser
  101. def pending: PendingNothing

    Definition Classes
    Suite
  102. def pendingUntilFixed(f: ⇒ Unit): Unit

    Definition Classes
    Suite
  103. def phrase[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers
  104. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers
  105. lazy val primstmt: PackratParser[Stmt]

    Primitives

    Primitives

    Definition Classes
    Parser
  106. implicit def regex(r: Regex): Parser[String]

    Definition Classes
    RegexParsers
  107. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  108. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

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

    Definition Classes
    Parsers
  110. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  111. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  112. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  113. val reserved: HashSet[String]

    Identifiers - keywords and names.

    Identifiers - keywords and names.

    Definition Classes
    Parser
  114. lazy val returnexpr: PackratParser[Expr]

    Parse return expressions

    Parse return expressions

    Definition Classes
    Parser
  115. 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
  116. def runNestedSuites(reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  117. def runTest(testName: String, reporter: Reporter, stopper: Stopper, configMap: Map[String, Any], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite
  118. 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
  119. 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
  120. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers
  121. lazy val start: PackratParser[IswimProg]

    Top level parsers

    Top level parsers

    Definition Classes
    Parser
  122. def stringLiteral: Parser[String]

    Definition Classes
    JavaTokenParsers
  123. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers
  124. def suiteName: String

    Definition Classes
    Suite
  125. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  126. def tags: Map[String, Set[String]]

    Definition Classes
    FunSuite → Suite → AbstractSuite
  127. lazy val term1: PackratParser[Expr]

    Definition Classes
    Parser
  128. lazy val term2: PackratParser[Expr]

    Definition Classes
    Parser
  129. lazy val term3: PackratParser[Expr]

    Definition Classes
    Parser
  130. lazy val term4: PackratParser[Expr]

    Definition Classes
    Parser
  131. def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite
  132. def testNames: Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite
  133. def testsFor(unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite
  134. lazy val throwtoexpr: PackratParser[Expr]

    Definition Classes
    Parser
  135. def toString(): String

    Definition Classes
    AnyRef → Any
  136. lazy val tupleexpr: PackratParser[Expr]

    Definition Classes
    Parser
  137. 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
  138. lazy val valexpr: PackratParser[Expr]

    References.

    References.

    Definition Classes
    Parser
  139. lazy val variable: Parser[Variable]

    Definition Classes
    Parser
  140. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  141. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  142. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  143. lazy val whileexpr: PackratParser[Expr]

    Parse while expression

    Parse while expression

    Definition Classes
    Parser
  144. val whiteSpace: Regex

    Attributes
    protected
    Definition Classes
    RegexParsers
  145. def wholeNumber: Parser[String]

    Definition Classes
    JavaTokenParsers
  146. def withClue(clue: Any)(fun: ⇒ Unit): Unit

    Definition Classes
    Assertions
  147. 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 Tests

Inherited from FunSuite

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from AnyRef

Inherited from Any