The method valid_magnitude_status is not correctly implemented:
it should return true if the argument value is in ('<', '>', '=', '<=', '>=', '~'), false otherwise
Then this method should be used to enforce the invariang Magnitude_status_valid:
magnitude_status /= Void implies valid_magnitude_status(magnitude_status)
magnitudeStatus is not correctly implemented:
It is a String object and should assume one of the values in ('<', '>', '=', '<=', '>=', '~') if present.
The method valid_magnitude _status is not correctly implemented: status_ valid: _status( magnitude_ status)
it should return true if the argument value is in ('<', '>', '=', '<=', '>=', '~'), false otherwise
Then this method should be used to enforce the invariang Magnitude_
magnitude_status /= Void implies valid_magnitude
magnitudeStatus is not correctly implemented:
It is a String object and should assume one of the values in ('<', '>', '=', '<=', '>=', '~') if present.
The method magnitudeExists is not necessary.
accuracyUnknown is a method, not an attribute.