You can also declare access types as "not null" in which case initialization is compulsory. http://www.ada-auth.org/standards/12rm/html/RM-3-10.html#p13.1 http

You can also declare access types as "not null" in which case initialization is compulsory. http://www.ada-auth.org/standards/12rm/html/RM-3-10.html#p13.1 http://www.ada-auth.org/standards/12rm/html/RM-3-10.html#p13...