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

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

This subsets
Owning metaclass