抑制Ada限制

抑制Ada限制,ada,Ada,是否可以在源代码的特定部分抑制ada限制?例如,如果我已在较高级别上定义了“pragma限制(无动态优先级)”的使用,但希望在我知道我正在做的事情是安全的地方忽略此限制,那么是否可以抑制此限制以使编译器不再抱怨?您不能显式否定限制;唯一的方法是只将限制应用于需要它的程序单元(即,不是“高级别”) 限制在中讨论,并表示 限制可对构成分区的部分或全部单元施加要求除非对特定限制另有规定,否则此要求适用于构成分区的所有单元,并通过编译后检查强制执行 在您的特定情况下,表示forNo\u Dynamic\

是否可以在源代码的特定部分抑制ada限制?例如,如果我已在较高级别上定义了“pragma限制(无动态优先级)”的使用,但希望在我知道我正在做的事情是安全的地方忽略此限制,那么是否可以抑制此限制以使编译器不再抱怨?

您不能显式否定限制;唯一的方法是只将限制应用于需要它的程序单元(即,不是“高级别”)

限制在中讨论,并表示

限制可对构成分区的部分或全部单元施加要求除非对特定限制另有规定,否则此要求适用于构成分区的所有单元,并通过编译后检查强制执行

在您的特定情况下,表示for
No\u Dynamic\u Priorities

包动态优先级没有语义依赖关系,属性优先级也没有出现


不凌驾于一般要求之上;所以我不认为你想做的是被允许的。

你不能明确地否定限制;唯一的方法是只将限制应用于需要它的程序单元(即,不是“高级别”)

限制在中讨论,并表示

限制可对构成分区的部分或全部单元施加要求除非对特定限制另有规定,否则此要求适用于构成分区的所有单元,并通过编译后检查强制执行

在您的特定情况下,表示for
No\u Dynamic\u Priorities

包动态优先级没有语义依赖关系,属性优先级也没有出现

不凌驾于一般要求之上;所以我不认为你想做的是被允许的