Re: how to save annotations?

[jmi@columbo.inria.fr (Janet Bertot)]

In article <34580@sophia.inria.fr>, Guido.Bosch@loria.fr (Guido Bosch) writes:
=> I defined a "symlink" decor for annotating my formalism, in the way it
=> is suggested in the manual (i.e. by extending the formalism). I
=> thought the advantage would be that such annotations could be stored
=> and restored using {tree}:save and {tree}:restore (this works for
=> comments, which should be implemented a similar way, aren't they?)
=> ....
=> Can annotations not be stored? 
=> Am I missing sth.?

Yes, one can specify if one wants annotations to stored, copied, displayed, etc.
The primitive you're looking for is in the Virtual Tree Processor manual
(Volume 3, The Core, section 4.3 "Primitives on Decors") pg 9-10.

({decor}:control decor name [boolean]) -> name

Get/set function for control flags associated to a decor.  Predefined flag names
are: "sauver" to save, or not, in persistent storage; "copier" to copy, or not,
an annotation with an object; "ecrire" to write or not, an annotation; "postfixe"
and "prefixe" to position an annotation for writing or displaying; "visible" to 
display, or not, using PPML.  It is possible to define other flag names.

Thus, for your symlink-decor you would want to call:
	({decor}:control symlink-decor 'sauver t)


	--janet