AllConstantsTypesAreUsed |
id_0002 |
n/a |
All constants and types are used at least once |
AllElementsInOneEquationSet |
id_0003 |
n/a |
All elements in equation set |
AllPrivateOperatorsAreUsed |
id_0004 |
n/a |
All private operators are used |
ConstantsHaveConstPragma |
id_0106 |
n/a |
Constants Have Const Pragma |
DisadvisedOperators |
id_0013 |
n/a |
Not recommended operators |
ForbiddenOperators |
id_0023 |
n/a |
Forbidden Operators |
ForbiddenRealComparisons |
id_0024 |
SDR-38 |
Forbidden real comparisons |
IllegalOperationsOnConstants |
id_0028 |
n/a |
Illegal operations on constants |
InitializationOfArrays |
id_0029 |
n/a |
Initialization of Arrays |
LevelOfDepthOfStructures |
id_0031 |
n/a |
Level of Depth of Structures |
ModuloDenominatorNonZeroConstant |
id_0119 |
n/a |
Modulo operations shall use a non zero constant as denominator. |
NoAnonymousType |
id_0122 |
SDR-64 |
No anonymous type in the interface |
NoBoolComparison |
id_0054 |
n/a |
No boolean comparison |
NoExtraClock |
id_0055 |
n/a |
No extra clock |
NoFloats |
id_0056 |
n/a |
No floats |
NoLastWithoutDefault |
id_0057 |
n/a |
No last without default |
NoLiterals |
id_0058 |
n/a |
No literals |
NoOperatorCallsInExpressions |
id_0060 |
n/a |
No operator calls in expressions |
NoPointerBranch |
id_0091 |
n/a |
Pointer flows must not branch |
NoStructTableComparisons |
id_0062 |
n/a |
No structure or table comparisons |
NoTerminations |
id_0063 |
n/a |
No terminations |
NumOfOperatorCallsInConditions |
id_0075 |
n/a |
Number of operator calls in conditions |
PragmaManifest |
id_0123 |
SDR-65 |
Pragma manifest for complex types |
ScopeOfLocals |
id_0092 |
n/a |
Declaration scope of a local variable |
TransitionActions |
id_0084 |
n/a |
No transition actions except signal emissions. |
TransitionKind |
id_0085 |
n/a |
Transition Kind |
