--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How To Add Rules



Hello all,
I am very new to Frama-C. I have come up with my rules which I want to add
in frama-c for my purpose.

For example: No space shall be give between condition or loop(e.g. if,
switch, for)  and "("

No space shall be give between "(" and the start of the content inside the
"()"

No space shall be give between end of the content inside the "()" and ")"

If given it should show warning in message that there is space between loop
and ''(''


So how should I begin with ?

Thanks in advance.

Regards
Gaurav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150602/e816bdc2/attachment.html>