El lenguaje ExST (ST extendido) admite diversas instrucciones Pragma condicionales que afectan la generación de códigos en el proceso de precompilación o compilación.
NOTA: No utilice pragmas condicionales en la parte de declaración. No se tendrán en cuenta.
El código de implementación que se utiliza para la compilación puede depender de las condiciones siguientes:
o¿Se trata de determinado tipo de datos o variables declarado?
o¿Un tipo o una variable tienen un atributo determinado?
o¿Tiene una variable un tipo de datos determinado?
o¿Es una POU determinada, una tarea disponible o forma parte de un árbol de llamadas?
NOTA: Una POU o GVL declaradas en el Árbol de POU no pueden utilizar un {define...} declarado en una aplicación. Las definiciones en las aplicaciones solo afectarán a interfaces insertadas bajo la aplicación correspondiente.
|
{define identifier string} |
Durante el procesamiento previo, todas las instancias del identificador que se ejecuten a partir de ese momento se sustituirán por la secuencia de tokens en cuestión si la cadena del token no está vacía (está permitida y bien definida). El identificador permanece definido y dentro del ámbito hasta el final del objeto o hasta que esté sin definir en una directiva {undefine} . Se emplea para compilaciones condicionales. |
|
{undefine identifier} |
Se eliminará la definición del preprocesador del identifier (por {define}, consulte la primera fila de esta tabla) y, por tanto, el identificador quedará sin definir. Si el identificador especificado no está actualmente definido, se ignorará este pragma. |
|
{IF expr} ... {ELSIF expr} ... {ELSE} ... {END_IF} |
Se trata de pragmas para compilaciones condicionales. Las expresiones especificadas exprs tienen que ser constantes en el tiempo de compilación; se evalúan en el orden en el que aparecen hasta que una de las expresiones se evalúa como un valor diferente de cero. El texto asociado con la directiva correcta se preprocesa y compila con normalidad y el resto se ignora. Se determina el orden de las secciones; no obstante, las secciones elsif y else son opcionales, y las secciones elsif pueden aparecer de forma arbitraria más a menudo. Dentro de la constante expr, se pueden utilizar diversos operadores de compilación condicionales. |
|
<expr> |
Dentro de la expresión de la constante expr de una compilación condicional pragma ({if} o {elsif}) (consulte la tabla anterior), se pueden utilizar diversos operadores. Es posible que no se puedan no definir ni redefinir estos operadores mediante {undefine} o {define}, respectivamente. |
También puede utilizar estas expresiones, así como la definición completada por {define} en el campo de texto Definiciones de compilador: del cuadro de diálogo Propiedades de un objeto (Ver > Propiedades > Compilación).
Operadores de compilación condicionales
Son compatibles los siguientes operadores:
ohasattribute (pou: pou-name, attribute)
ohasattribute (variable: variable, attribute)
ohastype (variable:variable, type-spec)
ohasvalue (define-ident, char-string)
Este operador hace que la expresión obtenga el valor TRUE, en cuanto se haya definido el identifier con una instrucción {define} y no haya sido no definido posteriormente por una instrucción {undefine} . En caso contrario, su valor será FALSE.
Ejemplo de defined (identifier):
Precondición: hay 2 aplicaciones, App1 y App2. El identificador pdef1 está definido en la App2 pero no en la App1.
{IF defined (pdef1)}
(* this code is processed in App1 *)
{info 'pdef1 defined'}
hugo := hugo + SINT#1;
{ELSE}
(* the following code is only processed in application App2 *)
{info 'pdef1 not defined'}
hugo := hugo - SINT#1;
{END_IF}
Además, se incluye un ejemplo para un mensaje pragma:
Solo se mostrará la información de pdef1 defined en la vista Mensajes cuando se compila la aplicación porque pdef1 está definido. El mensaje pdef1 no definido se mostrará cuando pdef1 no esté definido.
Cuando se aplica a una variable, su valor es TRUE si esta variable en particular está declarada dentro del ámbito actual. De lo contrario, es FALSE.
Ejemplo de defined (variable:variable):
Precondición: hay 2 aplicaciones, App1 y App2. La variable g_bTest está declarada en la App2, pero no en la App1.
{IF defined (variable:g_bTest)}
(* the following code is only processed in application App2 *)
g bTest := x > 300;
{END_IF}
Cuando se aplica a un identificador de tipo, su valor es TRUE si existe un tipo declarado con ese nombre en particular. De lo contrario, es FALSE.
Ejemplo de defined (type:identifier) :
Precondición: hay 2 aplicaciones, App1 y App2. El tipo de datos DUT está definido en la App2 pero no en la App1.
{IF defined (type:DUT)}
(* the following code is only processed in application App1 *)
bDutDefined := TRUE;
{END_IF}
Cuando se aplica a un nombre de POU, su valor es TRUE si se define un POU o una acción con ese nombre de POU determinado. De lo contrario, es FALSE.
Ejemplo de defined (pou: pou-name):
Precondición: hay 2 aplicaciones, App1 y App2. Los CheckBounds de la POU están definidos en la App2, pero no en la App1.
{IF defined (pou:CheckBounds)}
(* the following code is only processed in application App1 *)
arrTest[CheckBounds(0,i,10)] := arrTest[CheckBounds(0,i,10)] + 1;
{ELSE}
(* the following code is only processed in application App2 *)
arrTest[i] := arrTest[i]+1;
{END_IF}
hasattribute (pou: pou-name, attribute)
Cuando se aplica a una POU, su valor es TRUE si este attribute determinado se especifica en la primera línea de la sección de declaración de la POU.
Ejemplo de hasattribute (pou: pou-name, attribute):
Precondición: hay 2 aplicaciones, App1 y App2. La función fun1 está definida en la App1 y la App2, pero en la App1 tiene un atributo vision:
Definición de fun1 en App1:
{attribute 'vision'}
FUNCTION fun1 : INT
VAR_INPUT
i : INT;
END_VAR
VAR
END_VAR
Definición de fun1 en App2:
FUNCTION fun1 : INT
VAR_INPUT
i : INT;
END_VAR
VAR
END_VAR
Instrucción de Pragma
{IF hasattribute (pou: fun1, 'vision')}
(* the following code is only processed in application App1 *)
ergvar := fun1 ivar);
{END_IF}
hasattribute (variable: variable, attribute)
Cuando se aplica a una variable, su valor es TRUE si este atributo determinado se especifica mediante la instrucción {attribute} una línea antes de la declaración de la variable.
Ejemplo de hasattribute (variable: variable, attribute):
Precondición: hay 2 aplicaciones, App1 y App2. La variable g_globalInt se utiliza en la App1 y la App2, pero en la App1 tiene un atributo DoCount :
Declaración de g_globalInt en App1
VAR_GLOBAL
{attribute 'DoCount'}
g_globalInt : INT;
g_multiType : STRING;
END_VAR
Declaración de g_globalInt en App2
VAR_GLOBAL
g_globalInt : INT;
g_multiType : STRING;
END_VAR
Instrucción de Pragma
{IF hasattribute (variable: g_globalInt, 'DoCount')}
(* the following code line will only be processed in App1, because there variable g_globalInt has got the attribute 'DoCount' *)
g_globalInt := g_globalInt + 1;
{END_IF}
hastype (variable:variable, type-spec)
Cuando se aplica a una variable, su valor es TRUE si esta variable determinada tiene type-spec especificado. De lo contrario, es FALSE.
Tipos de datos disponibles en type-spec
oLREAL
oREAL
oLINT
oDINT
oINT
oSINT
oULINT
oUDINT
oUINT
oUSINT
oTIME
oLWORD
oDWORD
oWORD
oBYTE
oBOOL
oSTRING
oWSTRING
oDATE_AND_TIME
oDATE
oTIME_OF_DAY
Ejemplo en el operador hastype (variable: variable, type-spec):
Precondición: hay 2 aplicaciones, App1 y App2. La variable g_multitype está declarada en la App1 con el tipo LREAL y en la aplicación App2 con el tipo STRING:
{IF (hastype (variable: g_multitype, LREAL))}
(* the following code line will be processed only in App1 *)
g_multitype := (0.9 + g_multitype) * 1.1;
{ELSIF (hastype (variable: g_multitype, STRING))}
(* the following code line will be processed only in App2 *)
g_multitype := 'this is a multitalent';
{END_IF}
hasvalue (define-ident, char-string)
Si el definidor (define-ident) está definido y tiene el valor especificado (char-string), entonces su valor es TRUE. De lo contrario, es FALSE.
Ejemplo de hasvalue (define-ident, char-string):
Condición previa: la test de variables se utiliza en las aplicaciones App1 y App2. Obtiene el valor 1 en la App1 y el valor 2 en la App2:
{IF hasvalue(test,'1')}
(* the following code line will be processed in App1, because there variable test has value 1 *)
x := x + 1;
{ELSIF hasvalue(test,'2')}
(* the following code line will be processed in App1, because there variable test has value 2 *)
x := x + 2;
{END_IF}
La expresión obtiene el valor TRUE cuando el valor invertido del operator es TRUE. El operator puede ser uno de los operadores descritos en este capítulo.
Ejemplo de NOT operator:
Precondición: hay 2 aplicaciones, App1 y App2. La POU PLC_PRG1 se utiliza en App1 y App2. La POU CheckBounds solo está disponible en la App1:
{IF defined (pou: PLC_PRG1) AND NOT (defined (pou: CheckBounds))}
(* the following code line is only executed in App2 *)
bANDNotTest := TRUE;
{END_IF}
La expresión obtiene el valor TRUE si ambos operadores son TRUE. El operator puede ser uno de los operadores que aparecen en esta tabla.
Ejemplo de AND operator:
Precondición: hay 2 aplicaciones, App1 y App2. La POU PLC_PRG1 se utiliza en las aplicaciones App1 y App2. La POU CheckBounds solo está disponible en la App1:
{IF defined (pou: PLC_PRG1) AND (defined (pou: CheckBounds))}
(* the following code line will be processed only in applications App1, because only there "PLC_PRG1" and "CheckBounds" are defined *)
bORTest := TRUE;
{END_IF}
La expresión es TRUE si uno de los operadores es TRUE. El operator puede ser uno de los operadores descritos en este capítulo.
Ejemplo de OR operator:
Precondición: la POU PLC_PRG1 se utiliza en las aplicaciones App1 y App2. La POU CheckBounds solo está disponible en la App1:
{IF defined (pou: PLC_PRG1) OR (defined (pou: CheckBounds))}
(* the following code line will be processed in applications App1 and App2, because both contain at least one of the POUs "PLC_PRG1" and "CheckBounds" *)
bORTest := TRUE;
{END_IF}
(operator) operador entre llaves.
