Discriminate pre and post condition constraints

Suggested improvements and new features.

Moderator: Moderators

Discriminate pre and post condition constraints

Postby Neil Dyer » Fri Mar 23, 2001 4:20 am

Thank you for removing the need to name constraints on classifiers and
associations, where all constraints are logically anded together to form
an invariant. However, I didn't intend to loose this ability completely
for operations as well. This is because precondition and postcondition
constraints are logically distinct because they refer to different
points in time. Someone might also want to specify constraints that
hold only during the execution of an operation. Please re-introduce
some means to clearly discriminate between precondition, postcondition
and other constraints for operations.


Neil Dyer
 
Posts Rating:

Return to Suggestions

Who is online

Users browsing this forum: No registered users and 1 guest