SA0012: Variable que se puede declarar como constante
Detecta variables a las que no se accede con permiso de escritura y por lo tanto podrían declararse como constantes
Justificación: Si una variable se escribe sólo en el punto de declaración y, por lo demás, se utiliza sólo para lectura, entonces el análisis estático supone que la variable tampoco debe modificarse. En primer lugar, una declaración como constante da como resultado comprobar que la variable no cambia cuando se cambia el programa. En segundo lugar, la declaración como constante puede dar lugar a un código más rápido.
Importante
Si existen varias aplicaciones en un proyecto, solo se verán afectados los objetos debajo de la aplicación actualmente activa. Si solo hay una aplicación, los objetos del grupo de POU comunes también se ven afectados.
Importancia: Baja
PROGRAM PLC_PRG
VAR
iVar : INT := INT#17;
iTest : INT;
END_VAR
iTest := iTest + iVar; // SA0012: 'iVar' could be declared as constant
Salida en el Mensajes vista:
SA0012: La variable 'iVar' podría declararse como constante