Collaboration diagram for Null Safety:

Macros
#define	ein_returns_nonnull
	`[[returns_nonnnull]]`

#define	ein_nonnull(...)
	portable `[[nonnnull(...)]]`

#define	ein_Nonnull
	`_Nonnull`

#define	ein_Nullable
	`_Nullable`

#define	ein_Null_unspecified
	`_Null_unspecified`

Detailed Description

Macro Definition Documentation

◆ ein_Nonnull

#define ein_Nonnull

_Nonnull

can be applied to each * in an data type to indicate that argument should never be null.

Definition at line 84 of file null_safety.hpp.

◆ ein_nonnull

#define ein_nonnull ( ... )

portable [[nonnnull(...)]]

Indicates the selected (1-based) indexed arguments to this function must be non-null. Passing a null pointer to such an argument is undefined behavior. GCC-style.

Definition at line 50 of file null_safety.hpp.

◆ ein_Null_unspecified

#define ein_Null_unspecified

_Null_unspecified

applied to each * in an data type to indicate that the nullability of it is unknown or complicated

Definition at line 86 of file null_safety.hpp.

◆ ein_Nullable

#define ein_Nullable

_Nullable

can be applied to each * in an data type to indicate that argument might be null.

Definition at line 85 of file null_safety.hpp.

◆ ein_returns_nonnull

#define ein_returns_nonnull

[[returns_nonnnull]]

The result of this function are guaranteed be non-null

Definition at line 34 of file null_safety.hpp.