-
Sylvain Dailler authored
This is inspired from the python printer/parser, the changes are: - and, or, and then, or else are now supported instead of /\, \/, &&, || - different (LTGT) is now '/=' instead of '<>' - allowing A'Last, A'First using "name" attributes - allowing the notation "for all i in A .. B => stuff" - allowing syntax for arrays as A(I) using new attributes "syntax" (also the reason why we need to pass a name table to the parser) - some constants are printed as "(cst:type)" (This is not real Ada syntax and should probably be replaced by "type'(cst)" This also adds a test at tests/ada_terms/print_test.adb This adds new cases in any_pp: note that all these cases are needed as we cannot use the legacyprinter for calls to, for instance, print_ls. This would have the disadvantage that, when printed twice (reload), idents gets reprinted which would change their disambiguation number (break at every reload). Also, pass the task to the printer in ord...
627275d1