|
From: Bart V. A. <bva...@ac...> - 2010-03-08 08:27:44
|
On Fri, Jan 29, 2010 at 12:09 PM, Julian Seward <js...@ac...> wrote: > > [ ... ] > > Can you also do the other changes we discussed, so that the different > annotation sets can stay in sync? > > * get rid of ANNOTATE_UNPUBLISH and ANNOTATE_PUBLISH > > * rename ANNOTATE_HAPPENS_BEFORE(obj) > to ANNOTATE_HAPPENS_BEFORE_ACCUMULATE(obj) > maybe add a #define for backwards compatibility > > * add ANNOTATE_HAPPENS_BEFORE_OVERWRITE(obj) > > * add ANNOTATE_HAPPENS_BEFORE_FORGET(obj) (replying to an e-mail of about one month ago) Hello Julian, Can you please clarify how the proposed new annotation ANNOTATE_HAPPENS_BEFORE_OVERWRITE() differs from ANNOTATE_HAPPENS_BEFORE() and why it would be useful ? Bart. |