--- layout: fc_discuss_archives title: Message 112 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Collisions using //@ or /*@



Hello,

Le lun 20 oct 2008 15:21:43 CEST,
<jean-baptiste.jeannin@hispano-suiza-sa.com> a ?crit :

> Some JavaDoc-like documentation tools can badly interfere with Frama-C by 
> also requiring special comments beginning by /*@ or //@. For example, the 
> Do you have any idea of how to go around this problem? Are the /*@ and //@ 
> syntaxes, which were already used by JML, supposed to somehow be 

In the current version of Frama-C (and in the forthcoming release), the
only way to overcome this issue is to disable annotation processing
entirely (with the -no-annot option). The '@' sign was indeed chosen to
introduce ACSL annotation because it was already used by JML (while
javadoc and doxygen use '*' for structured documentation).

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile