org.kiama.example.til

TIL2_1

trait TIL2_1 extends TIL1_1 with TransformingMain

Rewrite TILs for loops that automatically declare the control variable adding an explicit declaration of the variable.

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

    Attributes
    abstract
    Definition Classes
    PackratParsers
  5. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers
  6. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers
  7. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  8. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  9. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  10. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  11. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  12. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  13. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  14. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  15. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  16. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  17. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  18. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  19. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers
  20. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers
  21. 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. 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]

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

    Attributes
    final
    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

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

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

    Attributes
    implicit
    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

    Attributes
    implicit
    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

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

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

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

    Definition Classes
    TIL1_1
  34. val declareforvars : Strategy

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    Assertions
  47. def fail (): Nothing

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

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

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

    Definition Classes
    TIL1_1
  51. def getClass (): java.lang.Class[_]

    Attributes
    final
    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. def isInstanceOf [T0] : Boolean

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

    Attributes
    implicit
    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. def ne (arg0: AnyRef): Boolean

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

    Definition Classes
    Parsers
  69. def notify (): Unit

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

    Attributes
    final
    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)]

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

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

    Attributes
    implicit
    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)]

    Attributes
    implicit
    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)]

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

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

    Attributes
    implicit
    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

  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. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    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_1TransformingMain
  109. def wait (): Unit

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

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

    Attributes
    final
    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