Referensi Kueri Bazel

Halaman ini adalah panduan referensi untuk Bahasa Kueri Bazel yang digunakan saat Anda menggunakan bazel query untuk menganalisis dependensi build. Bagian ini juga menjelaskan format output yang didukung bazel query.

Untuk kasus penggunaan praktis, lihat Petunjuk Kueri Bazel.

Referensi kueri tambahan

Selain query, yang berjalan pada grafik target fase pasca-pemuatan, Bazel menyertakan kueri grafik tindakan dan kueri yang dapat dikonfigurasi.

Kueri grafik tindakan

Kueri grafik tindakan (aquery) beroperasi di Grafik Target Terkonfigurasi pasca analisis dan mengekspos informasi tentang Tindakan, Artefak, serta hubungannya. aquery berguna saat Anda tertarik dengan properti Tindakan/Artefak yang dihasilkan dari Grafik Target yang Dikonfigurasi. Misalnya, perintah aktual berjalan beserta input, output, dan mnemoniknya.

Untuk detail selengkapnya, lihat referensi kueri.

Kueri yang dapat dikonfigurasi

Kueri Bazel tradisional berjalan pada grafik target fase pasca-pemuatan sehingga tidak memiliki konsep konfigurasi dan konsep terkaitnya. Secara khusus, aplikasi ini tidak menyelesaikan pernyataan pilih dengan benar dan menampilkan semua kemungkinan resolusi pilihan. Namun, lingkungan kueri yang dapat dikonfigurasi, cquery, menangani konfigurasi dengan benar, tetapi tidak menyediakan semua fungsi kueri asli ini.

Untuk detail selengkapnya, lihat referensi cquery.

Contoh

Bagaimana cara orang menggunakan bazel query? Berikut contoh umumnya:

Mengapa pohon //foo bergantung pada //bar/baz? Menampilkan jalur:

somepath(foo/..., //bar/baz:all)

Library C++ apa yang melakukan semua pengujian foo bergantung pada yang tidak diandalkan oleh target foo_bin?

kind("cc_library", deps(kind(".*test rule", foo/...)) except deps(//foo:foo_bin))

Token: Sintaksis leksik

Ekspresi dalam bahasa kueri terdiri dari token berikut:

• Kata kunci, seperti let. Kata kunci adalah kata-kata khusus dalam bahasa tersebut, dan masing-masing dijelaskan di bawah ini. Rangkaian lengkap kata kunci adalah:

  • except

  • in

  • intersect

  • let

  • set

  • union

• Kata, seperti "foo/..." atau ".*test rule" atau "//bar/baz:all". Jika urutan karakternya "diberi tanda kutip" (dimulai dan diakhiri dengan tanda kutip tunggal ' atau diawali dan diakhiri dengan tanda kutip ganda "), itu adalah kata. Jika urutan karakter tidak dikutip, karakter tersebut masih dapat diurai sebagai kata. Kata yang tidak dikutip adalah urutan karakter yang diambil dari karakter alfabet A-Za-z, angka 0-9, dan karakter khusus */@.-_:$~[] (tanda bintang, garis miring, di, titik, tanda hubung, garis bawah, titik dua, tanda dolar, tanda gelombang, kurung kurawal kiri, kurung kurawal kanan). Namun, kata yang tidak dikutip tidak boleh diawali dengan tanda hubung - atau tanda bintang * meskipun [nama target][(/concepts/labels#target-names) relatif mungkin diawali dengan karakter tersebut.

  Kata yang tidak dikutip juga tidak boleh menyertakan karakter tanda plus + atau sama dengan tanda =, meskipun karakter tersebut diizinkan dalam nama target. Saat menulis kode yang menghasilkan ekspresi kueri, nama target harus diberi tanda kutip.

  Mengutip diperlukan saat menulis skrip yang membuat ekspresi kueri Bazel dari nilai yang disediakan pengguna.

   //foo:bar+wiz    # WRONG: scanned as //foo:bar + wiz.
   //foo:bar=wiz    # WRONG: scanned as //foo:bar = wiz.
   "//foo:bar+wiz"  # OK.
   "//foo:bar=wiz"  # OK.
  

  Perlu diketahui bahwa penawaran ini merupakan tambahan untuk kutipan yang mungkin diperlukan oleh shell Anda, seperti:

  bazel query ' "//foo:bar=wiz" '   # single-quotes for shell, double-quotes for Bazel.
  

  Kata kunci dan operator, jika dikutip, diperlakukan sebagai kata-kata biasa. Misalnya, some adalah kata kunci, tetapi "beberapa" adalah kata. foo dan "foo" adalah kata.

  Namun, berhati-hatilah saat menggunakan tanda kutip tunggal atau ganda dalam nama target. Saat mengutip satu atau beberapa nama target, hanya gunakan satu jenis tanda kutip (baik semua tanda kutip tunggal maupun ganda).

  Berikut adalah contoh dari string kueri Java:

    'a"'a'         # WRONG: Error message: unclosed quotation.
    "a'"a"         # WRONG: Error message: unclosed quotation.
    '"a" + 'a''    # WRONG: Error message: unexpected token 'a' after query expression '"a" + '
    "'a' + "a""    # WRONG: Error message: unexpected token 'a' after query expression ''a' + '
    "a'a"          # OK.
    'a"a'          # OK.
    '"a" + "a"'    # OK
    "'a' + 'a'"    # OK
  

  Kami memilih sintaksis ini sehingga tanda kutip tidak diperlukan dalam banyak kasus. Contoh ".*test rule" (yang tidak biasa) memerlukan tanda kutip: contoh tersebut dimulai dengan titik dan berisi spasi. Kutipan "cc_library" tidak perlu tetapi tidak berbahaya.

• Tanda baca, seperti tanda kurung (), titik ., dan koma ,. Kata yang berisi tanda baca (selain pengecualian yang tercantum di atas) harus dikutip.

Karakter spasi kosong di luar kata yang dikutip akan diabaikan.

Konsep bahasa kueri Bazel

Bahasa kueri Bazel adalah bahasa ekspresi. Setiap ekspresi bernilai kumpulan target yang diurutkan sebagian, atau yang setara, grafik (DAG) target. Ini adalah satu-satunya jenis data.

Set dan grafik merujuk pada jenis data yang sama, tetapi menekankan aspeknya yang berbeda, misalnya:

• Tetapkan: Urutan sebagian target tidak menarik.
• Grafik: Urutan sebagian target bersifat signifikan.

Siklus dalam grafik dependensi

Grafik dependensi build harus asiklik.

Algoritma yang digunakan oleh bahasa kueri dimaksudkan untuk digunakan dalam grafik asiklik, tetapi andal terhadap siklus. Detail tentang cara penanganan siklus tidak ditentukan dan tidak boleh diandalkan.

Dependensi implisit

Selain mem-build dependensi yang ditentukan secara eksplisit dalam file BUILD, Bazel menambahkan dependensi implisit tambahan ke aturan. Misalnya, setiap aturan Java secara implisit bergantung pada JavaBuilder. Dependensi implisit dibuat menggunakan atribut yang diawali dengan $ dan tidak dapat diganti dalam file BUILD.

Per default bazel query memperhitungkan dependensi implisit saat menghitung hasil kueri. Perilaku ini dapat diubah dengan opsi --[no]implicit_deps. Perlu diketahui bahwa, karena kueri tidak mempertimbangkan konfigurasi, toolchain potensial tidak pernah dipertimbangkan.

Kesehatan

Ekspresi bahasa kueri Bazel beroperasi di atas grafik dependensi build, yang merupakan grafik yang secara implisit didefinisikan oleh semua deklarasi aturan dalam semua file BUILD. Perlu dipahami bahwa grafik ini agak abstrak, dan bukan merupakan deskripsi lengkap tentang cara melakukan semua langkah build. Agar dapat menjalankan build, Anda juga memerlukan konfigurasi. lihat bagian konfigurasi dalam Panduan Pengguna untuk detail lebih lanjut.

Hasil evaluasi ekspresi dalam bahasa kueri Bazel adalah benar untuk semua konfigurasi, yang berarti bahwa ekspresi tersebut mungkin merupakan perkiraan berlebihan yang konservatif, dan tidak terlalu tepat. Jika Anda menggunakan alat kueri untuk menghitung kumpulan semua file sumber yang diperlukan selama build, alat ini mungkin melaporkan lebih dari yang sebenarnya diperlukan karena, misalnya, alat kueri akan menyertakan semua file yang diperlukan untuk mendukung terjemahan pesan, meskipun Anda tidak ingin menggunakan fitur tersebut di build.

Tentang pemeliharaan urutan grafik

Operasi mempertahankan batasan pengurutan apa pun yang diwarisi dari subekspresinya. Anda dapat menganggap ini sebagai "hukum konservasi urutan parsial". Pertimbangkan contohnya: jika Anda mengeluarkan kueri untuk menentukan penutupan transitif dependensi target tertentu, kumpulan yang dihasilkan akan diurutkan sesuai dengan grafik dependensi. Jika Anda memfilter yang ditetapkan untuk menyertakan hanya target jenis file, hubungan pengurutan parsial transitif yang sama akan berlaku di antara setiap pasangan target dalam subset yang dihasilkan, meskipun tidak satu pun pasangan ini yang benar-benar terhubung langsung dalam grafik asli. (Tidak ada tepi file-file dalam grafik dependensi build).

Namun, meskipun semua operator mempertahankan pesanan, beberapa operasi, seperti operasi yang ditetapkan, tidak memperkenalkan batasan pengurutannya sendiri. Pertimbangkan ekspresi ini:

deps(x) union y

Urutan kumpulan hasil akhir dijamin dapat mempertahankan semua batasan pengurutan subekspresinya, yaitu, bahwa semua dependensi transitif x diurutkan dengan benar satu sama lain. Namun, kueri tidak menjamin apa pun terkait urutan target di y, atau tentang pengurutan target di deps(x) secara relatif terhadap target dalam y (kecuali untuk target dalam y yang juga kebetulan ada di deps(x)).

Operator yang menerapkan batasan pengurutan mencakup: allpaths, deps, rdeps, somepath, dan karakter pengganti pola target package:*, dir/..., dll.

Kueri terkait langit

Sky Query adalah mode kueri yang beroperasi pada cakupan alam semesta tertentu.

Fungsi khusus yang hanya tersedia di SkyQuery

Mode Sky Query memiliki fungsi kueri tambahan allrdeps dan rbuildfiles. Fungsi ini beroperasi di seluruh cakupan alam semesta (itulah sebabnya fungsi ini tidak masuk akal untuk Kueri normal).

Menentukan cakupan alam semesta

Mode Kueri Sky diaktifkan dengan meneruskan dua flag berikut: (--universe_scope atau --infer_universe_scope) dan --order_output=no. --universe_scope=<target_pattern1>,...,<target_patternN> memberi tahu kueri untuk memuat di awal penutupan transitif dari pola target yang ditentukan oleh pola target, yang dapat bersifat tambahan dan pengurangan. Semua kueri kemudian dievaluasi dalam "cakupan". Secara khusus, operator allrdeps dan rbuildfiles hanya menampilkan hasil dari cakupan ini. --infer_universe_scope memberi tahu Bazel untuk menyimpulkan nilai --universe_scope dari ekspresi kueri. Nilai yang disimpulkan ini adalah daftar pola target unik dalam ekspresi kueri, tetapi mungkin bukan ini yang Anda inginkan. Contoh:

bazel query --infer_universe_scope --order_output=no "allrdeps(//my:target)"

Daftar pola target unik dalam ekspresi kueri ini adalah ["//my:target"], sehingga Bazel memperlakukan ini sama seperti pemanggilan:

bazel query --universe_scope=//my:target --order_output=no "allrdeps(//my:target)"

Namun, hasil kueri dengan --universe_scope tersebut hanya //my:target; tidak satu pun dari dependensi terbalik //my:target ada di alam semesta, secara konstruksi. Di sisi lain, pertimbangkan:

bazel query --infer_universe_scope --order_output=no "tests(//a/... + b/...) intersect allrdeps(siblings(rbuildfiles(my/starlark/file.bzl)))"

Ini adalah pemanggilan kueri bermakna yang mencoba menghitung target pengujian dalam perluasan tests target di bawah beberapa direktori yang secara transitif bergantung pada target yang definisinya menggunakan file .bzl tertentu. Di sini, --infer_universe_scope berguna, terutama jika pilihan --universe_scope mengharuskan Anda mengurai ekspresi kueri sendiri.

Jadi, untuk ekspresi kueri yang menggunakan operator cakupan alam semesta seperti allrdeps dan rbuildfiles pastikan untuk menggunakan --infer_universe_scope hanya jika perilakunya sesuai dengan yang Anda inginkan.

Sky Query memiliki beberapa kelebihan dan kekurangan dibandingkan dengan kueri {i>default<i}. Kekurangan utamanya adalah tidak dapat mengurutkan outputnya sesuai dengan urutan grafik, sehingga format output tertentu dilarang. Keuntungannya adalah tersedia dua operator (allrdeps dan rbuildfiles) yang tidak tersedia di kueri default. Selain itu, Sky Query melakukan tugasnya dengan memasukkan grafik Skyframe, bukan membuat grafik baru, yang merupakan fungsi implementasi default. Oleh karena itu, ada beberapa situasi saat proses ini lebih cepat dan menggunakan lebih sedikit memori.

Ekspresi: Sintaksis dan semantik tata bahasa

Ini adalah tata bahasa dari bahasa kueri Bazel, yang dinyatakan dalam notasi EBNF:

expr ::= word
       | let name = expr in expr
       | (expr)
       | expr intersect expr
       | expr ^ expr
       | expr union expr
       | expr + expr
       | expr except expr
       | expr - expr
       | set(word *)
       | word '(' int | word | expr ... ')'

Bagian berikut menjelaskan setiap produksi tata bahasa ini secara berurutan.

Pola target

expr ::= word

Secara sintaksis, pola target hanyalah sebuah kata. Hal ini ditafsirkan sebagai sekumpulan target (yang tidak berurutan). Pola target yang paling sederhana adalah label, yang mengidentifikasi satu target (file atau aturan). Misalnya, pola target //foo:bar dievaluasi ke kumpulan yang berisi satu elemen, target, aturan bar.

Pola target menggeneralisasi label untuk menyertakan karakter pengganti pada paket dan target. Misalnya, foo/...:all (atau hanya foo/...) adalah pola target yang mengevaluasi ke kumpulan yang berisi semua aturan dalam setiap paket secara rekursif di bawah direktori foo; bar/baz:all adalah pola target yang mengevaluasi ke kumpulan yang berisi semua aturan dalam paket bar/baz, tetapi bukan sub-paketnya.

Demikian pula, foo/...:* adalah pola target yang bernilai kumpulan yang berisi semua target (aturan dan file) di setiap paket secara rekursif di bawah direktori foo; bar/baz:* mengevaluasi ke kumpulan yang berisi semua target dalam paket bar/baz, tetapi bukan sub-paketnya.

Karena karakter pengganti :* cocok dengan file serta aturan, karakter tersebut sering kali lebih berguna daripada :all untuk kueri. Sebaliknya, karakter pengganti :all (implisit dalam pola target seperti foo/...) biasanya lebih berguna untuk build.

Pola target bazel query berfungsi sama seperti target build bazel build. Untuk mengetahui detail selengkapnya, lihat Pola Target, atau ketik bazel help target-syntax.

Pola target dapat bernilai kumpulan singleton (dalam kasus label), kumpulan yang berisi banyak elemen (seperti pada kasus foo/..., yang memiliki ribuan elemen) atau ke kumpulan kosong, jika pola target tidak cocok dengan target.

Semua node dalam hasil ekspresi pola target diurutkan dengan benar secara relatif terhadap satu sama lain sesuai dengan hubungan dependensi. Jadi, hasil dari foo:* bukan hanya merupakan kumpulan target dalam paket foo, tetapi juga grafik terkait target tersebut. (Tidak ada jaminan yang diberikan terkait pengurutan relatif node hasil terhadap node lain.) Untuk detail selengkapnya, lihat bagian urutan grafik.

Variabel

expr ::= let name = expr1 in expr2
       | $name

Bahasa kueri Bazel memungkinkan definisi dan referensi ke variabel. Hasil evaluasi ekspresi let sama dengan hasil expr₂, dengan semua kemunculan bebas variabel name diganti dengan nilai expr₁.

Misalnya, let v = foo/... in allpaths($v, //common) intersect $v setara dengan allpaths(foo/...,//common) intersect foo/....

Kemunculan referensi variabel name selain dalam ekspresi let name = ... penutup merupakan error. Dengan kata lain, ekspresi kueri tingkat teratas tidak boleh memiliki variabel gratis.

Dalam produksi tata bahasa di atas, name sama seperti kata, tetapi dengan batasan tambahan bahwa kata tersebut merupakan ID resmi dalam bahasa pemrograman C. Referensi ke variabel harus diawali dengan karakter "$".

Setiap ekspresi let hanya menentukan satu variabel, tetapi Anda dapat menyarangkannya.

Pola target dan referensi variabel hanya terdiri dari satu token, satu kata, dan menciptakan ambiguitas sintaksis. Namun, tidak ada ambiguitas semantik karena sebagian kata yang merupakan nama variabel hukum terpisah dari subkumpulan kata yang merupakan pola target hukum.

Secara teknis, ekspresi let tidak meningkatkan keekspresifan bahasa kueri: kueri apa pun yang dapat dinyatakan dalam bahasa tersebut juga dapat dinyatakan tanpanya. Namun, metode tersebut akan meningkatkan keringkasan banyak kueri, dan juga dapat menyebabkan evaluasi kueri yang lebih efisien.

Ekspresi dalam tanda kurung

expr ::= (expr)

Tanda kurung mengaitkan subekspresi untuk memaksa urutan evaluasi. Ekspresi yang diberi tanda kurung mengevaluasi nilai argumennya.

Operasi kumpulan aljabar: persimpangan, gabungan, perbedaan kumpulan

expr ::= expr intersect expr
       | expr ^ expr
       | expr union expr
       | expr + expr
       | expr except expr
       | expr - expr

Ketiga operator ini menghitung operasi set yang biasa atas argumen mereka. Setiap operator memiliki dua bentuk, bentuk nominal, seperti intersect, dan bentuk simbolik, seperti ^. Kedua formulir itu setara; bentuk simbolik lebih cepat untuk diketik. (Agar lebih jelas, bagian lain dari halaman ini menggunakan bentuk nominal.)

Misalnya,

foo/... except foo/bar/...

bernilai kumpulan target yang cocok dengan foo/..., namun tidak dengan foo/bar/....

Anda dapat menulis kueri yang sama dengan:

foo/... - foo/bar/...

Operasi intersect (^) dan union (+) bersifat komutatif (simetris); except (-) asimetris. Parser memperlakukan ketiga operator sebagai terkait kiri dan berprioritas sama, sehingga Anda mungkin memerlukan tanda kurung. Misalnya, dua ekspresi pertama berikut setara, tetapi yang ketiga tidak:

x intersect y union z
(x intersect y) union z
x intersect (y union z)

Target baca dari sumber eksternal: ditetapkan

expr ::= set(word *)

Operator set(a b c ...) menghitung gabungan kumpulan pola target nol atau beberapa, yang dipisahkan dengan spasi kosong (tanpa koma).

Bersama dengan fitur $(...) shell Bourne, set() menyediakan cara untuk menyimpan hasil satu kueri dalam file teks biasa, memanipulasi file teks tersebut menggunakan program lain (seperti alat shell UNIX standar), lalu memperkenalkan kembali hasilnya ke alat kueri sebagai nilai untuk diproses lebih lanjut. Contoh:

bazel query deps(//my:target) --output=label | grep ... | sed ... | awk ... > foo
bazel query "kind(cc_binary, set($(<foo)))"

Pada contoh berikutnya,kind(cc_library, deps(//some_dir/foo:main, 5)) dihitung dengan memfilter nilai maxrank menggunakan program awk.

bazel query 'deps(//some_dir/foo:main)' --output maxrank | awk '($1 < 5) { print $2;} ' > foo
bazel query "kind(cc_library, set($(<foo)))"

Dalam contoh ini, $(<foo) adalah singkatan untuk $(cat foo), tetapi perintah shell selain cat juga dapat digunakan—seperti perintah awk sebelumnya.

Fungsi

expr ::= word '(' int | word | expr ... ')'

Bahasa kueri mendefinisikan beberapa fungsi. Nama fungsi menentukan jumlah dan jenis argumen yang diperlukan. Fungsi berikut tersedia:

• allpaths
• attr
• buildfiles
• rbuildfiles
• deps
• filter
• kind
• labels
• loadfiles
• rdeps
• allrdeps
• same_pkg_direct_rdeps
• siblings
• some
• somepath
• tests
• visible

Penutupan transitif dependensi: dependensi

expr ::= deps(expr)
       | deps(expr, depth)

Operator deps(x) mengevaluasi ke grafik yang dibentuk oleh penutupan transitif dependensi kumpulan argumennya x. Misalnya, nilai deps(//foo) adalah grafik dependensi yang di-root pada foo node tunggal, termasuk semua dependensinya. Nilai deps(foo/...) adalah grafik dependensi yang root-nya adalah semua aturan dalam setiap paket di bawah direktori foo. Dalam konteks ini, 'dependensi' hanya berarti target aturan dan file sehingga file BUILD dan Starlark yang diperlukan untuk membuat target tersebut tidak disertakan di sini. Untuk itu, Anda harus menggunakan operator buildfiles.

Grafik yang dihasilkan diurutkan sesuai dengan hubungan dependensi. Untuk detail selengkapnya, lihat bagian tentang urutan grafik.

Operator deps menerima argumen kedua opsional, yang merupakan literal bilangan bulat yang menentukan batas atas pada kedalaman penelusuran. Jadi, deps(foo:*, 0) menampilkan semua target dalam paket foo, sedangkan deps(foo:*, 1) selanjutnya menyertakan prasyarat langsung dari target apa pun dalam paket foo, dan deps(foo:*, 2) selanjutnya mencakup node yang langsung dijangkau dari node di deps(foo:*, 1), dan seterusnya. (Angka ini sesuai dengan peringkat yang ditampilkan dalam format output minrank.) Jika parameter depth dihilangkan, penelusuran tidak akan dibatasi: penelusuran ini menghitung penutupan transitif refleksif prasyarat.

Penutupan transitif dependensi terbalik: rdeps

expr ::= rdeps(expr, expr)
       | rdeps(expr, expr, depth)

Operator rdeps(u, x) mengevaluasi dependensi terbalik dari argumen yang ditetapkan x dalam penutupan transitif kumpulan u di alam semesta.

Grafik yang dihasilkan diurutkan sesuai dengan hubungan dependensi. Lihat bagian urutan grafik untuk detail selengkapnya.

Operator rdeps menerima argumen ketiga opsional, yang merupakan literal bilangan bulat yang menentukan batas atas pada kedalaman penelusuran. Grafik yang dihasilkan hanya menyertakan node dalam jarak kedalaman yang ditentukan dari node mana pun dalam set argumen. Jadi, rdeps(//foo, //common, 1) mengevaluasi ke semua node dalam penutupan transitif //foo yang secara langsung bergantung pada //common. (Angka ini sesuai dengan peringkat yang ditampilkan dalam format output minrank.) Jika parameter depth dihilangkan, penelusuran tidak akan dibatasi.

Penutupan transitif untuk semua dependensi terbalik: allrdeps

expr ::= allrdeps(expr)
       | allrdeps(expr, depth)

Operator allrdeps berperilaku seperti operator rdeps, kecuali bahwa "kumpulan alam semesta" adalah apa pun yang dievaluasi oleh flag --universe_scope, bukan ditentukan secara terpisah. Jadi, jika --universe_scope=//foo/... diteruskan, allrdeps(//bar) setara dengan rdeps(//foo/..., //bar).

Dependensi terbalik langsung dalam paket yang sama: same_pkg_direct_rdeps

expr ::= same_pkg_direct_rdeps(expr)

Operator same_pkg_direct_rdeps(x) melakukan evaluasi terhadap kumpulan lengkap target yang ada dalam paket yang sama dengan target dalam kumpulan argumen, dan mana yang bergantung langsung padanya.

Menangani paket target: saudara kandung

expr ::= siblings(expr)

Operator siblings(x) mengevaluasi ke kumpulan lengkap target yang ada dalam paket yang sama dengan target dalam kumpulan argumen.

Pilihan arbitrer: beberapa

expr ::= some(expr)
       | some(expr, count )

Operator some(x, k) memilih maksimal k target secara acak dari kumpulan argumennya x, dan mengevaluasi ke kumpulan yang hanya berisi target tersebut. Parameter k bersifat opsional; jika tidak ada, hasilnya akan berupa kumpulan singleton yang hanya berisi satu target yang dipilih secara arbitrer. Jika ukuran kumpulan argumen x lebih kecil dari k, seluruh kumpulan argumen x akan ditampilkan.

Misalnya, ekspresi some(//foo:main union //bar:baz) bernilai kumpulan singleton yang berisi //foo:main atau //bar:baz—meskipun sudah tidak ada yang ditentukan. Ekspresi some(//foo:main union //bar:baz, 2) atau some(//foo:main union //bar:baz, 3) menampilkan //foo:main dan //bar:baz.

Jika argumennya adalah singleton, some akan menghitung fungsi identitas: some(//foo:main) setara dengan //foo:main.

Akan terjadi error jika kumpulan argumen yang ditentukan kosong, seperti dalam ekspresi some(//foo:main intersect //bar:baz).

Operator jalur: somepath, allpaths

expr ::= somepath(expr, expr)
       | allpaths(expr, expr)

Operator somepath(S, E) dan allpaths(S, E) menghitung jalur antara dua kumpulan target. Kedua kueri menerima dua argumen, yaitu satu set S titik awal dan satu set E titik akhir. somepath menampilkan grafik node pada beberapa jalur arbitrer dari target di S ke target di E; allpaths menampilkan grafik node di jalur semua dari target mana pun di S ke target mana pun di E.

Grafik yang dihasilkan diurutkan sesuai dengan hubungan dependensi. Lihat bagian urutan grafik untuk detail selengkapnya.

Pemfilteran jenis target: jenis

expr ::= kind(word, expr)

Operator kind(pattern, input) menerapkan filter ke sekumpulan target, dan menghapus target tersebut yang bukan jenis yang diharapkan. Parameter pattern menentukan jenis target yang akan dicocokkan.

Misalnya, jenis untuk empat target yang ditentukan oleh file BUILD (untuk paket p) yang ditampilkan di bawah ini diilustrasikan dalam tabel:

        genrule(
            name = "a",
            srcs = ["a.in"],
            outs = ["a.out"],
            cmd = "...",
        )
      

Dengan demikian, kind("cc_.* rule", foo/...) bernilai kumpulan semua cc_library, cc_binary, dll., target aturan di bawah foo, dan kind("source file", deps(//foo)) bernilai kumpulan semua file sumber dalam penutupan transitif dependensi target //foo.

Kutipan argumen pattern sering kali diperlukan karena tanpanya, banyak ekspresi reguler, seperti source file dan .*_test, yang tidak dianggap sebagai kata oleh parser.

Saat mencocokkan untuk package group, target yang diakhiri dengan :all mungkin tidak memberikan hasil apa pun. Gunakan :all-targets sebagai gantinya.

Pemfilteran nama target: filter

expr ::= filter(word, expr)

Operator filter(pattern, input) menerapkan filter ke sekumpulan target, dan menghapus target yang labelnya (dalam bentuk absolutnya) tidak cocok dengan polanya; operator tersebut mengevaluasi ke subset inputnya.

Argumen pertama, pattern adalah kata yang berisi ekspresi reguler daripada nama target. Ekspresi filter dievaluasi pada kumpulan yang berisi semua target x sehingga x adalah anggota kumpulan input dan label (dalam bentuk absolut, seperti //foo:bar) dari x berisi kecocokan (tidak ditautkan) untuk ekspresi reguler pattern. Karena semua nama target diawali dengan //, nama ini dapat digunakan sebagai alternatif untuk anchor ekspresi reguler ^.

Operator ini sering kali memberikan alternatif yang jauh lebih cepat dan lebih andal untuk operator intersect. Misalnya, untuk melihat semua dependensi bar dari target //foo:foo, seseorang dapat mengevaluasi

deps(//foo) intersect //bar/...

Namun, pernyataan ini memerlukan penguraian semua file BUILD dalam hierarki bar, yang akan lambat dan rentan terhadap error dalam file BUILD yang tidak relevan. Alternatifnya adalah:

filter(//bar, deps(//foo))

yang pertama akan menghitung kumpulan dependensi //foo lalu hanya memfilter target yang cocok dengan pola yang diberikan—dengan kata lain, target dengan nama yang berisi //bar sebagai substring.

Penggunaan umum lainnya dari operator filter(pattern, expr) adalah untuk memfilter file tertentu berdasarkan nama atau ekstensinya. Misalnya,

filter("\.cc$", deps(//foo))

akan memberikan daftar semua file .cc yang digunakan untuk membuat //foo.

Pemfilteran atribut aturan: attr

expr ::= attr(word, word, expr)

Operator attr(name, pattern, input) menerapkan filter ke sekumpulan target, dan menghapus target yang bukan aturan, target aturan yang tidak memiliki atribut name yang ditentukan, atau target aturan yang nilai atributnya tidak cocok dengan ekspresi reguler pattern yang diberikan. Operator ini dievaluasi ke subset inputnya.

Argumen pertama, name adalah nama atribut aturan yang harus dicocokkan dengan pola ekspresi reguler yang diberikan. Argumen kedua, pattern adalah ekspresi reguler pada nilai atribut. Ekspresi attr dievaluasi ke kumpulan yang berisi semua target x sehingga x adalah anggota dari kumpulan input, merupakan aturan dengan atribut yang ditentukan name, dan nilai atribut berisi kecocokan (tidak ditambatkan) untuk ekspresi reguler pattern. Jika name adalah atribut opsional dan aturan tidak menentukannya secara eksplisit, nilai atribut default akan digunakan untuk perbandingan. Misalnya,

attr(linkshared, 0, deps(//foo))

akan memilih semua dependensi //foo yang diizinkan memiliki atribut linkshared (seperti aturan cc_binary) dan menyetelnya secara eksplisit ke 0 atau tidak menetapkannya sama sekali, kecuali nilai defaultnya adalah 0 (misalnya untuk aturan cc_binary).

Atribut jenis daftar (seperti srcs, data, dll.) dikonversi menjadi string berformat [value<sub>1</sub>, ..., value<sub>n</sub>], dimulai dengan tanda kurung [, diakhiri dengan tanda kurung ] dan menggunakan "," (koma, spasi) untuk membatasi beberapa nilai. Label dikonversi menjadi string dengan menggunakan bentuk absolut dari label. Misalnya, atribut deps=[":foo", "//otherpkg:bar", "wiz"] akan dikonversi menjadi string [//thispkg:foo, //otherpkg:bar, //thispkg:wiz]. Tanda kurung besar selalu ada, sehingga daftar kosong akan menggunakan nilai string [] untuk tujuan pencocokan. Misalnya,

attr("srcs", "\[\]", deps(//foo))

akan memilih semua aturan di antara dependensi //foo yang memiliki atribut srcs kosong, sedangkan

attr("data", ".{3,}", deps(//foo))

akan memilih semua aturan di antara dependensi //foo yang menentukan setidaknya satu nilai dalam atribut data (setiap label memiliki minimal 3 karakter karena // dan :).

Untuk memilih semua aturan di antara dependensi //foo dengan value tertentu dalam atribut jenis daftar, gunakan

attr("tags", "[\[ ]value[,\]]", deps(//foo))

Ini berfungsi karena karakter sebelum value akan menjadi [ atau spasi dan karakter setelah value akan berupa koma atau ].

Pemfilteran visibilitas aturan: terlihat

expr ::= visible(expr, expr)

Operator visible(predicate, input) menerapkan filter ke kumpulan target, dan menghapus target tanpa visibilitas yang diperlukan.

Argumen pertama, predicate, adalah kumpulan target yang harus dilihat oleh semua target dalam output. Ekspresi visible dievaluasi pada kumpulan yang berisi semua target x sehingga x adalah anggota dari kumpulan input, dan untuk semua target, y dalam predicate x, dapat dilihat oleh y. Contoh:

visible(//foo, //bar:*)

akan memilih semua target dalam paket //bar yang dapat diandalkan //foo tanpa melanggar batasan visibilitas.

Evaluasi atribut aturan label jenis: label

expr ::= labels(word, expr)

Operator labels(attr_name, inputs) menampilkan kumpulan target yang ditentukan dalam atribut attr_name dari jenis "label" atau "daftar label" dalam beberapa aturan dalam kumpulan inputs.

Misalnya, labels(srcs, //foo) menampilkan kumpulan target yang muncul dalam atribut srcs aturan //foo. Jika ada beberapa aturan dengan atribut srcs dalam kumpulan inputs, gabungan srcs-nya akan ditampilkan.

Luaskan dan filter test_suites: pengujian

expr ::= tests(expr)

Operator tests(x) menampilkan kumpulan semua aturan pengujian dalam kumpulan x, yang memperluas aturan test_suite ke dalam kumpulan pengujian individual yang dirujuknya, dan menerapkan pemfilteran menurut tag dan size.

Secara default, evaluasi kueri akan mengabaikan target non-pengujian di semua aturan test_suite. Ini dapat diubah menjadi error dengan opsi --strict_test_suite.

Misalnya, kueri kind(test, foo:*) mencantumkan semua aturan *_test dan test_suite dalam paket foo. Semua hasilnya (menurut definisi) anggota paket foo. Sebaliknya, kueri tests(foo:*) akan menampilkan semua pengujian individual yang akan dijalankan oleh bazel test foo:*: ini mungkin mencakup pengujian yang termasuk dalam paket lain, yang direferensikan secara langsung atau tidak langsung melalui aturan test_suite.

File definisi paket: buildfiles

expr ::= buildfiles(expr)

Operator buildfiles(x) menampilkan kumpulan file yang menentukan paket dari setiap target dalam kumpulan x; dengan kata lain, untuk setiap paket, file BUILD-nya, ditambah file .bzl apa pun yang direferensikannya melalui load. Perhatikan bahwa tindakan ini juga menampilkan file BUILD paket yang berisi file load ini.

Operator ini biasanya digunakan saat menentukan file atau paket yang diperlukan untuk membuat target yang ditentukan, sering kali bersama dengan opsi --output package, di bawah). Misalnya,

bazel query 'buildfiles(deps(//foo))' --output package

menampilkan kumpulan semua paket yang secara transitif bergantung //foo.

File definisi paket: rbuildfiles

expr ::= rbuildfiles(word, ...)

Operator rbuildfiles mengambil daftar fragmen jalur yang dipisahkan koma dan menampilkan kumpulan file BUILD yang secara transitif bergantung pada fragmen jalur ini. Misalnya, jika //foo adalah paket, maka rbuildfiles(foo/BUILD) akan menampilkan target //foo:BUILD. Jika file foo/BUILD memiliki load('//bar:file.bzl'... di dalamnya, rbuildfiles(bar/file.bzl) akan menampilkan target //foo:BUILD, serta target untuk file BUILD lainnya yang memuat //bar:file.bzl

Cakupan operator rbuildfiles adalah dunia yang ditentukan oleh flag --universe_scope. File yang tidak berkaitan langsung dengan file BUILD dan file .bzl tidak memengaruhi hasilnya. Misalnya, file sumber (seperti foo.cc) akan diabaikan, meskipun disebutkan secara eksplisit dalam file BUILD. Namun, symlink akan diterapkan, sehingga jika foo/BUILD adalah symlink ke bar/BUILD, rbuildfiles(bar/BUILD) akan menyertakan //foo:BUILD dalam hasilnya.

Operator rbuildfiles hampir secara moral adalah kebalikan dari operator buildfiles. Namun, inversi moral ini berpegang lebih kuat dalam satu arah: output rbuildfiles sama seperti input buildfiles; yang pertama hanya akan berisi target file BUILD dalam paket, dan yang kedua mungkin berisi target tersebut. Di arah lain, korespondensinya lebih lemah. Output operator buildfiles adalah target yang sesuai dengan semua paket dan .File bzl yang diperlukan oleh input tertentu. Namun, input operator rbuildfiles bukan target tersebut, melainkan fragmen jalur yang sesuai dengan target tersebut.

File definisi paket: loadfiles

expr ::= loadfiles(expr)

Operator loadfiles(x) menampilkan kumpulan file Starlark yang diperlukan untuk memuat paket dari setiap target dalam kumpulan x. Dengan kata lain, untuk setiap paket, metode ini menampilkan file .bzl yang direferensikan dari file BUILD-nya.

Format output

bazel query menghasilkan grafik. Anda menentukan konten, format, dan pengurutan yang digunakan bazel query untuk menyajikan grafik ini menggunakan opsi command line --output.

Saat berjalan dengan Sky Query, hanya format output yang kompatibel dengan output tidak berurutan yang diizinkan. Secara khusus, format output graph, minrank, dan maxrank dilarang.

Beberapa format output menerima opsi tambahan. Nama setiap opsi output diawali dengan format output yang menerapkannya, sehingga --graph:factored hanya berlaku saat --output=graph sedang digunakan; dan tidak berpengaruh jika format output selain graph digunakan. Demikian pula, --xml:line_numbers hanya berlaku jika --output=xml sedang digunakan.

Dalam urutan hasil

Meskipun ekspresi kueri selalu mengikuti "hukum konservasi urutan grafik", presentasi hasil dapat dilakukan dengan cara yang diurutkan berdasarkan dependensi atau tidak berurutan. Hal ini tidak memengaruhi target dalam kumpulan hasil atau cara kueri dihitung. Hal ini hanya memengaruhi cara hasil dicetak ke stdout. Selain itu, node yang setara dalam urutan dependensi mungkin atau mungkin tidak diurutkan menurut abjad. Flag --order_output dapat digunakan untuk mengontrol perilaku ini. (Flag --[no]order_results memiliki subset fungsi flag --order_output dan tidak digunakan lagi.)

Nilai default tanda ini adalah auto, yang mencetak hasil dalam urutan leksikografis. Namun, saat somepath(a,b) digunakan, hasilnya akan dicetak dalam urutan deps.

Jika tanda ini adalah no dan --output adalah salah satu dari build, label, label_kind, location, package, proto, atau xml, output akan dicetak dalam urutan arbitrer. Biasanya ini adalah opsi tercepat. Namun, metode ini tidak didukung jika --output adalah salah satu dari graph, minrank, atau maxrank: dengan format ini, Bazel akan selalu mencetak hasil yang diurutkan berdasarkan urutan atau peringkat dependensi.

Jika flag ini adalah deps, Bazel akan mencetak hasil dalam beberapa urutan topologi—yaitu, dependensi terlebih dahulu. Namun, node yang tidak diurutkan berdasarkan urutan dependensi (karena tidak ada jalur dari salah satunya) dapat dicetak dalam urutan apa pun.

Jika tanda ini adalah full, Bazel akan mencetak node dalam urutan yang sepenuhnya deterministik (total). Pertama, semua node diurutkan menurut abjad. Kemudian, setiap node dalam daftar digunakan sebagai awal penelusuran mendalam pasca-urutan, yang mana tepi keluar ke node yang tidak dikunjungi akan dilintasi sesuai urutan abjad dari node penerus. Akhirnya, {i>node<i} dicetak dengan kebalikan urutan kunjungannya.

Pencetakan node dalam urutan ini mungkin lebih lambat, sehingga sebaiknya hanya digunakan jika determinisme penting.

Cetak bentuk sumber target seperti yang akan muncul di BUILD

--output build

Dengan opsi ini, representasi setiap target seolah-olah ditulis dengan tangan dalam bahasa BUILD. Semua variabel dan panggilan fungsi (seperti glob, makro) diperluas, yang berguna untuk melihat efek makro Starlark. Selain itu, setiap aturan yang efektif melaporkan nilai generator_name dan/atau generator_function), sehingga memberi nama makro yang dievaluasi untuk membuat aturan yang efektif.

Meskipun output menggunakan sintaksis yang sama dengan file BUILD, output tersebut tidak dijamin akan menghasilkan file BUILD yang valid.

Cetak label setiap target

--output label

Dengan opsi ini, kumpulan nama (atau label) setiap target dalam grafik yang dihasilkan akan dicetak, satu label per baris, dalam urutan topologi (kecuali --noorder_results ditentukan, lihat catatan tentang urutan hasil). (Pengurutan topologi adalah urutan saat node grafik muncul lebih awal dari semua penerusnya.) Tentu saja ada banyak kemungkinan urutan topologi grafik (postorder terbalik hanyalah satu); yang mana yang dipilih tidak ditentukan.

Saat mencetak output kueri somepath, urutan pencetakan node adalah urutan jalur.

Peringatan: dalam beberapa kasus sudut, mungkin ada dua target yang berbeda dengan label yang sama; misalnya, aturan sh_binary dan satu-satunya file srcs (implisit) dapat disebut foo.sh. Jika hasil kueri berisi kedua target ini, output (dalam format label) akan tampak berisi duplikat. Saat menggunakan format label_kind (lihat di bawah), perbedaannya menjadi jelas: dua target memiliki nama yang sama, tetapi satu target memiliki jenis sh_binary rule dan jenis source file lainnya.

Cetak label dan jenis setiap target

--output label_kind

Seperti label, format output ini mencetak label setiap target dalam grafik yang dihasilkan, dalam urutan topologis, tetapi juga mendahului label dengan jenis target.

Mencetak target dalam format buffering protokol

--output proto

Mencetak output kueri sebagai buffering protokol QueryResult.

Mencetak target dalam format buffering protokol yang dibatasi panjang

--output streamed_proto

Mencetak aliran buffering protokol Target yang dipisahkan dengan panjang. Ini berguna untuk (i) mengatasi batasan ukuran buffering protokol saat ada terlalu banyak target yang tidak dapat dimuat dalam satu QueryResult atau (ii) untuk memulai pemrosesan saat Bazel masih menghasilkan output.

Mencetak target dalam format proto teks

--output textproto

Serupa dengan --output proto, mencetak buffering protokol QueryResult, tetapi dalam format teks.

Mencetak target dalam format ndjson

--output streamed_jsonproto

Serupa dengan --output streamed_proto, mencetak aliran buffering protokol Target, tetapi dalam format ndjson.

Cetak label setiap target, dalam urutan peringkat

--output minrank --output maxrank

Seperti label, format output minrank dan maxrank mencetak label setiap target dalam grafik yang dihasilkan. Namun, format tersebut muncul dalam urutan peringkat, diawali dengan nomor peringkat, bukan muncul dalam urutan topologi. Hal ini tidak terpengaruh oleh flag --[no]order_results pengurutan hasil (lihat catatan tentang urutan hasil).

Ada dua varian untuk format ini: minrank memberi peringkat pada setiap node berdasarkan panjang jalur terpendek dari node root ke node tersebut. Node "root" (yang tidak memiliki tepi yang masuk) memiliki peringkat 0, penerusnya memiliki peringkat 1, dst. (Seperti biasa, edge mengarah dari target ke prasyaratnya: target yang menjadi dependensinya.)

maxrank memberi peringkat setiap node berdasarkan panjang jalur terpanjang dari node root ke node tersebut. Sekali lagi, "root" memiliki peringkat 0, semua node lain memiliki peringkat yang lebih besar dari peringkat maksimum semua pendahulunya.

Semua node dalam siklus dianggap memiliki peringkat yang sama. (Sebagian besar grafik bersifat asiklik, tetapi siklus memang terjadi hanya karena file BUILD berisi siklus yang salah.)

Format output ini berguna untuk menemukan seberapa dalam grafik. Jika digunakan untuk hasil kueri deps(x), rdeps(x), atau allpaths, nomor peringkat akan sama dengan panjang jalur terpendek (dengan minrank) atau terpanjang (dengan maxrank) dari x ke node dalam peringkat tersebut. maxrank dapat digunakan untuk menentukan urutan langkah build terpanjang yang diperlukan untuk mem-build target.

Misalnya, grafik di sebelah kiri menghasilkan output di sebelah kanan jika --output minrank dan --output maxrank ditentukan.

minrank 0 //c:c 1 //b:b 1 //a:a 2 //b:b.cc 2 //a:a.cc

maxrank 0 //c:c 1 //b:b 2 //a:a 2 //b:b.cc 3 //a:a.cc

Mencetak lokasi setiap target

--output location

Seperti label_kind, opsi ini akan mencetak jenis dan label target untuk setiap target dalam hasil, tetapi diawali dengan string yang menjelaskan lokasi target tersebut, sebagai nama file dan nomor baris. Formatnya menyerupai output grep. Dengan demikian, alat yang dapat mengurai yang kedua (seperti Emacs atau vi) juga dapat menggunakan output kueri untuk menelusuri serangkaian kecocokan, sehingga alat kueri Bazel dapat digunakan sebagai "grep for BUILD file" berbasis dependensi.

Informasi lokasi bervariasi menurut jenis target (lihat operator jenis). Untuk aturan, lokasi deklarasi aturan dalam file BUILD akan dicetak. Untuk file sumber, lokasi baris 1 file sebenarnya akan dicetak. Untuk file yang dihasilkan, lokasi aturan yang menghasilkannya akan dicetak. (Alat kueri tidak memiliki informasi yang memadai untuk menemukan lokasi sebenarnya dari file yang dihasilkan, dan dalam kasus apa pun, alat ini mungkin tidak ada jika build belum dijalankan.)

Mencetak kumpulan paket

--output package

Opsi ini mencetak nama semua paket yang memiliki beberapa target dalam kumpulan hasil. Nama-nama tersebut dicetak dalam urutan leksikografis; duplikat dikecualikan. Secara formal, ini adalah proyeksi dari kumpulan label (paket, target) ke paket.

Paket di repositori eksternal diformat sebagai @repo//foo/bar, sedangkan paket di repositori utama diformat sebagai foo/bar.

Bersama dengan kueri deps(...), opsi output ini dapat digunakan untuk menemukan kumpulan paket yang harus diperiksa untuk mem-build serangkaian target tertentu.

Menampilkan grafik hasil

--output graph

Opsi ini menyebabkan hasil kueri dicetak sebagai grafik terarah dalam format AT&T GraphViz yang populer. Biasanya, hasilnya disimpan ke file, seperti .png atau .svg. (Jika program dot tidak diinstal di workstation, Anda dapat menginstalnya menggunakan perintah sudo apt-get install graphviz.) Lihat contoh bagian di bawah untuk mengetahui contoh pemanggilan.

Format output ini sangat berguna untuk kueri allpaths, deps, atau rdeps, yang hasilnya mencakup kumpulan jalur yang tidak dapat divisualisasikan dengan mudah saat dirender dalam bentuk linear, seperti dengan --output label.

Secara default, grafik dirender dalam bentuk difaktorkan. Artinya, node yang setara secara topologis digabungkan menjadi satu node dengan beberapa label. Hal ini membuat grafik lebih ringkas dan mudah dibaca, karena grafik hasil standar berisi pola yang sangat berulang. Misalnya, aturan java_library mungkin bergantung pada ratusan file sumber Java, semuanya dihasilkan oleh genrule yang sama; dalam grafik faktor, semua file ini diwakili oleh satu node. Perilaku ini dapat dinonaktifkan dengan opsi --nograph:factored.

--graph:node_limit n

Opsi ini menentukan panjang maksimum string label untuk node grafik dalam output. Label yang lebih panjang akan terpotong; -1 menonaktifkan pemotongan. Dikarenakan bentuk faktor yang biasanya digunakan untuk mencetak grafik, label node mungkin sangat panjang. GraphViz tidak dapat menangani label yang melebihi 1.024 karakter, yang merupakan nilai default opsi ini. Opsi ini tidak berpengaruh kecuali jika --output=graph digunakan.

--[no]graph:factored

Secara default, grafik ditampilkan dalam bentuk faktor, seperti yang dijelaskan di atas. Jika --nograph:factored ditentukan, grafik akan dicetak tanpa faktor. Hal ini membuat visualisasi menggunakan GraphViz tidak praktis, tetapi format yang lebih sederhana dapat memudahkan pemrosesan oleh alat lain (seperti grep). Opsi ini tidak berpengaruh kecuali jika --output=graph digunakan.

XML

--output xml

Opsi ini menyebabkan target yang dihasilkan dicetak dalam bentuk XML. Outputnya dimulai dengan header XML seperti ini

  <?xml version="1.0" encoding="UTF-8"?>
  <query version="2">

kemudian dilanjutkan dengan elemen XML untuk setiap target dalam grafik hasil, dalam urutan topologi (kecuali jika hasil yang tidak berurutan diminta), lalu diakhiri dengan tanda penghentian

</query>

Entri sederhana ditampilkan untuk target jenis file:

  <source-file name='//foo:foo_main.cc' .../>
  <generated-file name='//foo:libfoo.so' .../>

Namun, untuk aturan, XML memiliki struktur dan berisi definisi semua atribut aturan tersebut, termasuk atribut yang nilainya tidak ditentukan secara eksplisit dalam file BUILD aturan.

Selain itu, hasilnya menyertakan elemen rule-input dan rule-output sehingga topologi grafik dependensi dapat direkonstruksi tanpa harus mengetahui bahwa, misalnya, elemen atribut srcs adalah dependensi maju (prasyarat) dan isi atribut outs adalah dependensi mundur (konsumen).

Elemen rule-input untuk dependensi implisit akan disembunyikan jika --noimplicit_deps ditentukan.

  <rule class='cc_binary rule' name='//foo:foo' ...>
    <list name='srcs'>
      <label value='//foo:foo_main.cc'/>
      <label value='//foo:bar.cc'/>
      ...
    </list>
    <list name='deps'>
      <label value='//common:common'/>
      <label value='//collections:collections'/>
      ...
    </list>
    <list name='data'>
      ...
    </list>
    <int name='linkstatic' value='0'/>
    <int name='linkshared' value='0'/>
    <list name='licenses'/>
    <list name='distribs'>
      <distribution value="INTERNAL" />
    </list>
    <rule-input name="//common:common" />
    <rule-input name="//collections:collections" />
    <rule-input name="//foo:foo_main.cc" />
    <rule-input name="//foo:bar.cc" />
    ...
  </rule>

Setiap elemen XML untuk target berisi atribut name, yang nilainya adalah label target, dan atribut location, yang nilainya adalah lokasi target seperti yang dicetak oleh --output location.

--[no]xml:line_numbers

Secara default, lokasi yang ditampilkan dalam output XML berisi nomor baris. Jika --noxml:line_numbers ditentukan, nomor baris tidak akan dicetak.

--[no]xml:default_values

Secara default, output XML tidak menyertakan atribut aturan yang nilainya adalah nilai default untuk jenis atribut tersebut (misalnya, jika tidak ditentukan dalam file BUILD, atau nilai default diberikan secara eksplisit). Opsi ini menyebabkan nilai atribut tersebut disertakan dalam output XML.

Ekspresi reguler

Ekspresi reguler dalam bahasa kueri menggunakan library ekspresi reguler Java, sehingga Anda dapat menggunakan sintaksis lengkap untuk java.util.regex.Pattern.

Membuat kueri dengan repositori eksternal

Jika build bergantung pada aturan dari repositori eksternal (ditentukan dalam file WORKSPACE), hasil kueri akan menyertakan dependensi ini. Misalnya, jika //foo:bar bergantung pada //external:some-lib dan //external:some-lib terikat ke @other-repo//baz:lib, maka bazel query 'deps(//foo:bar)' akan mencantumkan @other-repo//baz:lib dan //external:some-lib sebagai dependensi.

Repositori eksternal itu sendiri bukan dependensi build. Artinya, dalam contoh di atas, //external:other-repo bukan dependensi. Namun, ini dapat dikueri sebagai anggota paket //external, misalnya:

  # Querying over all members of //external returns the repository.
  bazel query 'kind(http_archive, //external:*)'
  //external:other-repo

  # ...but the repository is not a dependency.
  bazel query 'kind(http_archive, deps(//foo:bar))'
  INFO: Empty results