Subject: RE: pragmas
From: Michael McNamara (mac@verisity.com)
Date: Tue Dec 18 2001 - 07:12:50 PST
Shalom Bresticker writes:
> [1 <text/plain; us-ascii (7bit)>]
> One thing which bothers me about pragmas implemented as comments or attributes is,
> what happens if the pragma is mis-spelled and therefore ignored by the tool ?
>
> How will such an error be detected ?
>
> --
> Shalom Bresticker Shalom.Bresticker@motorola.com
> Principal Staff Engineer Tel: +972 9 9522268
> Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890
> POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
>
>
> [2 <text/html; us-ascii (7bit)>]
>
Very good point. This argues for the pragmas to not appear to be
assignments: (* really_cool_code=1 *) would be accepted by any tool,
without discernable disagreement :-)
(* sythesis:combunitorial *) would be rejected...
This archive was generated by hypermail 2b28 : Tue Dec 18 2001 - 07:18:40 PST