抑制Ada限制

Question

是否可以抑制源的特定部分中的ada限制？例如，如果我已经在高层定义了“编译指示限制（No_Dynamic_Priorities）”的使用，但是希望在我知道我所做的事情安全的地方忽略此限制，是否可以抑制此限制所以编译器不再抱怨？

Answer 1

您不能明确否定限制;唯一的办法就是只对需要它的程序单元应用限制（即不是“高级别”）。

限制在ARM 13.12讨论，并(8.1)说

的限制可能对某些或全部，包括该分区的单元的要求。 除非特殊限制另有规定，此要求适用于构成分区的所有单元，并通过后编译检查执行。

你的具体情况，ARM D.7(9)说，对No_Dynamic_Priorities

上有包Dynamic_Priorities没有任何语义的依赖性，并没有出现属性的优先级。

它不覆盖一般要求;所以我不认为你想要做什么是允许的。