Dynamic Constraints (contd...)
-
Effects or
"freestanding" postcondition
-
A logical statement associated
with an interface that must be true after any method in that interface is
invoked.
-
Also called "freestanding" postcondition - agreed by every method in the
interface.
-
Useful as they apply even to those methods not yet invented.
-
OCL representation for Effects:
“effect logical
statement -> logical statement”
