注釈を適用するタイミングと場所の指定
注釈は、条件の場合、他の注釈がアナライザーに指定する必要がある場合があります。たとえば、関数に同期または非同期な変数がある関数は次のように動作します。: 同期ケースでは、常に最終的に成功しますが、非同期ケースですぐに成功できない場合、エラーが報告されます。関数が同期的に呼び出されると、結果値をチェックすると、コードに戻らなかろうアナライザー、値は用意されていません。ただし、関数が非同期的に呼び出され、関数の結果がオンになっていない場合、深刻なエラーが発生することがあります。この例では、"有効チェックにこの記事の後半で説明する _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_ の組み込みを使用できます。
|