Oracle ではプロシージャまたは関数を本体なしで宣言し、後から実装を記述することができます。 このインスペクションは、実装されずに放置されているプロシージャや関数の名前を報告します。
例 (Oracle):
DECLARE PROCEDURE foo(a int, b varchar2);
BEGIN
NULL;
END;
foo プロシージャは宣言されていますが、その実装がありません。 実装を追加すれば、エラーを解決できます。
DECLARE PROCEDURE foo(a int, b varchar2);
PROCEDURE foo(a int, b varchar2) IS
BEGIN
NULL;
END;
BEGIN
NULL;
END;