trait TIL2_1 in kiama.example.til

kiama.example.til

trait TIL2_1

[source: kiama/example/til/TIL2_1.scala]

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.

Direct Known Subclasses:: TIL2_1Main

Value Summary
`val`	declareforvars : Strategy

Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode

Values and Variables inherited from TIL1_1
parse, program, statement, declaration, assignment_statement, if_statement, while_statement, for_statement, read_statement, write_statement, expression, term, factor, primary, keyword, identifier, integer, string, comment, endofline, layout

Values and Variables inherited from CharParsers
whitespace, digit, letter, letterOrDigit

Values and Variables inherited from PackratParsers
heads, LRStack

Values and Variables inherited from Parsers
any

Method Summary
`override def`	transform (ast : Program) : Program Transform a single AST.

Methods inherited from TransformingMain
process

Methods inherited from Rewriter

strategyf, strategy, rulef, rule, termToStrategy, queryf, query, term, para, child, all, one, some, rewrite, collects, collectl, count, attempt, repeat, repeat, repeat, repeat1, repeat1, repeatuntil, loop, loopnot, doloop, loopiter, loopiter, not, where, test, breadthfirst, topdown, topdownS, bottomup, bottomupS, downup, downup, downupS, downupS, dontstop, oncetd, oncebu, sometd, somebu, outermost, innermost, innermost2, reduce, alltd, alldownup2, alltdfold, somedownup, manybu, manytd, leaves, leaves, everywherebu, everywheretd, restore, restorealways, lastly, ior, or, and

Methods inherited from CharParsers
token, phrase, literal, regex, parse, parse, parse, parseAll, parseAll, parseAll

Methods inherited from PackratParsers
rep1, memo

Methods inherited from Parsers
Parser, success, failure, accept, acceptIf, opt, rep, rep1, repN, repsep, rep1sep, and, not

Methods inherited from Main
main, test

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Value Details

val declareforvars : Strategy

Method Details

override def transform(ast : Program) : Program

Transform a single AST.

Overrides: TransformingMain.transform