View: Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:General

UML Standard Profile
stereotype postcondition

Specifies a constraint that must be attached to an operation, and denotes that the conditions of the constraint must hold after the invocation of the operation.

General
Namepostcondition
Base Classes  Constraint
Abstract  false
Leaffalse
Rootfalse