reallow

reallow は以下の構文を持っています。

---

reallow func ...

---

disallow サブコマンドに対する例外を作成します。たとえば、f() が g() を呼び出し、さらに h() を呼び出すシーケンスをロック lint の解析の対象から外し、ただし、d() によって呼び出される e() によって f() が呼び出される場合のみは解析の対象とするには、以下のコマンドを使用します。

---

% lock_lint disallow f g h
% lock_lint reallow d e f g h

---

ある関数が、特定の関数から呼び出される状況のみを解析の対象としたい場合は、次のように指定します。

---

% lock_lint disallow f
% lock_lint reallow e f

---

---

注 -

reallow サブコマンドは、シーケンスの最後が同じになる場合のみ、disallow サブコマンドの効果を抑制します。たとえば、以下のコマンドを実行した後も、シーケンス d e f g h では依然、除外状態は続行します。

---

% lock_lint disallow e f g h
% lock_lint reallow d e f g

---

---