Documentation of OCL-Schemata
Observer_updateAll.ocl
Postcondition
observers->forAll(o | o.isConformTo(self.state))
and
self.state@pre = self.state
Observer_Attach.ocl
Postcondition
self.observers->includes(elem)
Observer_Detach.ocl
Postcondition
self.observers->excludes(elem)