Skip to content
Spoofax
References
Initializing search
spoofax
Home
Tutorials
How-Tos
References
Background
Support
Releases
Spoofax
spoofax
Home
Home
Getting started
Tutorials
Tutorials
How-Tos
How-Tos
Installation
Installation
Install the Eclipse with Spoofax Plugin Bundle
Install the Spoofax Eclipse Plugin Manually
Install Spoofax from Source
Static Semantics
Static Semantics
Debugging
Migrate from NaBL2
Migrating to the Concurrent Solver
Signature Generator
Transformation
Transformation
How to Generate a Stratego Signature
How to Run Stratego Programs
How to Generate a Pretty-Printer
Debug Stratego Programs
Concrete Syntax
Exchange Terms
Inspect Terms
Migrating from Stratego 1 to Stratego 2
Editor Services
Editor Services
Add Rename Refactoring to an Existing Project
Development
Development
Requirements
Maven Setup
Building
Developing
Publish
Troubleshooting
Custom configuration
References
References
Configuration
Configuration
Language Configuration
Project Configuration
Syntax
Syntax
Modules
Symbols
Productions
Lexical Syntax
Context-Free Syntax
Kernel Syntax
Start Symbols
Templates
Disambiguation
Layout Sensitivity
Recovery
Configuration
Static Semantics
Static Semantics
Language Concepts
Modules
Terms
Basic Constraints
Rules
Scope Graph Constraints
Queries
Tests
Stratego API
Data Flow Analysis
Data Flow Analysis
Structure
Stratego API
Configuration
Testing
References
References
Table of contents
References
Transformation
Transformation
Lexical
Modules
Terms
Types
Rewrite Rules
Strategy Definitions
Strategy Combinators
Dynamic Rules
Troubleshooting
Testing
Testing
Test suites
Test Expectations
Running SPT Tests
Editor Services
Editor Services
ESV
Analysis
Language File Extensions
Hover Tooltips
Action Menus
On-Save Handlers
Outline View
Parsing
Reference Resolution
Rename Refactoring
Stratego
Syntax Highlighting
Pipelines
Pipelines
Module system
Types
Generics
Functions
Expressions
Known bugs and limitations
Background
Background
Bibliography
Bibliography
An SDF3 Bibliography
A Statix Bibliography
A Stratego Bibliography
Static Semantics
Static Semantics
The Semantics of Rule Selection
Transformations
Transformations
Strategic Rewriting
Strategic Rewriting
Term Rewriting
Limitations of Rewriting
Factoring out Traversal
Strategic Rewriting
Strategy Combinators
Strategy Combinators
Sequential Combinators
Term Combinators
Traversal Combinators
Type Unifying Traversal
Origin Tracking
Documentation
Documentation
Adding Pages
Internal Links
Code Highlighting
GUIs and Menus
Citations
Structure
Troubleshooting
Support
Support
Contributions
Releases
Releases
Stable Releases
Development Releases
Release Notes
Release Notes
Spoofax 2.5.18 (14-11-2022)
Spoofax 2.5.17 (06-07-2022)
Spoofax 2.5.16 (04-06-2021)
Spoofax 2.5.15 (11-05-2021)
Spoofax 2.5.14 (16-12-2020)
Spoofax 2.5.13 (20-11-2020)
Spoofax 2.5.12 (08-10-2020)
Spoofax 2.5.11 (17-07-2020)
Spoofax 2.5.10 (07-07-2020)
Spoofax 2.5.9 (08-05-2020)
Spoofax 2.5.8 (28-04-2020)
Spoofax 2.5.7 (26-06-2019)
Spoofax 2.5.6 (24-05-2019)
Spoofax 2.5.5 (23-05-2019)
Spoofax 2.5.4 (08-05-2019)
Spoofax 2.5.3 (02-05-2019)
Spoofax 2.5.2 (12-03-2019)
Spoofax 2.5.1 (02-10-2018)
Spoofax 2.5.0 (11-09-2018)
Spoofax 2.4.1 (29-01-2018)
Spoofax 2.4.0 (09-01-2018)
Spoofax 2.3.0 (29-09-2017)
Spoofax 2.2.1 (04-05-2017)
Spoofax 2.2.0 (18-04-2017)
Spoofax 2.1.0 (10-01-2017)
Spoofax 2.0.0 (08-07-2016)
Spoofax 2.0.0-beta1 (07-04-2016)
Spoofax 1.5.0 (18-12-2015)
Spoofax 1.4.0 (06-03-2015)
Spoofax 1.3.1 (09-12-2014)
Spoofax 1.3.0 (12-11-2014)
Spoofax 1.2.0 (13-08-2014)
Spoofax 1.1.0 (25-03-2013)
Spoofax 1.0.2 (15-02-2012)
Spoofax 1.0.0 (28-12-2011)
Spoofax vNext
Migration Guides
Migration Guides
Spoofax 2.5.15 Migration Guide
Spoofax 2.5.10 Migration Guide
Spoofax 2.5.5 Migration Guide
Spoofax 2.1.0 Migration Guide
Spoofax 2.0.0 Migration Guide
Directory structure migration (March 2016)
Spoofax vNext Migration Guide
Table of contents
References
References
References
¶
Last update: 2023-02-02
Back to top