spoofax_prop/trans/prop-eval.str

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
docs: Initiate building documentation with mkdocs Also lay out the structure of the documentation and supply a decent introduction. Also (unsuccessfully) attempt to get the first example of a Stratego transformation from the manual implemented and documented. 2021-01-12 16:41:01 +00:00			`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`