SA0012: Variabili che possono essere dichiarate come costanti
Determina le variabili a cui non si accede per la scrittura e che quindi potrebbero essere dichiarate come costanti.
Motivazione: Se una variabile viene scritta solo nel punto di dichiarazione e altrimenti viene utilizzata solo per la lettura, l'analisi statica presuppone che anche la variabile non debba essere modificata. In primo luogo, una dichiarazione come costante ha come risultato il controllo che la variabile non venga modificata quando si cambia il programma. In secondo luogo, la dichiarazione come costante può risultare in un codice più veloce.
Importante
Se in un progetto sono presenti più applicazioni, vengono presi in considerazione solo gli oggetti nell'applicazione attualmente attiva. Se è presente una sola applicazione, vengono presi in considerazione anche gli oggetti nel pool di POU generali.
Importanza: Bassa
PROGRAM PLC_PRG
VAR
iVar : INT := INT#17;
iTest : INT;
END_VAR
iTest := iTest + iVar; // SA0012: 'iVar' could be declared as constant
Uscita in Messaggi vista:
SA0012: La variabile 'iVar' potrebbe essere dichiarata come costante