Skip to content

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

    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: May 31, 2024
Created: May 31, 2024