Mentions légales du service

Skip to content

External printer

DAILLER Sylvain requested to merge external_printer into master

This is a proof of concept of the printing/parsing of adding external elements to the standard printing/parsing. We use the example of the Python plugin to show how it works:

  • the tasks should contain new notations (example python: /\ replaced by "and")
  • the new notations can be used in the transformations (example python: "assert (0 == 0 and b > 1)"

The file format contained in the session is used to decide which parser/printer to use. For example, a goal whose ancestor is a python file (according to the session) will be printed with the Python external printer (and parser).

Merge request reports