Spoofax 2.5.15 Migration Guide¶

Statix Injection Explication¶

There was an issue with Statix injection explication where the origin of the top-level term was lost and this caused SPT tests of Stratego strategies on analyzed ASTs to fail. Fix this by wrapping the bodies of the pre-analyze and post-analyze strategies in analyze.str with origin-track-forced, like this:

imports libspoofax/term/origin

rules
    pre-analyze  = origin-track-forced(explicate-injections-MyLang-Start)
    post-analyze = origin-track-forced(implicate-injections-MyLang-Start)

This is already fixed in new projects.

Last update: October 1, 2024
Created: October 1, 2024