PowerDesigner provides default model checks to verify the validity of abstract data types.
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 code maximum length |
The code of the ADT is longer than the maximum allowed by the DBMS.
|
Instantiable object type must have attributes and no abstract procedures |
If an abstract data type of type Object (or SQLJ Object) is instantiable (Abstract option not checked), then it must have attributes and no abstract procedure.
|
Abstract object type must not have tables based on it |
If an abstract data type of type Object (or SQLJ Object) is not instantiable (Abstract option checked), then it must not have tables based on it.
|