Source
Declaration
?derived: 
false
?union: 
false
?ordered: 
UNDEF
?readonly: 
false
name: 
bodyCondition
multiplicity: 
[0..1]
Package

An optional Constraint on the result values of an invocation of this Operation. Subsets Namespace::ownedRule

This subsets
Owning metaclass
randomness