SLIDE 1
The Spoofax Language Workbench
Eelco Visser Lennart Kats
Problem Software
implement validate
The Spoofax Language Workbench Lennart Kats Eelco Visser Software - - PowerPoint PPT Presentation
The Spoofax Language Workbench Lennart Kats Eelco Visser Software - - PowerPoint PPT Presentation
The Spoofax Language Workbench Lennart Kats Eelco Visser Software Engineering implement Problem Software validate High-level languages reduce problem/solution gap Problem HLL Machine Domain Domain-Specific Languages Problem DSL HLL
SLIDE 2
SLIDE 3
Problem Domain HLL Machine
High-level languages reduce problem/solution gap
SLIDE 4
Problem Domain HLL Machine DSL
DSLs further reduce gap between problem domain and implementation
Domain-Specific Languages
SLIDE 5
Example DSL:
SLIDE 6
paradigm: linguistic abstraction
SLIDE 7
making languages should be cheap
SLIDE 8
Compiler Ingredients
Syntax definition
★
concrete syntax
★
abstract syntax
Static semantics
★
error checking
★
name resolution
★
type analysis
Model-to-model transformation
★
express constructs in core language
Code generation
★
translate core language models to implementation
parser generators meta- programming languages meta- programming libraries template engines
SLIDE 9
SLIDE 10
SLIDE 11
SLIDE 12
SLIDE 13
SLIDE 14
Editor Services
syntactic editor services
- syntax highlighting
- syntax checking
- utline view
- bracket matching, insertion
- automatic indentation
- syntax completion
- ...
semantic editor services
- error marking
- reference resolving
- hover help
- mark occurrences
- content completion
- refactoring
- ...
SLIDE 15
Syntax definition Static semantics Model-to-model transformation Code generation Syntactic Editor Services Semantic Editor Services }
Language workbenches [Fowler ’05] how can we make these things cheaply?
SLIDE 16
Language Workbench: integrated environment for language definition
SLIDE 17
Holy Grail of Software Language Definition
Automatically derive efficient,
scalable, incremental compiler + usable IDE from high-level,
declarative language definition
SLIDE 18
SDF Stratego Eclipse IMP
SLIDE 19
SDF Stratego Eclipse IMP
Language Definition by Transformation
SLIDE 20
- <spoofax screenshot: lang def and lang use
in Eclipse workspace>
SLIDE 21
SDF: Declarative Syntax Definition
SLIDE 22
SLIDE 23
A syntax definition
specifies a transformation from text to trees
SLIDE 24
Syntax as Transformation
SLIDE 25
Syntax as Transformation
SLIDE 26
Syntax as Transformation
t r a n s f
- r
m
SLIDE 27
Syntax as Transformation
t r a n s f
- r
m
SLIDE 28
Syntax as Transformation
t r a n s f
- r
m
SLIDE 29
Semantics
=
transformation
SLIDE 30
Error Marking is a Transformation
t r a n s f
- r
m
SLIDE 31
t r a n s f
- r
m
Error Marking is a Transformation
SLIDE 32
transform
Error Marking is a Transformation
t r a n s f
- r
m
SLIDE 33
transform
Error Marking is a Transformation
t r a n s f
- r
m
SLIDE 34
transform
Error Marking is a Transformation
t r a n s f
- r
m
SLIDE 35
Outline View is a Transformation
transform
SLIDE 36
Hyperlinking is a Transformation
transform
SLIDE 37
Content Completion is a Transformation
transform transform
SLIDE 38
Code Generation is a Transformation
t r a n s f
- r
m
SLIDE 39
Need for single, unified language specification:
- Editor services
- Model transformations
- Code generation
SLIDE 40
Stratego: Rewriting Language
SLIDE 41
Rewrite rules Strategies
SLIDE 42
Error Marking with Rewrite Rules
SLIDE 43
Error Marking with Rewrite Rules
SLIDE 44
transform t r a n s f
- r
m
Error Marking with Rewrite Rules
Origin tracking
SLIDE 45
Analysis with Rewrite Rules
SLIDE 46
Code Generation with Rewrite Rules
SLIDE 47
Conclusion
- Co-evolution of language and IDE
- Pure and declarative syntax definition
- Language definition by transformation
- www.spoofax.org: papers, tour, download