Association Checks

PowerDesigner provides default model checks to verify the validity of associations.

Check	Description and Correction
Generic: Child type parameters	In a navigable association, if the parent is generic, the child must redefine all the type parameters of the parent. If the parent is a partially bound classifier (where some type parameters are not resolved) then the child must redefine all the unresolved type parameters. Manual correction: Resolve the missing type parameters. Automatic correction: None.
Generic: Child cannot be bound	A bound classifier cannot be the child of any navigable association other than its generic parent. Manual correction: Remove the additional links. Automatic correction: None.

Check

Description and Correction

Generic: Child type parameters

In a navigable association, if the parent is generic, the child must redefine all the type parameters of the parent.

If the parent is a partially bound classifier (where some type parameters are not resolved) then the child must redefine all the unresolved type parameters.

Manual correction: Resolve the missing type parameters.

Automatic correction: None.

Generic: Child cannot be bound

A bound classifier cannot be the child of any navigable association other than its generic parent.

Manual correction: Remove the additional links.

Automatic correction: None.