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