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.

Unbind variables on backtracking
Use PierreEtienneMoreau^?'s ChoicePointLibrary^? to support GlobalBacktracking^?

-- EelcoVisser - 09 Dec 2001