Scope Constructs

Stratego provides scope constructs for several types of data.

The term variable scope^? {x1,...,xn:s} delimits the scope of bindings to the term variables xi to the strategy s. That is, at the start of the scope fresh, unbound variables are allocated, and after the scope ends, the variables are removed and any old variables with the same name are restored. The binding of term variables by a match does not have to coincide with the scope.

The dynamic rule scope^? {|L:s|} delimits the scope of dynamic rules with label L to the strategy s. Any rule generated during the execution of s is removed after the scope ends, and any old rules are restored.

The anonymous file scope^? xtc-temp-files(s) is used in XTC to manage the intermediate files that are used to store the terms exchanged by transformation tools. It mainly keeps track of which anonymous files are generated, and makes sure these are removed when exiting the scope.

Can the notion of scope be generalized and made into a first-class construct in the language?

-- EelcoVisser - 14 Jun 2003