Is null pointer
Code template contract predicate to ensure an entity represents a null pointer
Eiffel Software
is_null
Eiffel
code
contract
precondition
postcondition
A entity representing a pointer
${pointer}_is_null: ${pointer} = default_pointer${end}