SA0003: Sentencias vacías

Detecta líneas de código que tienen un punto y coma (;) pero no una declaración

Justificación: una declaración vacía puede ser una señal de código faltante.

Nota: Hay buenas razones para utilizar declaraciones vacías. Por ejemplo, en un CASE declaración, puede tener sentido programar explícitamente todos los casos, incluso aquellos en los que no hay nada que hacer. Cuando este tipo de vacío CASE La declaración contiene un comentario, el Análisis estático no genera un mensaje de error.

Importancia: Baja

CASE value OF
    1:
        DoSomething();
    2:
        ;
    3:
        DoSomethingElse();
END_CASE

CASE value OF
    1:
        DoSomething();
    2:
        ;    //nothing to do
    3:
        DoSomethingElse();
END_CASE