指定套用註釋的時機和位置
在註解是條件式時，可能需要其他標記法指定到該分析器。例如，如果有函式可以是同步或非同步的變數，函式的行為如下:在同步處理案例它永遠是最後成功，但是如果無法立即成功，在非同步案例就會回報錯誤。當函式在同步處理期間呼叫保存時，結果值會檢查而不提供值給程式碼分析器，因為它不會被傳回。不過，當函式非同步呼叫，且函式結果不檢查，則會發生嚴重的錯誤。這個範例說明您可以在這個中後註釋描述的 _When_ 文件啟用檢查的情況。
結構化的註釋
若要控制附註的位置和時間，請使用以下附註描述的結構。
註釋 |
說明 |
||
|---|---|---|---|
_At_(expr, anno-list) |
expr 是產生左值的運算式。在 anno-list 的附註套用至由 expr命名的物件。對於的每個 anno-list， expr 附註，如果附註解譯在前置條件、後置狀況會說明，加上狀況解譯。 |
||
_At_buffer_(expr, iter, elem-count, anno-list) |
expr 是產生左值的運算式。在 anno-list 的附註套用至由 expr命名的物件。對於的每個 anno-list， expr 附註，如果附註解譯在前置條件、後置狀況會說明，加上狀況解譯。 iter 是變數名稱的範圍限定 (包含 anno-list)。iter 具有隱含型別 long。在任何封閉範圍中的同名變數是被評估為隱藏。 elem-count 是計算結果為整數的運算式。 |
||
_Group_(anno-list) |
在 anno-list 的附註都會被視為具有套用至群組、至每個附註的所有限定詞。 |
||
_When_(expr, anno-list) |
expr 是可以轉換成 bool的運算式。在非零值時 (true) 在 anno-list 指定的附註視為適用。 根據預設，在 anno-list的註解， expr 會解譯使用輸入值，如果標記法是前置條件；如果標記法是後狀況，則會使用輸出值。若要覆寫預設值， _Old_ 內部可在評估狀況後使用輸入值。
|
.gif "注意事項")
注意事項