Concepts : Concepts used in HOPEX : Attributes (MetaAttributes) : Postcondition
   
Postcondition
A PostCondition that must be met after executing the operation. If the PreCondition or PostCondition is not met, an exception is generated.
Translations
Type
VarChar (4) Standard
Products
HOPEX System Blueprint.
List of MetaClasses
Operation (UML).