抑制Ada限制

Question

是否可以抑制源的特定部分中的ada限制？例如，如果我已經在高層定義了「編譯指示限制（No_Dynamic_Priorities）」的使用，但是希望在我知道我所做的事情安全的地方忽略此限制，是否可以抑制此限制所以編譯器不再抱怨？

Answer 1

您不能明確否定限制;唯一的辦法就是隻對需要它的程序單元應用限制（即不是「高級別」）。

限制在ARM 13.12討論，並(8.1)說

的限制可能對某些或全部，包括該分區的單元的要求。 除非特殊限制另有規定，此要求適用於構成分區的所有單元，並通過後編譯檢查執行。

你的具體情況，ARM D.7(9)說，對No_Dynamic_Priorities

上有包Dynamic_Priorities沒有任何語義的依賴性，並沒有出現屬性的優先級。

它不覆蓋一般要求;所以我不認爲你想要做什麼是允許的。