Skip to main content

SA0046: Posible uso de interfaz no inicializada

Detecta el uso de interfaces que no fueron inicializadas antes de ser utilizadas

Justificación: Se debe comprobar que una referencia de interfaz sea <> 0 antes de utilizarla. De lo contrario, puede producirse una infracción de acceso durante el acceso.

Importancia: Alta

ejemplo 115. Ejemplo
//Declaration of INTERFACE ITF and assigned METH2:
METHOD METH2 : BOOL
VAR_INPUT
    iInput2:INT;
END_VAR
//Declaration of INTERFACE Master_ITF1 and assigned METH:
METHOD METH : BOOL
VAR_INPUT
    iInput:INT;
END_VAR
PROGRAM PLC_PRG
VAR
    instPOU : POU;
    instITF : ITF;
    instMasterITF1 : Master_ITF1;
    instMasterITF2 : Master_ITF2;
    iDummy : INT;
    xDummy : BOOL;
    instNoInitITF : ITF;
    instNoInitITF2 : ITF;
    instNoInitMasterITF1 : Master_ITF1;
    instNoInitMasterITF2 : Master_ITF2;
END_VAR
instITF := instPOU;
xDummy := instITF.METH(iInput := iDummy);    // OK
instMasterITF1 := instPOU;
xDummy := instMasterITF1.METH(iInput := iDummy);    // OK

xDummy := instNoInitITF.METH(iInput := INT#1);    // SA0046
xDummy := instNoInitITF.METH2(iInput2 := INT#2);    // SA0046
xDummy := instNoInitMasterITF1.METH(iInput := INT#3);    // SA0046
iDummy := instNoInitMasterITF2.Prop;    // SA0046

IF instNoInitITF <> 0 THEN
    instNoInitITF.Prop;    // OK, because the interface can't be 0
END_IF

Salida en el Mensajes vista:

  • sa_icon_message.png SA0046: Posible uso de la interfaz no inicializada 'instNoInitITF'

  • sa_icon_message.png SA0046: Posible uso de la interfaz no inicializada 'instNoInitITF'

  • sa_icon_message.png SA0046: Posible uso de la interfaz no inicializada 'instNoInitMasterITF1'

  • sa_icon_message.png SA0046: Posible uso de la interfaz no inicializada 'instNoInitMasterITF2'