Source
Declaration
?derived: 
false
?union: 
false
?ordered: 
UNDEF
?readonly: 
false
name: 
postcondition
multiplicity: 
[*]
Package

An optional set of Constraints specifying the state of the system when the Operation is completed. Subsets Namespace::ownedRule.

This subsets
Owning metaclass