spoofax_prop/trans/prop-eval.str

10 lines
326 B
Plaintext
Raw Permalink Normal View History

module prop-eval
imports libstrategolib prop-eval-rules
strategies
eval = innermost(E)
// Interface eval strategy with editor services and file system
do-eval: (selected, _, _, path, project-path) -> (filename, result)
with filename := <guarantee-extension(|"eval.aterm")> path
; result := <eval> selected