Checking for Null Pointer in Ada


Generally speaking, Ada will raise a Constraint_Error if you attempt to dereference a null pointer (access type). However, this behavior is disabled if, for example, you have pragma Suppress (all_checks) in use.

Given this scenario, how would one go about checking to see if the access type points to 0x0 (null)?

Consider the following:

type My_Access_Type is access all My_Type'Class;

procedure myProcedure ( myAccess : in My_Access_Type ) is

-- need to have check in here
if myAccess = null then
end if;

Although it won't necessarily point to 0x0. Access types are not pointers, and may be implemented in a different way than plain addresses.

Collected from the Internet

Please contact javaer1[email protected] to delete if infringement.

edited at


Login to comment


JUnit and checking fields for null

Checking if LocalDateTIme is null in a conditional

Checking for null - what order?

Checking for NULL pointer in C/C++

Is there a ?. operator for Java to perform null pointer checking?

Null pointer exception when checking for permission with android.content.Context.checkPermission

C++ program crashes while checking if a pointer is NULL using if condition

Null Pointer Exception When Checking If SharedPrefs Equals Null

Pointer to Pointer null C

C - Segmentation fault when checking if a pointer is NULL

optimize function pointer checking in loop

Checking for null in flatmap

Checking for null pointer exception in an array in Jenkins scripted pipeline method

Dereferencing NULL pointer warning when checking if char* is null or empty

Checking if pointer args are null / Field should be initialized in the member initialization list for a raw pointer

NULL == pointer

benefit of pointer checking of cairo context

Pointer to NULL

Java null pointer exception after checking if null

Access the value using pointer in Ada

Checking NULL Pointer In C Doesn't Work

Java Null pointer exception thrown when checking length of blank excel cell

I have an 'if' statement for checking null pointer exception but that line itself is giving a null pointer excpetion

Null Pointer Exceptions when Checking That The Account Doesn’t Already Exist - Spring+Thymeleaf

Null checking on CASE Mysql

checking null in typescript

Checking for NULL values in SQL

Why do I get FILE pointer error while checking NULL condition?

Kotlin null pointer when checking for null state