Archivos .bzl

Los atributos implícitos que comienzan con _ deben tener valores predeterminados y tener el tipo label o label_list.

Los atributos explícitos deben tener el tipo string y usar la restricción values. Los atributos explícitos restringen el aspecto para que se use únicamente con reglas que tengan atributos del mismo nombre, tipo y valores válidos según la restricción.

Una lista de proveedores no anidada se convertirá automáticamente en una lista que contenga una lista de proveedores. Es decir, [FooInfo, BarInfo] se convertirá automáticamente en [[FooInfo, BarInfo]].

Para que algunos objetivos de reglas (p.ej., some_rule) sean visibles para un aspecto, some_rule debe promocionar todos los proveedores de, al menos, una de las listas de proveedores obligatorias. Por ejemplo, si las required_providers de un aspecto son [[FooInfo], [BarInfo], [BazInfo, QuxInfo]], este aspecto puede ver los objetivos de some_rule solo si some_rule proporciona FooInfo, o BarInfo, o BazInfo y QuxInfo.

Una lista de proveedores no anidada se convertirá automáticamente en una lista que contenga una lista de proveedores. Es decir, [FooInfo, BarInfo] se convertirá automáticamente en [[FooInfo, BarInfo]].

Para que otro aspecto (p.ej., other_aspect) sea visible para este, other_aspect debe proporcionar todos los proveedores de al menos una de las listas. En el ejemplo de [[FooInfo], [BarInfo], [BazInfo, QuxInfo]], este aspecto puede ver other_aspect solo si other_aspect proporciona FooInfo, o BarInfo, o BazInfo y QuxInfo.

Es un error si la función de implementación omite cualquiera de los tipos de proveedores que se enumeran aquí de su valor que se muestra. Sin embargo, la función de implementación puede mostrar proveedores adicionales que no se mencionan aquí.

Cada elemento de la lista es un objeto *Info que muestra provider(), excepto que un proveedor heredado está representado por su nombre de cadena.Cuando un destino de la regla se usa como dependencia de un destino que declara un proveedor obligatorio, no es necesario especificar ese proveedor aquí. Basta con que la función de implementación lo muestre. Sin embargo, se considera una práctica recomendada especificarlo, aunque esto no es obligatorio. Sin embargo, el campo required_providers de un aspecto requiere que los proveedores se especifiquen aquí.

Por ejemplo, supongamos que un aspecto se propaga transitivamente a través del atributo "deps" y se aplica al destino "alpha". Supongamos que `alpha` tiene `deps = [':beta_output']`, en el que `beta_output` es un resultado declarado de un objetivo `beta`. Supongamos que `beta` tiene un `charlie` de destino como uno de sus `deps`. Si "apply_to_generating_rules=True" para el aspecto, este se propagará a través de "alpha", "beta" y "charlie". Si es falso, el aspecto se propagará solo a "alfa".

Falso de forma predeterminada.

• lista de campos:
  

  provider(fields = ['a', 'b'])

• nombre del campo del diccionario -> documentación:
  

  provider(
         fields = { 'a' : 'Documentation for a', 'b' : 'Documentation for b' })

A continuación, se incluye una descripción precisa. consulta Reglas (Inicialización personalizada de proveedores) para acceder a un análisis y casos de uso intuitivos.

Deja que P sea el símbolo del proveedor que se crea cuando se llama a provider(). De forma conceptual, una instancia de P se genera llamando a una función de constructor predeterminada c(*args, **kwargs), que hace lo siguiente:

• Si args no está vacío, se producirá un error.
• Se produce un error si se especificó el parámetro fields cuando se llamó a provider() y si kwargs contiene alguna clave que no aparecía en fields.
• De lo contrario, c muestra una instancia nueva que tiene, para cada entrada k: v en kwargs, un campo llamado k con el valor v.

MyInfo = provider()
m = MyInfo(foo = 1)

Sin embargo, cuando se especifique init, la llamada a P(*args, **kwargs) realizará los siguientes pasos:

1. La devolución de llamada se invoca como init(*args, **kwargs), es decir, con los mismos argumentos posicionales y de palabras clave que se pasaron a P.
2. Se espera que el valor que se muestre de init sea un diccionario, d, cuyas claves sean cadenas de nombre de campo. De lo contrario, se producirá un error.
3. Se genera una instancia nueva de P como si llamara al constructor predeterminado con las entradas de d como argumentos de palabras clave, como en c(**d).

Nota: Los pasos anteriores implican que se produce un error si *args o **kwargs no coinciden con la firma de init, si falla la evaluación del cuerpo de init (quizás intencionalmente mediante una llamada a fail()) o si el valor que se muestra de init no es un diccionario con el esquema esperado.

De esta manera, la devolución de llamada init generaliza la construcción normal del proveedor, ya que permite argumentos posicionales y lógica arbitraria para el procesamiento previo y la validación. No permite eludir la lista de elementos permitidos de fields.

Cuando se especifica init, el valor que se muestra de provider() se convierte en una tupla (P, r), en la que r es el constructor sin procesar. De hecho, el comportamiento de r es exactamente el de la función de constructor predeterminada c que se mencionó anteriormente. Por lo general, r está vinculado a una variable cuyo nombre tiene un prefijo de guion bajo, de modo que solo el archivo .bzl actual tenga acceso directo a él:

MyInfo, _new_myinfo = provider(init = ...)

Un esquema para definir resultados declarados con anterioridad. A diferencia de los atributos output y output_list, el usuario no especifica las etiquetas para estos archivos. Consulta la página Reglas para obtener más información sobre los resultados declarados previamente.

El valor de este argumento es un diccionario o una función de devolución de llamada que produce un diccionario. La devolución de llamada funciona de manera similar a los atributos de dependencia calculados: los nombres de los parámetros de la función se comparan con los atributos de la regla, por lo que, por ejemplo, si pasas outputs = _my_func con la definición def _my_func(srcs, deps): ..., la función tendrá acceso a los atributos srcs y deps. Ya sea que el diccionario se especifique de forma directa o a través de una función, se interpreta de la siguiente manera:

Cada entrada en el diccionario crea un resultado declarado previamente, en el que la clave es un identificador y el valor es una plantilla de cadenas que determina la etiqueta del resultado. En la función de implementación de la regla, el identificador se convierte en el nombre del campo que se usa para acceder al File del resultado en ctx.outputs. La etiqueta del resultado tiene el mismo paquete que la regla, y la parte posterior al paquete se produce cuando se sustituye cada marcador de posición del formato "%{ATTR}" por una cadena formada a partir del valor del atributo ATTR:

• Los atributos de tipo string se sustituyen textualmente.
• Los atributos con tipo de etiqueta se vuelven parte de la etiqueta después del paquete, menos la extensión del archivo. Por ejemplo, la etiqueta "//pkg:a/b.c" se convierte en "a/b".
• Los atributos con tipo de salida se vuelven parte de la etiqueta después del paquete, incluida la extensión del archivo (para el ejemplo anterior, "a/b.c").
• Todos los atributos escritos por lista (por ejemplo, attr.label_list) que se usan en los marcadores de posición deben tener exactamente un elemento. Su conversión es igual a la versión que no está en la lista (attr.label).
• Es posible que otros tipos de atributos no aparezcan en los marcadores de posición.
• Los marcadores de posición especiales sin atributos %{dirname} y %{basename} se expanden a esas partes de la etiqueta de la regla y excluyen su paquete. Por ejemplo, en "//pkg:a/b.c", el nombre de directorio es a y el nombre base es b.c.

En la práctica, el marcador de posición de sustitución más común es "%{name}". Por ejemplo, para un objetivo llamado "foo", el dict de resultados {"bin": "%{name}.exe"} declara previamente un resultado llamado foo.exe al que se puede acceder en la función de implementación como ctx.outputs.bin.

Es un error si la función de implementación omite cualquiera de los tipos de proveedores que se enumeran aquí de su valor que se muestra. Sin embargo, la función de implementación puede mostrar proveedores adicionales que no se mencionan aquí.

Cada elemento de la lista es un objeto *Info que muestra provider(), excepto que un proveedor heredado está representado por su nombre de cadena.Cuando un destino de la regla se usa como dependencia de un destino que declara un proveedor obligatorio, no es necesario especificar ese proveedor aquí. Basta con que la función de implementación lo muestre. Sin embargo, se considera una práctica recomendada especificarlo, aunque esto no es obligatorio. Sin embargo, el campo required_providers de un aspecto requiere que los proveedores se especifiquen aquí.

Nota: Las reglas de prueba de análisis se definen principalmente con la infraestructura proporcionada en las bibliotecas principales de Starlark. Consulta Pruebas para obtener orientación.

Si una regla se define como una regla de prueba de análisis, se le permite usar transiciones de configuración definidas mediante analysis_test_transition en sus atributos, pero habilita algunas restricciones:

• Los objetivos de esta regla están limitados en la cantidad de dependencias transitivas que pueden tener.
• La regla se considera una regla de prueba (como si se configuraran test=True). Esto reemplaza el valor de test.
• La función de implementación de reglas no puede registrar acciones. En su lugar, debe registrar un resultado aprobado o reprobado proporcionando AnalysisTestResultInfo.

Se llama a la función en el momento de carga para cada instancia de la regla. Se llama con valores de atributos públicos definidos por la regla (no con atributos genéricos, como name o tags).

Debe mostrar un diccionario de los nombres de atributos a los valores deseados. Los atributos que no se muestran no se ven afectados. Si se muestra None como valor, se usará el valor predeterminado especificado en la definición del atributo.

Los inicializadores se evalúan antes que los valores predeterminados especificados en una definición de atributo. En consecuencia, si un parámetro en la firma del inicializador contiene valores predeterminados, este reemplaza el valor predeterminado de la definición del atributo (excepto si muestra None).

Del mismo modo, si un parámetro en la firma del inicializador no tiene un valor predeterminado, será obligatorio. En esos casos, se recomienda omitir la configuración predeterminada o obligatoria en la definición de un atributo.

Se recomienda usar **kwargs para los atributos que no se controlan.

En el caso de las reglas extendidas, se llama a todos los inicializadores como proceso de elemento secundario a principal. A cada inicializador se le pasan solo los atributos públicos que conoce.

Las subreglas solo pueden tener atributos privados de tipo etiqueta (es decir, etiqueta o lista de etiquetas). Bazel pasa automáticamente los valores resueltos correspondientes a estas etiquetas a la función de implementación de la subregla como argumentos con nombre (por lo tanto, la función de implementación debe aceptar parámetros con nombre que coincidan con los nombres de los atributos). Los tipos de estos valores serán los siguientes:

• FilesToRunProvider para los atributos de etiqueta con executable=True
• File para los atributos de etiqueta con allow_single_file=True
• Target para todos los demás atributos de etiqueta
• [Target] para todos los atributos de la lista de etiquetas

Las especificaciones del paquete siguen el mismo formato que para package_group, excepto que no se permiten especificaciones de paquetes negativos. Es decir, una especificación puede tener los siguientes formatos:

• "//foo": Es el paquete //foo.
• "//foo/...": Es el paquete //foo y todos sus subpaquetes.
• "public" o "private": Son todos los paquetes o ninguno, respectivamente.

La "@" la sintaxis no está permitida; todas las especificaciones se interpretan en relación con el repositorio actual del módulo.

Si value es una lista de cadenas, el conjunto de paquetes a los que se otorgó visibilidad para este módulo es la unión de los paquetes representados por cada especificación. (Una lista vacía tiene el mismo efecto que private). Si value es una sola cadena, se trata como si fuera la lista singleton [value].

Ten en cuenta que las marcas --incompatible_package_group_has_public_syntax y --incompatible_fix_package_group_reporoot_syntax no tienen efecto en este argumento. Los valores "public" y "private" siempre están disponibles, y "//..." siempre se interpreta como "todos los paquetes del repositorio actual".