LibProjectsOperators |
id_0032 |
n/a |
Library Projects shall not contain top-level Operators |
LibProjectsUsage |
id_0033 |
n/a |
Only 'Lib' prefixed projects shall be used as library Projects |
ModelRootPackage |
id_0040 |
n/a |
Model contains only root Package |
NoScadeLibrary |
id_0061 |
SDR-32 |
SCADE libraries shall not be used in production |
NonLibProjects |
id_0059 |
n/a |
Projects shall contain only one top-level Operator and its used Types and Constants |
OnePublicOpPerPackage |
id_0076 |
n/a |
Packages contain only one public operator. |
RootPackageName |
id_0079 |
n/a |
Root Package has same name as Project |
TypesNotTakenFromSpecificPackage |
id_0086 |
n/a |
Types not from specific packages |
TypesTakenFromSpecificPackage |
id_0101 |
n/a |
Types from specific package |
TypesTakenFromSpecificProject |
id_0087 |
n/a |
Types from specific model/project |
UserDefinedTypesLib |
id_0090 |
n/a |
Check that user-defined complex types used in operators at top-level are located in libraries |
