org.kiama.example.til

TIL2_2

trait TIL2_2 extends TIL1_1 with TransformingMain

Transform for loops into equivalent while loops.

Linear Supertypes
TransformingMain, TIL1_1, ParsingMain, ParserUtilities, PackratParsers, RegexParsers, Parsers, Main, Assertions, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. TIL2_2
  2. TransformingMain
  3. TIL1_1
  4. ParsingMain
  5. ParserUtilities
  6. PackratParsers
  7. RegexParsers
  8. Parsers
  9. Main
  10. Assertions
  11. AnyRef
  12. Any
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers
  2. type Input = Reader[Elem]

    Definition Classes
    Parsers
  3. type Root = Program

    The root type of the AST being processed.

    The root type of the AST being processed.

    Definition Classes
    TIL1_1ParsingMain
  4. abstract type _$4

    Definition Classes
    PackratParsers
  5. abstract type _$4

    Definition Classes
    PackratParsers
  6. abstract type _$4

    Definition Classes
    PackratParsers
  7. abstract type _$5

    Definition Classes
    PackratParsers
  8. abstract type _$5

    Definition Classes
    PackratParsers
  9. abstract type _$5

    Definition Classes
    PackratParsers
  10. abstract type _$6

    Definition Classes
    PackratParsers
  11. abstract type _$6

    Definition Classes
    PackratParsers
  12. abstract type _$6

    Definition Classes
    PackratParsers
  13. abstract type _$7

    Definition Classes
    PackratParsers
  14. abstract type _$7

    Definition Classes
    PackratParsers
  15. abstract type _$7

    Definition Classes
    PackratParsers
  16. abstract type _$8

    Definition Classes
    PackratParsers
  17. abstract type _$8

    Definition Classes
    PackratParsers
  18. abstract type _$8

    Definition Classes
    PackratParsers
  19. abstract type _$9

    Definition Classes
    PackratParsers
  20. abstract type _$9

    Definition Classes
    PackratParsers
  21. 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. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Definition Classes
    Parsers
  7. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

    Definition Classes
    Parsers
  8. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  9. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  10. implicit def accept(e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  11. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Definition Classes
    Parsers
  12. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  13. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  14. def any: PackratParser[Char]

    Definition Classes
    ParserUtilities
  15. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  16. def assert(o: Option[String]): Unit

    Definition Classes
    Assertions
  17. def assert(o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions
  18. def assert(condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions
  19. def assert(condition: Boolean): Unit

    Definition Classes
    Assertions
  20. lazy val assignment_statement: Parser[Assign]

    Definition Classes
    TIL1_1
  21. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  22. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  23. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers
  24. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  25. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  26. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Definition Classes
    ParserUtilities
  27. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

    Definition Classes
    ParserUtilities
  28. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

    Definition Classes
    ParserUtilities
  29. implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

    Definition Classes
    ParserUtilities
  30. implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

    Definition Classes
    ParserUtilities
  31. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities
  32. implicit def convertToEqualizer(left: Any): Equalizer

    Definition Classes
    Assertions
  33. lazy val declaration: Parser[Decl]

    Definition Classes
    TIL1_1
  34. def elem(e: Elem): Parser[Elem]

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

    Definition Classes
    Parsers
  36. final def eq(arg0: AnyRef): Boolean

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

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

    Definition Classes
    ParserUtilities → Parsers
  39. def expect(expected: Any)(actual: Any): Unit

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

    Definition Classes
    Assertions
  41. lazy val expression: PackratParser[Exp]

    Definition Classes
    TIL1_1
  42. lazy val factor: PackratParser[Exp]

    Definition Classes
    TIL1_1
  43. def fail(cause: Throwable): Nothing

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

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

    Definition Classes
    Assertions
  46. def fail(): Nothing

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

    Definition Classes
    ParserUtilities → Parsers
  48. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  49. lazy val for_statement: Parser[For]

    Definition Classes
    TIL1_1
  50. val fortowhile: Strategy

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

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

    Definition Classes
    Parsers
  53. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers
  54. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  55. lazy val identifier: Parser[Id]

    Definition Classes
    TIL1_1
  56. lazy val if_statement: Parser[Product with Serializable with Stat]

    Definition Classes
    TIL1_1
  57. lazy val integer: Parser[Num]

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

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

    Definition Classes
    Any
  60. lazy val keyword: Parser[String]

    Definition Classes
    TIL1_1
  61. var lastNoSuccess: NoSuccess

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

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

    Definition Classes
    Parsers
  64. def main(args: Array[String]): Unit

    Accept file name arguments and process them one-by-one by passing a reader on the file to process.

    Accept file name arguments and process them one-by-one by passing a reader on the file to process. The resulting value is printed.

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

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

    Definition Classes
    Parsers
  67. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  68. def not[T](p: ⇒ Parser[T]): Parser[Unit]

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

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

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

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

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

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

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

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

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

    Definition Classes
    RegexParsers
  78. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

    Definition Classes
    ParserUtilities
  79. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Definition Classes
    ParserUtilities
  80. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Definition Classes
    ParserUtilities
  81. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Definition Classes
    ParserUtilities
  82. implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

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

    Definition Classes
    PackratParsers
  84. def phrase[T](p: Parser[T]): PackratParser[T]

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

    Definition Classes
    RegexParsers → Parsers
  86. lazy val primary: PackratParser[Exp]

    Definition Classes
    TIL1_1
  87. def process(reader: Reader): Any

    Process the file given by the argument reader by parsing it, transforming it and returning the resulting AST.

    Process the file given by the argument reader by parsing it, transforming it and returning the resulting AST.

    Definition Classes
    TransformingMainParsingMainMain
  88. lazy val program: Parser[Program]

    Definition Classes
    TIL1_1
  89. lazy val read_statement: Parser[Read]

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

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

    Definition Classes
    Parsers
  92. 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.

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

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

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

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

    Definition Classes
    Parsers
  97. def result[T](v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities
  98. def runtest[T](str: String, result: T): Unit

    Try to process a string and expect a given result.

    Try to process a string and expect a given result.

    Definition Classes
    Main
  99. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers
  100. lazy val start: Parser[Program]

    Definition Classes
    TIL1_1ParsingMain
  101. lazy val statement: PackratParser[Stat]

    Definition Classes
    TIL1_1
  102. lazy val string: Parser[Str]

    Definition Classes
    TIL1_1
  103. def stringToInt(s: String): Either[Int, String]

    Definition Classes
    ParserUtilities
  104. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers
  105. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  106. lazy val term: PackratParser[Exp]

    Definition Classes
    TIL1_1
  107. def toString(): String

    Definition Classes
    AnyRef → Any
  108. def transform(ast: Root): Root

    Transform a single AST.

    Transform a single AST.

    Definition Classes
    TIL2_2TransformingMain
  109. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  112. lazy val while_statement: Parser[While]

    Definition Classes
    TIL1_1
  113. val whiteSpace: Regex

    Definition Classes
    TIL1_1 → RegexParsers
  114. def withClue(clue: Any)(fun: ⇒ Unit): Unit

    Definition Classes
    Assertions
  115. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities
  116. lazy val write_statement: Parser[Write]

    Definition Classes
    TIL1_1

Inherited from TransformingMain

Inherited from TIL1_1

Inherited from ParsingMain

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from Main

Inherited from Assertions

Inherited from AnyRef

Inherited from Any