Home

  • Documentation
  • Language
  • Research Papers
  • Applications

Download

  • Continuous build
  • Extensions

Support

  • Mailing lists
  • IRC
  • Users Days
  • Bug Reports

Developers

  • Subversion
  • Buildfarm results

Page

  • Edit Page
  • Rename Page
  • Attach File
  • Printable
  • Wiki Source
  • Rev 4 (diff 3)
  • Rev 3 (diff 2)
  • Rev 2 (diff 1)
  • Total History
  • More ...

Web

  • Recent Changes
  • Notify Service
  • News
  • Page Index
  • Search
  • More ...

Wiki

  • About TWiki
  • Text Formatting
  • Registration
  • Change Password
  • Reset Password
  • Users
  • Groups

Stratego Language Constructs

Stratego -- Strategies for Program Transformation
This is an overview of topics covering the various constructs in the Stratego language. This is a subset of the Stratego glossary, which also lists concept, advice, design and tool oriented topics.

Terms

  • ATerm?
  • Algebraic signature
  • Character syntax

Conditional Rewrite Rules

  • Rewrite rule
  • Anonymous rewrite rule
  • Contextual rule

Rewriting Strategies

  • Strategy definition
  • Strategy rule

  • Match strategy
  • Generic Term Deconstruction
  • List matching
  • Recursion operator

  • Term project
  • Term wrap

  • Native primitives

Choice operators

  • Deterministic choice
  • Non deterministic choice
  • Global choice?

  • Guarded left choice
  • If then
  • If then else

Traversal

  • Generic term traversal operators
  • Congruence operator

Dynamic Rules

  • Dynamic rule

Term Annotations

  • Term annotation

Overlays

  • Overlay definition

Concrete Object Syntax