CENTAUR annotations

[durrieu@tantale.cert.fr (Guy Durrieu)]

Hi,

In the langage I use (LUSTRE), there is a kind  of  thing  called  "pragmas";
pragmas look like comments (they can appear at any place in a program and are
identified by special characters: {}) but have to  be  processed  differently
(in particular I have to parse their contents); I  guess  that the  mechanism
of annotations would be the right way to implement that with CENTAUR.  Unfor-
tunately I was not able until now to do anything working correctly.

So the question is: What is the correct way to introduce new annotations  for
my abstract syntax trees, so that the contents of the  annotation  (specified
in the LUSTRE program) is also an abstract syntax tree built by the parser?

Thanks in advance.

-- Guy DURRIEU.

-----------------------
ONERA-CERT/DERI
_______________________