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

-- EelcoVisser - 09 Dec 2001


ImplementationScheme