PowerDesigner provides default model checks to verify the validity of abstract data type procedures.
Check |
Description and Correction |
---|---|
Name/Code contains terms not in glossary |
[if glossary enabled] Names and codes must contain only approved terms drawn from the glossary.
|
Name/Code contains synonyms of glossary terms |
[if glossary enabled] Names and codes must not contain synonyms of glossary terms.
|
Name/Code uniqueness |
Object names must be unique in the namespace.
|
Abstract Data Type procedure code maximum length |
The code of the ADT procedure is longer than the maximum allowed by the DBMS.
|
Procedure cannot have the same name as an attribute |
An abstract data type procedure cannot have the same name as an attribute.
|
Abstract data type procedure definition empty |
An abstract data type procedure must have a definition.
|
Inconsistent return type |
If the abstract data type procedure is a function, a map or an order, you should define a return data type for the function, map or order.
|