Especificar cuándo y dónde se aplica una anotación

  • Artículo

Cuando una anotación es condicional, puede requerir otras anotaciones para especificarlo al analizador. Por ejemplo, si una función tiene una variable que puede ser sincrónica o asincrónica, la función se comporta de la siguiente manera: en el caso sincrónico, siempre se ejecuta correctamente, pero, en el caso asincrónico, notifica un error si no se puede ejecutar correctamente de forma inmediata. Cuando se llama a la función de forma sincrónica, comprobar el valor de resultado no proporciona ningún valor al analizador de código porque no habría devuelto resultados. Sin embargo, cuando se llama a la función de forma asincrónica y no se comprueba el resultado de la función, podría producirse un error grave. En este ejemplo se muestra una situación en la que podría usar la anotación _When_, descrita más adelante en este artículo, para habilitar la comprobación.

Anotaciones estructurales

Para controlar cuándo y dónde se aplican las anotaciones, use las siguientes anotaciones estructurales.

Annotation Descripción
_At_(expr, anno-list) expr es una expresión que produce un valor lvalue. Las anotaciones de anno-list se aplican al objeto denominado por expr. Para cada anotación de anno-list, expr se interpreta en condición previa si la anotación se interpreta en condición previa y en condición posterior si la anotación se interpreta en condición posterior.
_At_buffer_(expr, iter, elem-count, anno-list) expr es una expresión que produce un valor lvalue. Las anotaciones de anno-list se aplican al objeto denominado por expr. Para cada anotación de anno-list, expr se interpreta en condición previa si la anotación se interpreta en condición previa y en condición posterior si la anotación se interpreta en condición posterior.

iter es el nombre de una variable cuyo ámbito es la anotación (incluido anno-list). iter tiene un tipo implícito long. Las variables con nombre idéntico en cualquier ámbito envolvente están ocultas de la evaluación.

elem-count es una expresión que se evalúa como un entero.
_Group_(anno-list) Se considera que todas las anotaciones de anno-list tienen algún calificador que se aplique a la anotación de grupo que se aplica a cada anotación.
_When_(expr, anno-list) expr es una expresión que se puede convertir en bool. Cuando es distinto de cero (true), las anotaciones especificadas en anno-list se consideran aplicables.

De forma predeterminada, para cada anotación de anno-list, expr se interpreta como que usa los valores de entrada si la anotación es una condición previa y como que usa los valores de salida si la anotación es una condición posterior. Para invalidar el valor predeterminado, puede usar la función intrínseca _Old_ al evaluar una condición posterior para indicar que se deben usar los valores de entrada. Nota: Es posible que se habiliten diferentes anotaciones como consecuencia de usar _When_ si un valor mutable (por ejemplo, *pLength) está involucrado porque el resultado evaluado de expr en la condición previa puede diferir de su resultado evaluado en la condición posterior.

Consulte también