camlp5o - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

camlp5 - Máy in tiền xử lý-đẹp cho ocaml
mkcamlp5 - Tạo camlp5 tùy chỉnh
mkcamlp5.opt - Tạo camlp5 tùy chỉnh (mã gốc)
ocpp5 - Bộ tiền xử lý đa năng

SYNOPSIS

camlp5 [tùy chọn tải] [-] [tùy chọn khác]
camlp5o [tùy chọn tải] [-] [tùy chọn khác]
camlp5r [tùy chọn tải] [-] [tùy chọn khác]
camlp5sch [tùy chọn tải] [-] [tùy chọn khác]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 tệp [tùy chọn tải]

camlp5o.opt [--] [ sự lựa chọn khác ]
camlp5r.opt [--] [ sự lựa chọn khác ]

MÔ TẢ

camlp5 là Máy in tiền xử lý-đẹp cho OCaml, phân tích cú pháp tệp nguồn và in
một số kết quả về đầu ra tiêu chuẩn.

camlp5o, camlp5r và camlp5sch là phiên bản của camlp5 với một số tệp đã được tải (xem
hơn nữa).

camlp5o.cma, camlp5r.cma và camlp5sch.cma là các tệp được tải trong ocaml toplevel để sử dụng
máy móc camlp5

mkcamlp5 và mkcamlp5.opt tạo các tệp thực thi camlp5 với các tùy chọn gần như giống với
ocamlmktop. Xem thêm.

ocpp5 là một bộ tiền xử lý chung, xử lý bất kỳ loại tệp nguồn nào, tạo ra cùng một
văn bản với các trích dẫn có thể được mở rộng.

camlp5o.opt và camlp5r.opt là phiên bản của camlp5o và camlp5r do bản địa biên dịch-
trình biên dịch mã ocamlopt. Chúng nhanh hơn nhưng không thể mở rộng. Và chúng không có sẵn trong
tất cả các cài đặt của camlp5.

TẢI LỰA CHỌN

Các tùy chọn tải chọn các hành động phân tích cú pháp và in được ghi lại trong các tệp đối tượng OCaml
(kết thúc bằng .cmo hoặc .cma). Một số cách sử dụng các tùy chọn này được cho phép. Họ phải
đặt trước các tùy chọn khác.

Một tùy chọn -- có thể kết thúc các tùy chọn tải.

-I thư mục
Thêm thư mục trong đường dẫn tìm kiếm các tệp đã tải. Trừ khi tùy chọn -nolib là
được sử dụng, thư mục thư viện camlp5 được nối vào đường dẫn. Cảnh báo: không có
tìm kiếm tự động trong thư mục hiện tại: thêm "-tôi." cho điều này.

-ở đâu In tên thư mục thư viện camlp5 và thoát.

-nolib Không có tìm kiếm tự động cho các tệp đối tượng trong thư mục thư viện camlp5.

đối tượng-tập tin
Tệp được tải trong lõi camlp5.

KHÁC LỰA CHỌN

Các tùy chọn khác là:

hồ sơ Điều trị hồ sơ dưới dạng tệp giao diện nếu nó kết thúc bằng .mli và dưới dạng tệp triển khai
nếu nó kết thúc bằng .ml.

-intf hồ sơ
Điều trị hồ sơ dưới dạng tệp giao diện, bất kể phần mở rộng của nó.

-ngụ ý hồ sơ
Điều trị hồ sơ dưới dạng tệp triển khai, bất kể phần mở rộng của nó.

-không an toàn
Tạo các truy cập không an toàn vào mảng và chuỗi.

-không khẳng định
Không biên dịch kiểm tra xác nhận.

-bèo thuyền
Chi tiết hơn về lỗi phân tích cú pháp.

-QĐ hồ sơ
Đổ vào hồ sơ trong trường hợp lỗi cú pháp trong kết quả của việc mở rộng dấu ngoặc kép.

-o ngoài hồ sơ
In kết quả ra ngoài tệp thay vì đầu ra tiêu chuẩn. Tệp được mở bằng
open_out_bin (xem Pervasives thư viện OCaml).

-v In số phiên bản và thoát.

-Cứu giúp In các tùy chọn có sẵn và thoát. Bản in này bao gồm các tùy chọn có thể
được thêm bởi các tệp đối tượng được tải.

Các tùy chọn khác có thể được mở rộng bằng các tệp đối tượng được tải. Các tệp được cung cấp thêm
tùy chọn sau:

-l độ dài dòng
Được thêm bởi pr_o.cmo và pr_r.cmo: đặt độ dài dòng (mặc định 78).

-sep chuỗi
Được thêm bởi pr_o.cmo và pr_r.cmo: in chuỗi này giữa các cụm từ thay vì
ý kiến.

-không_ss Được thêm bởi pr_o.cmo: không in dấu chấm phẩy kép

-D danh tính
Được thêm bởi pa_macro.cmo: xác định danh tính.

-U danh tính
Được thêm bởi pa_macro.cmo: hủy xác định danh tính.

CUNG CẤP CÁC TẬP TIN

Các tệp này được cài đặt trong thư mục / usr / lib / ocaml / camlp5.

Phân tích cú pháp tệp:
pa_r.cmo: cú pháp sửa đổi
pa_rp.cmo: luồng và trình phân tích cú pháp
pa_lexer.cmo: lexers
pa_o.cmo: cú pháp bình thường
pa_op.cmo: luồng và trình phân tích cú pháp
pa_oop.cmo: luồng và trình phân tích cú pháp (không có tối ưu hóa mã)
pa_scheme.cmo: cú pháp lược đồ
pa_extend.cmo: phần mở rộng cú pháp cho ngữ pháp
pa_extfold.cmo: phần mở rộng của pa_extend với FOLD0 và FOLD1
pa_extfun.cmo: phần mở rộng cú pháp cho các hàm có thể mở rộng
pa_extprint.cmo: phần mở rộng cú pháp cho máy in có thể mở rộng
pa_pprintf.cmo: phần mở rộng cú pháp cho câu lệnh pprintf
pa_fstream.cmo: phần mở rộng cú pháp cho các luồng chức năng
pa_macro.cmo: thêm macro (ifdef, xác định) như trong C
pa_lefteval.cmo: đánh giá từ trái sang phải của các tham số
pa_pragma.cmo: chỉ thị #pragma

In các tập tin:
pr_r.cmo: cú pháp sửa đổi không có đối tượng và nhãn
pr_ro.cmo: cú pháp sửa đổi cho các đối tượng và nhãn
pr_rp.cmo: cố gắng xây dựng lại luồng và cú pháp phân tích cú pháp
pr_o.cmo: cú pháp bình thường
pr_op.cmo: cố gắng xây dựng lại luồng và cú pháp phân tích cú pháp
pr_scheme.cmo: Cú pháp lược đồ
pr_schemep.cmo: cố gắng xây dựng lại luồng và cú pháp phân tích cú pháp
pr_extend.cmo: cố gắng xây dựng lại các câu lệnh EXTEND
pr_extfun.cmo: cố gắng xây dựng lại các câu lệnh extfun
pr_extprint.cmo: cố gắng tạo lại các câu lệnh EXTEND_PRINTER
pr_dump.cmo: cây cú pháp kết xuất cho trình biên dịch ocaml
pr_depend.cmo: tệp phụ thuộc
pr_null.cmo: không có đầu ra

Bộ mở rộng báo giá:
q_MLast.cmo: nút cây cú pháp (trong cú pháp sửa đổi)
q_ast.cmo: nút cây cú pháp trong cú pháp đầy đủ của người dùng
q_phony.cmo: giữ các trích dẫn để in ấn đẹp

Lệnh camlp5o là một phím tắt cho:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Lệnh camlp5r là một phím tắt cho:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Lệnh camlp5sch là một phím tắt cho:
camlp5 pa_scheme.cmo pr_dump.cmo

Tập tin camlp5o.cma có thể được tải trong toplevel để khởi động camlp5 với cú pháp OCaml.

Tập tin camlp5r.cma có thể được tải trong toplevel để khởi động camlp5 với cú pháp sửa đổi.

Tập tin camlp5sch.cma có thể được tải trong toplevel để khởi động camlp5 với cú pháp Scheme.

MKCAMLP5

mkcamlp5 và mkcamlp5.opt tạo các tệp thực thi camlp5 với các tùy chọn gần như giống với
ocamlmktop. Phiên bản mkcamlp5.opt có thể tạo các tệp thực thi mã gốc, nhanh hơn nhưng không
có thể mở rộng.

Đối với mkcamlp5, các giao diện hiển thị phải được thêm rõ ràng vào dòng lệnh như
tệp ".cmi". Ví dụ: cách thêm mô-đun OCaml "str":
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

MÔI TRƯỜNG BIẾN ĐỔI

Biến môi trường sau đây cũng được tham khảo:

CAMLP5PARAM
Đặt các tham số thuật toán phân tích cú pháp ngữ pháp. Biến này phải là một chuỗi của
thông số kỹ thuật. Một đặc tả tham số là một ký tự tùy chọn
theo sau là một = và một giá trị. Có bốn tham số có thể có:

b (nhạc nền)
Đặt thuật toán backtrack làm mặc định.

t (dấu vết)
Theo dõi các ký hiệu (thiết bị đầu cuối và không phải thiết bị đầu cuối) trong khi phân tích cú pháp với backtracking.

y (theo dõi ngừng trệ)
Trong theo dõi ngược lại, theo dõi phần trước trong luồng đầu vào (số lượng mã thông báo chưa đóng băng)
và có thể bị đình trệ (số lần kiểm tra mã thông báo).

l (đình trệ tối đa)
Đặt giá trị đình trệ tối đa.

Sử dụng camlp5o trực tuyến bằng dịch vụ onworks.net