Static Analysis Tooling / Effective D

[Dicebot]

On Tuesday, 21 January 2014 at 09:30:45 UTC, Walter Bright wrote:
> On 1/21/2014 12:58 AM, Dicebot wrote:
>> That reminds me about related topic - do we have any pragma / 
>> attribute reserved
>> for external tools? So that one could, for example, disable 
>> analysis error for
>> specific part of sourc code without disabling it globally?
>
> Since we have user defined attributes, I don't see how anything 
> further needs to be added to the language.

See "reserved namespace" reference. It does not need any special 
support from the language itself but some support from spec that 
will ensure that those attributes won't conflict with user code 
and other tools will be helpful. Probably even in form of 
guideline, not a rule.