otags - Dalam talian di Awan

JADUAL:

NAMA

otags - menjana fail tag untuk emacs dan vi/vim daripada sumber OCaml

SINOPSIS

otag [STATIK-PILIHAN] ... [FAIL] ... [PILIHAN DINAMIK] ... [FAIL] ...

DESCRIPTION

otag menjana TAGS fail untuk emacs and tags fail untuk vi/VIM untuk memberikan editor ini
keupayaan untuk terus melompat ke fungsi dan definisi nilai (gunakan M-. dalam Emacs dan ^] in
vi[m] dengan kursor pada simbol).

otag menggunakan camlp4 untuk menghurai. Ini lebih tepat daripada pengetegan berasaskan ungkapan biasa.
Kelemahannya, otag hanya boleh menandai fail yang betul secara sintaksis. Tambahan pula, otag is
OCaml versi khusus: Sumber untuk disusun OCaml versi XY boleh, secara amnya,
hanya ditag dengan otag versi XY.

otag boleh tag semua fail yang camlp4 boleh menghurai. Secara dalaman otag menyimpan a semasa parser
senarai yang boleh diubah suai dengan pilihan -pc (senarai jelas), -pa (tambah ke senarai), dan -pr
(set semula kepada lalai). Nilai lalai bagi semasa parser senarai sepadan dengan standard
OCaml sintaks (mengandungi parser r and o, lihat SAMBUNGAN PARSING CAMLP4 STANDARD
di bawah). Setiap fail sumber dihuraikan dengan a camlp4 parser di mana semua sambungan penghuraian
daripada semasa parser senarai telah dimuatkan. The camlp4 penghurai standard dipautkan ke
otag dan sekiranya semasa parser senarai mengandungi hanya penghurai sedemikian maka modul penghuraian adalah
membina secara dalaman. Jika tidak luaran camlp4 proses dimulakan.

otag menandai semua item peringkat atas dalam struktur dan tandatangan, termasuk operator infix dan
modul bersarang dan tandatangan. Ia juga menandakan pembolehubah dan kaedah contoh dalam kelas dan
jenis kelas. Nama fail FAIL pada baris arahan dihuraikan sebagai antara muka jika mereka mempunyai a
.mli akhiran dan sebagai pelaksanaan jika mereka mempunyai a .ml akhiran. (Lihat juga dinamik
pilihan -intf and -impl.)

otag boleh menandakan semua fail dalam pepohon direktori (jika pilihan -r diberikan). Fail yang
dijana oleh ocamllex or ocamlyacc atau yang memerlukan prapemprosesan dengan camlp4 makro
parser mesti, walau bagaimanapun, ditandakan dalam direktori yang sama di mana alat ini telah dijalankan.
Ini kerana talian mengarahkan itu ocamllex and ocamlyacc dimasukkan ke dalam fail yang dihasilkan
adalah relatif kepada direktori kerja semasa proses penjanaan. Untuk camlp4
makro penghurai an TERMASUK arahan boleh diselesaikan berbanding dengan kerja semasa
direktori camlp4 proses. Oleh itu, jika anda menandai fail tersebut daripada fail yang berbeza
direktori anda akan mendapat mesej ralat.

Apabila menandakan keseluruhan pepohon direktori secara rekursif, seseorang boleh menentukan pengecualian daripada
semasa parser senarai dalam fail pembayang parser atau pokok direktori, lihat pilihan -penghuraikan-petunjuk and
FAIL PETUNJUK PARSING di bawah.

Fail tag boleh mengandungi nama fail mutlak dan/atau relatif. Otags menggunakan nama fail daripada
baris arahan untuk fail tag. Menentukan nama fail relatif pada baris arahan
oleh itu akan memberi anda fail tag dengan nama fail relatif. Jelas sekali, fail tag dengan
nama fail relatif hanya akan berfungsi jika ia terletak dalam direktori di mana otag adalah
bermula. Otags menyokong menulis fail tag dengan nama fail relatif dalam induk
direktori melalui pilihan -laluan-tambah, lihat CONTOH di bawah.

STATIK PILIHAN

Pilihan statik berkuat kuasa pada keseluruhan program dijalankan, tanpa mengira kedudukan mereka dalam
baris perintah.

-r Turun ke dalam direktori. Dengan pilihan ini, jika salah satu daripada FAIL hujah ialah a
direktori otag akan menandakan secara rekursif semua fail dalam keseluruhan pepohon direktori ini.

-o fail
Tulis tag kepada fail. Lalai adalah TAGS (Untuk emacs) dan tags Untuk vi (sekiranya -vi
pilihan diberikan) dalam direktori semasa. Jika fail adalah sengkang ( - ) tag adalah
ditulis kepada keluaran standard.

-a Tambah pada fail TAGS sedia ada (hanya berfungsi untuk fail TAGS emacs).

-vi Hasilkan tag untuk vi dan tukar fail output lalai menjadi tags.

-I dir Tambah dir direktori ke camlp4 laluan carian untuk fail objek untuk luaran camlp4
menghuraikan panggilan.

-laluan tambah-laluan
Tambah jalan di hadapan setiap nama fail relatif dalam fail tag. Berguna apabila
anda mahu meletakkan fail tag dalam direktori induk.

fail -parser-hints
Gunakan pembayang penghurai dalam fail atau pepohon direktori yang ditentukan. bila-bila otag tags
fail yang muncul dalam fail pembayang parser, ia menggunakan parser yang dinyatakan di sana
bukannya semasa parser senarai, lihat FAIL PETUNJUK PARSING di bawah. Pilihan ini boleh
diberikan beberapa kali untuk memproses beberapa fail petunjuk. Jika fail adalah direktori kemudian
semua fail dalam pokok itu diproses sebagai fail pembayang parser.

-turun
Versi cetak dan keluar.

-v Verbose. Cetak nama fail semasa ia dihuraikan dan baris arahan untuk luaran
bermula camlp4 proses penghuraian (jika ada). Jika -v ialah hujah baris arahan pertama
jejak belakang untuk pengecualian didayakan dan dicetak jika pengecualian terlepas dan
tamat otag (yang dianggap sebagai pepijat yang saya akan menghargai pepijat
laporan).

-q Diam.

-bantu Cetak senarai pilihan.

--bantu Alias ​​untuk -membantu

DYNAMIC PILIHAN

Pilihan dinamik hanya mempengaruhi hujah yang mengikutinya pada baris arahan.

-intf FAIL
Parse dan tag FAIL sebagai antara muka.

-impl FAIL
Parse dan tag FAIL sebagai pelaksanaan.

-pc Kosongkan semasa parser senarai.

-pa penghurai
Tambah parser kepada semasa parser senarai. Jika parser bukanlah satu daripada piawaian
parser yang diedarkan dengan camlp4 kemudian fail berikut dihuraikan
berasingan camlp4 proses(es). parser mesti diterima oleh camlp4 -penghuraikan, Iaitu,
ia mestilah nama parser camlp4 standard atau fail bytecode (.cmo) atau perpustakaan
(.cma).

-pr Tetapkan semula semasa parser senarai kepada nilai lalainya (parse standard OCaml tanpa
sambungan).

-pp Mencetak semasa parser senarai.

-luaran
Memaksa otag untuk menghuraikan semua fail berikut dengan fail luaran camlp4 proses.

-pelatih
Tukar kembali kepada penghuraian dalaman (lalai).

PARSING HIJAU FILES

Fail pembayang penghuraian ialah fail teks ringkas yang menentukan penghurai untuk fail tertentu. Ini adalah
berguna apabila menandakan secara rekursif dengan pilihan -r. Berikut adalah contoh untuk beberapa fail daripada
yang OCaml pengedaran:

oq:
camlp4/examples/parse_files.ml
o rq g:
camlp4/examples/macros.ml
camlp4/examples/arith.ml
rf nyahpepijat:
camlp4/Camlp4Bin.ml
camlp4/mkcamlp4.ml
camlp4/camlp4prof.ml
camlp4/camlp4prof.mli

Format fail pembayang parser adalah seperti berikut. Baris dan baris kosong bermula dengan ``#''
tidak diendahkan. Fail pembayang parser terdiri daripada bilangan bahagian yang sewenang-wenangnya. Setiap bahagian
bermula dengan baris ditamatkan bertindih yang menentukan penghurai untuk digunakan dengan ruang
senarai nama penghurai yang dipisahkan (seperti yang diterima oleh pilihan -pa). Baki daripada
bahagian mengandungi nama fail, satu setiap baris. Ruang putih mendahului dan mengekori diabaikan.

CONTOH

Tag beberapa fail in yang asal and beberapa in yang disemak sintaks:

otag asal.ml -pc -pa r disemak.ml -pr asal.ml

. -pc adalah perlu kerana, untuk camlp4, asal OCaml sintaks ialah lanjutan daripada
sintaks yang disemak. Oleh itu, lalai semasa parser senarai mengandungi penghurai r sudah
dan menambah r tidak akan mengubah semasa parser senarai.

Tag fail bersama petikan (sintaks hos asal dan sintaks petikan yang disemak semula):

otag -pa rq qotation.ml

Tag fail Bahawa penggunaan yang sexplib sambungan:

otag -I /usr/lib/ocaml/type-conv -I /usr/lib/ocaml/sexplib -pa pa_type_conv.cmo
-pa pa_sexp_conv.cmo use_sexp.ml

. -I pilihan menentukan direktori di mana pa_type_conv.cmo and pa_sexp_conv.cmo adalah
terletak pada sistem.

Tag fail in a subdirektori menjaga yang tags fail in ibu bapa direktori

cd subdir; otag -o ../TAGS -laluan-tambah subdir ...

Prosedur rumit ini hanya perlu jika terdapat fail di dalamnya subdir dengan garisan
arahan yang mengandungi nama fail relatif (contohnya, dihasilkan oleh ocamllex or
ocamlyacc berlari ke dalam subdir) dan apabila terdapat sudirektori lain yang bahannya
harus ditambah kepada ../TAGS. Jika tiada fail dengan arahan baris relatif seseorang boleh
hanya guna"otag -r" dalam direktori yang mengandungi subdir. Jika tiada yang lain
subdirektori seseorang boleh meletakkan fail tag ke dalam subdir tanpa menggunakan -o atau -add-path.

STANDARD CAMLP4 PARSING PERLUASAN

Pada masa ini tiada dokumentasi mengenai nama dan alias yang merujuk kepada standard camlp4
modul penghuraian. Juga kebergantungan antara modul tersebut kebanyakannya tidak didokumenkan. The
hanya sumber maklumat ialah fail camlp4/Camlp4Bin.ml dalam OCaml Pengedaran.

Senarai berikut menerangkan pengecam yang camlp4 -penghuraikan merawat secara khusus. ini
Oleh itu, adalah senarai standard camlp4 penghurai. Untuk pengecam ini, kes tidak
penting (mereka disalurkan melalui String.huruf kecil sebelum dipadankan). Kebergantungan
yang disenaraikan di sini dirawat secara automatik secara ajaib oleh camlp4 and otag.

r, ocamlr, ocamlrevised, pa_r.cmo, camlp4ocamlrevisedparser.cmo
Sintaks yang disemak tanpa penghurai strim.

rr, Reloaded, ocamlreloaded, camlp4ocamlreloadedparser.cmo
Varian sintaks yang disemak (penggunaan tidak diketahui).

o, ocaml, pa_o.cmo, camlp4ocamlparser.cmo
Sintaks asal tanpa penghurai strim. Bergantung pada parser r.

rp, rparser, pa_rp.cmo, camlp4ocamlrevisedparserparser.cmo
Sintaks yang disemak dengan penghurai strim. (Lihat pepijat #5134 untuk OCaml 3.12.0 dan lebih awal.)
Bergantung pada parser r.

op, parser, pa_op.cmo, camlp4ocamlparserparser.cmo
Sintaks asal dengan penghurai strim. Bergantung pada parser r, o, rp

g, tatabahasa, pa_extend.cmo, pa_extend_m.cmo, camlp4grammarparser.cmo
Sambungan tatabahasa.

m, makro, pa_macro.cmo, camlp4macroparser.cmo
Makro dan bersyarat.

q, camlp4quotationexpander.cmo
Petikan Reflektif. Sambungan penghuraian ini mengambil sintaks hos semasa dan
menambah pengembang petikan menggunakan sintaks semasa supaya tatabahasa yang terhasil
adalah reflektif: Menukar sintaks hos selepas itu juga mempengaruhi petikan
sintaks. Bergantung pada modul Camlp4QuotationCommon (infrastruktur sebut harga biasa).

rq, q_mlast.cmo, camlp4ocamlrevisedquotationexpander.cmo
Sebut Harga Semakan. Menambah petikan dalam sintaks yang disemak. Hos dan sebut harga
penghuraian kekal bebas. Bergantung pada modul Camlp4QuotationCommon (biasa
infrastruktur sebut harga).

oq, camlp4ocamloriginalquotationexpander.cmo
OCaml asal dengan petikan asal. Memuatkan OCaml asal (tanpa aliran
parser) sebagai sintaks hos dan sebagai sintaks petikan. Hos dan sintaks petikan ialah
bebas (tidak reflektif). Bergantung pada parser ocamlr, ocaml dan modul
Camlp4QuotationCommon

rf Semakan penuh. Sediakan sintaks yang disemak dengan penghurai strim, sambungan tatabahasa, senarai
pemahaman dan makro serta menambah petikan reflektif. Bergantung kepada
parser/modul r, rp, Camlp4QuotationCommon, q, g, comp, m.

of Asal penuh. Sediakan OCaml asal dengan penghurai strim, sambungan tatabahasa, senarai
pemahaman dan makro serta menambah petikan reflektif (iaitu petikan dalam
sintaks asal). (Lihat pepijat #5129 untuk OCaml 3.12.0 dan lebih awal.) Bergantung pada
parser/modul r, o, rp, op, Camlp4QuotationCommon, q, g, comp and m.

comp, camlp4listcomprehension.cmo
Senaraikan pemahaman.

debug, camlp4debugparser, camlp4debugparser.cmo
Kenyataan nyahpepijat debug and camlp4_debug. Perluasan kenyataan tersebut
bergantung kepada nilai pembolehubah persekitaran STATIC_CAMLP4_DEBUG begitu juga
entri teg yang dihasilkan mungkin bergantung pada pembolehubah ini.

DIAGNOSTIK

Ralat parse dilaporkan dengan normal camlp4 mesej ralat. Tiada teg dijana untuk
fail yang menghasilkan ralat. Penandaan diteruskan dengan fail seterusnya, dalam kes ini.

Ralat "Sumber asal tidak tersedia" dilaporkan jika fail ke mana baris
rujukan arahan tidak dapat ditemui. Ini mungkin berlaku jika otag dimulakan dengan cara yang berbeza
direktori daripada program yang menghasilkan fail yang rosak.

Otags wujud dengan "Senarai penghurai kosong untuk ..." apabila cuba memproses fail dengan
kosong semasa parser senarai. Ini berlaku apabila tidak -pa pilihan berikut -pc.

Otags cetakan "Arahan peringkat atasan ditemui dalam ... Langkau fail." untuk fail yang mengandungi peringkat atas
arahan. Masalahnya ialah maklumat lokasi dalam pokok sintaks abstrak adalah
tidak betul selepas arahan peringkat atas, lihat pepijat #5127.

Melarikan diri daripada pengecualian dan penegasan yang ditamatkan otag dianggap sebagai pepijat. Jika mereka
berlaku, sila gunakan pilihan -v as pertama suis baris arahan untuk mendapatkan jejak belakang pengecualian
dan serahkan ini dengan semua maklumat yang berkaitan sebagai laporan pepijat.

EXIT STATUS

0 semuanya berjalan lancar

1 ralat penghuraian atau beberapa ralat lain telah berlaku dan otag melangkau fail yang terjejas

2 ralat maut yang disebabkan otag untuk menggugurkan kandungan

3 beberapa pepijat menyebabkan ranap sistem, yang daripadanya otag hanya boleh pulih sedikit

DIKENALI MASALAH

. camlp4 and OCaml penghurai sentiasa berbeza dengan cara yang halus. membuat camlp4 bebas daripada
OCaml memburukkan lagi masalah. camlp4 versi 4.02.3 hanya menerima sangat sedikit atribut. Ia
tidak menerima atribut blok atau berdiri sendiri (mereka yang mempunyai [@@ and [@@@) atau nod sambungan (
[% or [%%). Otags oleh itu gagal pada banyak gagal daripada OCaml perpustakaan standard.

HILANG CIRI-CIRI

Melampirkan pada fail tag vi memerlukan membaca semula fail tag sedia ada, kerana tag vi
fail disusun.

Tidak serasi camlp4 pokok sintaks (daripada luaran camlp4 proses penghuraian) dikesan
dengan nombor ajaib. Walau bagaimanapun, yang tidak serasi camlp4 berkemungkinan akan mati apabila ia cuba memuatkan
yang otag khusus camlp4 mesin pencetak. Ralat pemuat dinamik yang membawa maut seperti ini dilayan
ralat penghuraian, kerana camlp4 menghasilkan status keluar yang sama dalam kedua-dua kes.

KREDIT

Cuihtlauac Alvarado dan Jean-Francois Monin adalah yang pertama mengeksploitasi camlp4 untuk penandaan
OCaml fail. Versi ini adalah penulisan semula yang lengkap, berdasarkan yang baharu camlp4 dari OCaml
versi 3.10 dan seterusnya.

Gunakan otag dalam talian menggunakan perkhidmatan onworks.net