Integrity Constraints
A dedicated command checks that some defined integrity rules are respected.
Dependencies Acyclicity
- User U1 already states that component Ca prerequires component Cx.
- While user U2 already states that component Cy (that is already prerequired by Cx) prerequires component Cb (that itself already prerequires Ca).
- U1 and U2 save their work without knowing about each other's tasks. A cycle has been created: Ca->Cx->Cy->Cb->Ca.
Definitions Uniqueness
In a given package (i.e. in its components), no duplication of definitions (types, dialog boxes, applications, callable user operations, …) is allowed.
Definitions Completeness
- All dialog boxes referenced by command Starters are available
- All dialog boxes referenced in user operations are available
- All types referenced in user operations are available
- All callable user operations referenced by Call user operations are available.