Code Analysis: False positives with object types

In the following code the parameters are marked by Code Analysis when they should not:

CREATE TYPE tab_test AS TABLE OF NUMBER;

CREATE TYPE t_test AS OBJECT ( x NUMBER, MEMBER PROCEDURE inc_x );
CREATE TYPE BODY t_test AS
MEMBER PROCEDURE inc_x IS BEGIN
x := x+1;
END;
END;

CREATE PROCEDURE test(
io_t IN OUT t_test, – Rule 5401: Avoid using an IN OUT parameter as IN only.
io_tab IN OUT tab_test – Rule 5401: Avoid using an IN OUT parameter as IN only.
) AS
BEGIN
io_t.inc_x;
io_tab.EXTEND();
END;

This is an “old” Code Analysis rule which is known not to function correctly. I made a change which will make the problem go away. This is not XPath coded so you’ll have to wait for a beta (maybe not the next one).

QP-1513

Thanks,

Andre