Implementation Of Failure
Stratego -- Strategies for Program Transformation
Before StrategoRelease06 failure was implemented in the StrategoCompiler by using GCC's computed labels feature.
Starting with StrategoRelease06 failure handling is implemented using setjmp and longjmp.
Starting with StrategoRelease07 failure can optionally be handled using PierreEtienneMoreau?'s ChoicePointLibrary?. If this option is chosen (when configuring the StrategoCompiler distribution) support for GlobalBacktracking? is provided as well.
ToDo
- Unbind variables on backtracking (solved with ChoicePointLibrary??)
ImplementationScheme