Ada Programming/Attributes/'Overlaps Storage
Description
editReturns True if the representation of X2 shares at least one bit with the representation of the object denoted by X.
The actual parameter shall be a name that denotes an object. The object denoted by the actual parameter can be of any type. This function evaluates the names of the objects involved and returns True if the representation of the object denoted by the actual parameter shares at least one bit with the representation of the object denoted by X; otherwise, it returns False.
Example
editX’Overlaps_Storage (X2) return Boolean