Oracle 中的代码检查

本主题列出了 Oracle 中所有可用的 JetBrains Rider 代码检查。

您可以在编辑器 | 检查设置 | 检查严重性 | 其他语言设置页面  Ctrl+Alt+S 上切换特定检查或更改其严重性级别。

检查	描述	默认严重性
没有定义的前向声明	报告代码中缺少实现的过程和函数声明。在 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;	错误
缺少包/对象类型规范的主体	报告缺少主体声明的包和对象类型规范。声明了例程的包规范以及带有游标的包规范必须有主体声明来实现这些例程和游标。当程序代码中调用例程或游标时，缺少主体会导致运行时错误。示例（Oracle）： CREATE OR REPLACE PACKAGE ppp IS FUNCTION foo(a INT) RETURN INT; END;	警告
重载错误	报告 Oracle 中子程序重载的无效情况。示例（Oracle）： DECLARE SUBTYPE fff IS BINARY_INTEGER; SUBTYPE ggg IS NATURAL; PROCEDURE foo (a IN ggg) IS BEGIN NULL; END; PROCEDURE foo (a IN fff) IS BEGIN NULL; END; BEGIN NULL; END; 您不能重载仅在子类型上有所不同的参数的子程序。例如，您不能重载一个接受 BINARY INTEGER 参数的过程和另一个接受 NATURAL 参数的过程。有关过程重载限制的更多信息，请参阅 Restrictions on Overloading at docs.oracle.com。	警告

检查

描述

默认严重性

没有定义的前向声明

报告代码中缺少实现的过程和函数声明。

在 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;
    

错误

缺少包/对象类型规范的主体

报告缺少主体声明的包和对象类型规范。

声明了例程的包规范以及带有游标的包规范必须有主体声明来实现这些例程和游标。当程序代码中调用例程或游标时，缺少主体会导致运行时错误。

示例（Oracle）：

CREATE OR REPLACE PACKAGE ppp IS
    FUNCTION foo(a INT) RETURN INT;
END;
    

警告

重载错误

报告 Oracle 中子程序重载的无效情况。

示例（Oracle）：

DECLARE
    SUBTYPE fff IS BINARY_INTEGER;
    SUBTYPE ggg IS NATURAL;
    PROCEDURE foo (a IN ggg) IS BEGIN NULL; END;
    PROCEDURE foo (a IN fff) IS BEGIN NULL; END;
BEGIN
    NULL;
END;
    

您不能重载仅在子类型上有所不同的参数的子程序。例如，您不能重载一个接受 BINARY INTEGER 参数的过程和另一个接受 NATURAL 参数的过程。有关过程重载限制的更多信息，请参阅 Restrictions on Overloading at docs.oracle.com。

警告

最后修改日期： 2025年 9月 26日