Properties of type boolean are the only case where a primitive type is used for a property type. One of the issue with this is that fields that represent such properties attain value false. This makes it cumbersome to assign default value false for boolean properties, which is expected to kick in the full property assignment lifecycle (pre-condition, post-condition), because the value being assigned is the same as the "present" value.
The property assignment logic needs to be enhanced to recognise the case of property initialisation for boolean properties as if it was Boolean.
Expected outcome
Consistent treatment of properties of any type without a need for any workarounds to enforce the property assignment lifecycle.
Description
Properties of type
boolean
are the only case where a primitive type is used for a property type. One of the issue with this is that fields that represent such properties attain valuefalse
. This makes it cumbersome to assign default valuefalse
for boolean properties, which is expected to kick in the full property assignment lifecycle (pre-condition, post-condition), because the value being assigned is the same as the "present" value.The property assignment logic needs to be enhanced to recognise the case of property initialisation for
boolean
properties as if it wasBoolean
.Expected outcome
Consistent treatment of properties of any type without a need for any workarounds to enforce the property assignment lifecycle.