Restriction Checks

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

Check	Description and Correction
Undefined base type	You must define a base type when you derive a simple or a complex type by restriction. Manual correction: In the simple or complex type property sheet, click the Properties tool beside the Derivation box to display the Extension property sheet and select a base type with the Base type list or the Browse tool Automatic correction: None
Existence of facet	A simple type restriction must have at least one facet defined. Facets are defined in the Detail, Enumerations and Patterns tabs of a simple type restriction property sheet. Manual correction: Define one or more facets in the simple type restriction property sheet Automatic correction: None