Constraint Types

In an element Properties definition, each constraint on the element is defined by type in the Constraint field. You can select the appropriate value from a drop-down list, which initially contains the system values:

Invariant
Post-condition
Pre-condition
Process and
OCL

 

You can add to or replace any of these values with your own custom values.

Access     Settings | Project Types | General Types > Constraint

Customize Constraint Types

Field/Button

Usage

See also

Constraint

Type the name of the constraint to define.

 

 

Description

Type a brief description of the constraint.

 

 

Note

Type any further details concerning the constraint.

 

 

New

Clear the fields to define a new constraint.

 

 

Save

Save the constraint definition and add it to the Defined Constraint Types list.

 

 

Delete

Remove the currently selected constraint from the Defined Constraint Types list.

 

 

Defined Constraint Types

 

Lists the currently-defined constraint types and their descriptions.

 

Notes

You can transport customized constraint types between models, using the Export Reference Data and Import Reference Data menu options

Learn more