camlp5r.opt - Online di Cloud

PROGRAM:

NAMA

camlp5 - Pre-Precessor-Pretty-Printer untuk ocaml
mkcamlp5 - Buat camlp5 khusus
mkcamlp5.opt - Buat camlp5 khusus (kode asli)
ocpp5 - Praprosesor universal

RINGKASAN

campp5 [ opsi beban ] [--] [ opsi lain ]
campp5o [ opsi beban ] [--] [ opsi lain ]
camlp5r [ opsi beban ] [--] [ opsi lain ]
camlp5sch [ opsi beban ] [--] [ opsi lain ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [load-opsi] file

camlp5o.opt [--] [ pilihan lain ]
camlp5r.opt [--] [ pilihan lain ]

DESKRIPSI

campp5 adalah Pre-Processor-Pretty-Printer untuk OCaml, mem-parsing file sumber dan mencetak
beberapa hasil pada output standar.

camlp5o, camlp5r dan camlp5sch adalah versi dari campp5 dengan beberapa file yang sudah dimuat (lihat
lebih jauh).

camlp5o.cma, camlp5r.cma dan camlp5sch.cma adalah file yang akan dimuat di tingkat atas ocaml untuk digunakan
mesin campp5

mkcamlp5 dan mkcamlp5.opt membuat executable camlp5 dengan opsi yang hampir sama dengan
ocamlmktop. Lihat lebih lanjut.

ocpp5 adalah praprosesor universal, memperlakukan segala jenis file sumber, menghasilkan yang sama
teks dengan kemungkinan kutipan diperluas.

camlp5o.opt dan camlp5r.opt adalah versi camlp5o dan camlp5r yang dikompilasi oleh native-
kompiler kode ocamlopt. Mereka lebih cepat tetapi tidak dapat diperluas. Dan mereka tidak tersedia di
semua instalasi camlp5.

LOAD PILIHAN

Opsi pemuatan memilih tindakan penguraian dan pencetakan yang direkam dalam file objek OCaml
(diakhiri dengan .cmo atau .cma). Beberapa penggunaan opsi ini diizinkan. Mereka harus
mendahului pilihan lainnya.

Opsional -- dapat mengakhiri opsi pemuatan.

-I direktori
Add direktori di jalur pencarian untuk file yang dimuat. Kecuali opsi -nolib adalah
digunakan, direktori library camlp5 ditambahkan ke path. Peringatan: tidak ada
pencarian otomatis di direktori saat ini: tambahkan "-I ." untuk ini.

-di mana Cetak nama direktori perpustakaan camlp5 dan keluar.

-nolib Tidak ada pencarian otomatis untuk file objek di direktori perpustakaan camlp5.

file-objek
File dimuat dalam inti camlp5.

LAIN PILIHAN

Pilihan lainnya adalah:

fillet Memperlakukan fillet sebagai file antarmuka jika diakhiri dengan .mli dan sebagai file implementasi
jika diakhiri dengan .ml.

-intf fillet
Memperlakukan fillet sebagai file antarmuka, apa pun ekstensinya.

-tersirat fillet
Memperlakukan fillet sebagai file implementasi, apa pun ekstensinya.

-tidak aman
Hasilkan akses tidak aman ke array dan string.

-tidak menegaskan
Jangan mengkompilasi pemeriksaan asersi.

-verbose
Lebih bertele-tele dalam kesalahan penguraian.

-QD fillet
Buang fillet dalam kasus kesalahan sintaks dalam hasil ekspansi kutipan.

-o file keluar
Cetak hasilnya pada file keluar alih-alih output standar. File dibuka dengan
open_out_bin (lihat OCaml library Pervasives).

-v Cetak nomor versi dan keluar.

-bantu Cetak opsi yang tersedia dan keluar. Cetakan ini mencakup opsi yang mungkin
ditambahkan oleh file objek yang dimuat.

Opsi lainnya dapat diperluas dengan file objek yang dimuat. File yang disediakan menambahkan
opsi berikut:

-l panjang garis
Ditambahkan oleh pr_o.cmo dan pr_r.cmo: mengatur panjang garis (default 78).

-sep tali
Ditambahkan oleh pr_o.cmo dan pr_r.cmo: cetak string ini di antara frasa alih-alih
komentar.

-tidak_ss Ditambahkan oleh pr_o.cmo: jangan mencetak titik koma ganda

-D ident
Ditambahkan oleh pa_macro.cmo: tentukan ident.

-U ident
Ditambahkan oleh pa_macro.cmo: undefine ident.

DISEDIAKAN FILE

File-file ini diinstal di direktori /usr/lib/ocaml/camlp5.

Mengurai file:
pa_r.cmo: sintaks yang direvisi
pa_rp.cmo: aliran dan parser
pa_lexer.cmo: lexer
pa_o.cmo: sintaks normal
pa_op.cmo: aliran dan parser
pa_oop.cmo: stream dan parser (tanpa optimasi kode)
pa_scheme.cmo: sintaks skema
pa_extend.cmo: ekstensi sintaks untuk tata bahasa
pa_extfold.cmo: ekstensi pa_extend dengan FOLD0 dan FOLD1
pa_extfun.cmo: ekstensi sintaks untuk fungsi yang dapat diperluas
pa_extprint.cmo: ekstensi sintaks untuk printer yang dapat diperluas
pa_pprintf.cmo: ekstensi sintaks untuk pernyataan pprintf
pa_fstream.cmo: ekstensi sintaks untuk aliran fungsional
pa_macro.cmo: tambahkan makro (ifdef, tentukan) seperti di C
pa_lefteval.cmo: evaluasi parameter dari kiri ke kanan
pa_pragma.cmo: direktif #pragma

Mencetak file:
pr_r.cmo: sintaks yang direvisi tanpa objek dan label
pr_ro.cmo: sintaks yang direvisi untuk objek dan label
pr_rp.cmo: coba buat ulang aliran dan sintaks parser
pr_o.cmo: sintaks normal
pr_op.cmo: coba buat kembali aliran dan sintaks parser
pr_scheme.cmo: Sintaks skema
pr_schemep.cmo: coba buat kembali aliran dan sintaks parser
pr_extend.cmo: coba buat ulang pernyataan EXTEND
pr_extfun.cmo: coba buat kembali pernyataan extfun
pr_extprint.cmo: coba buat ulang pernyataan EXTEND_PRINTER
pr_dump.cmo: membuang pohon sintaks untuk kompiler ocaml
pr_depend.cmo: dependensi file
pr_null.cmo: tidak ada keluaran

Ekspander kutipan:
q_MLast.cmo: node pohon sintaks (dalam sintaks yang direvisi)
q_ast.cmo: simpul pohon sintaks dalam sintaks lengkap pengguna
q_phony.cmo: menyimpan kutipan untuk pencetakan yang cantik

Perintah campp5o adalah jalan pintas untuk:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Perintah camlp5r adalah jalan pintas untuk:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Perintah camlp5sch adalah jalan pintas untuk:
camlp5 pa_scheme.cmo pr_dump.cmo

File camlp5o.cma dapat dimuat di tingkat atas untuk memulai camlp5 dengan sintaks OCaml.

File camlp5r.cma dapat dimuat di tingkat atas untuk memulai camlp5 dengan sintaks yang direvisi.

File camlp5sch.cma dapat dimuat di tingkat atas untuk memulai camlp5 dengan sintaks Skema.

MKCAMLP5

mkcamlp5 dan mkcamlp5.opt membuat executable camlp5 dengan opsi yang hampir sama dengan
ocamlmktop. Versi mkcamlp5.opt dapat membuat executable kode asli, lebih cepat tetapi tidak
dapat diperpanjang.

Untuk mkcamlp5, antarmuka yang akan terlihat harus ditambahkan secara eksplisit di baris perintah sebagai
file ".cmi". Misalnya, cara menambahkan modul OCaml "str":
mkcamlp5 -str.cmi khusus str.cma -cclib -lstr -o camlp5str

LINGKUNGAN VARIABEL

Variabel lingkungan berikut juga dikonsultasikan:

CAMLP5PARAM
Mengatur parameter algoritma parsing tata bahasa. Variabel ini harus merupakan urutan dari
spesifikasi parameter. Spesifikasi parameter adalah huruf opsional
diikuti oleh = dan nilai. Ada empat parameter yang mungkin:

b (mundur)
Atur algoritma backtrack sebagai default.

t (jejak)
Melacak simbol (terminal dan non-terminal) saat parsing dengan backtracking.

y (menghentikan jejak)
Dalam pelacakan mundur, lacak kemajuan dalam aliran input (jumlah token yang tidak dibekukan)
dan kemungkinan mengulur waktu (jumlah tes token).

l (menghentikan maksimum)
Tetapkan nilai penundaan maksimum.

Gunakan camlp5r.opt online menggunakan layanan onworks.net