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