SA0012: Variablen, die als Konstanten deklariert werden könnten
Funktion | Ermittelt Variablen, auf die nicht schreibend zugegriffen wird und die deshalb als Konstante deklariert werden könnten. |
Begründung | Wenn eine Variable nur an der Deklarationsstelle geschrieben und sonst nur lesend verwendet wird, dann nimmt die statische Analyse an, dass die Variable auch nicht geändert werden soll. Eine Deklaration als Konstante führt dann erstens dazu, dass auch bei Programmänderungen überprüft wird, dass die Variable nicht verändert wird. Zweitens führt die Deklaration als Konstante unter Umständen zu schnellerem Code. |
Wichtigkeit | Niedrig |
Beispiel:
PROGRAM MAIN
VAR
nSample : INT := INT#17;
nVar : INT;
END_VARnVar := nVar + nSample; // => SA0012