MAB-Richtlinie jc_0451: Warum der unäre Minus-Operator bei unsigned integers zu vermeiden ist

In Stateflow-Umgebungen führt die Anwendung des unären Minus-Operators auf vorzeichenlose Ganzzahlen („unsigned integers“) nicht zum erwarteten negativen Wert, sondern zu einer großen positiven Zahl. Schließlich können „unsigned integers“ keine negativen Werte abbilden.

Noch kritischer: Das Ergebnis kann je nach Umgebung variieren, was zu unvorhersehbarem Verhalten und schwer auffindbaren Fehlern führt. Vermeiden Sie den unären Minus-Operator bei „unsigned integers“.

Da solche Fehler extrem zeitaufwendig zu debuggen sind, erkennt der MES Model Examiner (MXAM) Verstöße gegen diese Richtlinie automatisch und hilft Ihnen, Compliance effizient zu erreichen.