At the moment, ‘not null’ in a parameter list is treated as though it was always part of ‘not null access’, so that C-c C-a gives the result below; procedures C & D aren’t right.
package Not_Null_Access is
type Integer_P is access Integer;
procedure A (P1 : access Integer;
P2 : in out Integer);
procedure B (P1 : access Integer;
P2 : not null access Integer);
procedure C (P1 : Integer;
P2 : not null Integer_P);
procedure D (P1 : access Integer;
P2 : not null Integer_P);
end Not_Null_Access;
I attach a patch to fix this.
not-null-without-access.diff
Description: Binary data
_______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
