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

CHƯƠNG TRÌNH:

TÊN

Pretzel-it - sử dụng Pretzel để tạo ra một chiếc máy bay đẹp

SYNOPSIS

Pretzel-it [-iqvdnh] ngôn ngữ ppname

MÔ TẢ

Pretzel-it là một tập lệnh shell sử dụng bánh quy cây(1) để xây dựng một người bán hàng đơn giản
có thể thực thi. Nó giảm thiểu việc xây dựng một trình duyệt xinh xắn Pretzel chỉ bằng một lệnh shell. Nhìn thấy
bánh quy cây(1) để biết tổng quan chung và mô tả về các tệp đầu vào.

Bạn phải cung cấp hai tệp đầu vào giống nhau để xử lý sơ bộ-nó cũng như để nghiền sơ. Hai tệp này
được gọi là được định dạng mã thông báo hồ sơ (hậu tố .ft) Và được định dạng ngữ pháp hồ sơ (hậu tố
.fg). Cả hai tệp cần có cùng một tiền tố Ngôn ngữ. Từ đầu vào này, bánh quy
tạo ra một Prettyprinter có thể thực thi được gọi là tên người.

Ví dụ
Giả sử, bạn đã viết hai tệp foo.ft và foo.fg có chứa các bản in đẹp
thông tin cho ngôn ngữ lập trình yêu thích của bạn foo. Để có được một tệp thực thi
người đẹp foopp đối với nó, chỉ cần nhập:

bánh quy-nó foo foopp

LỰA CHỌN

Pretzel-it có các tùy chọn sau:

-i Không loại bỏ các sản phẩm trung gian của quá trình bánh quy.

-q Chạy nhẹ nhàng.

-v Chế độ Verbose, in lệnh shell trước khi gọi (để gỡ lỗi).

-d Bật tính năng gỡ lỗi của prettyprinter theo mặc định; cũng tạo ra một chi tiết
tệp chẩn đoán (hậu tố .đầu ra) chứa phân tích chi tiết về
ngữ pháp và các vấn đề có thể xảy ra với nó (để dễ gỡ lỗi
ngữ pháp).

-h In thông báo sử dụng đầy đủ.

-n Chế độ Noweb. Xem phần Giao diện với bây giờ(1) phía dưới.

CÁC ĐÃ TẠO MÁY IN Đẹp

Tệp thực thi được tạo sẽ là một chương trình đọc mã nguồn từ đầu vào chuẩn
và sẽ viết mã đẹp vào đầu ra tiêu chuẩn. Mã in đẹp có thể là
sắp chữ bằng cách sử dụng mủ cao su Cùng với bánh quy-latex phong cách tài liệu.

Ví dụ
Giả sử, bạn đã xây dựng foopp đã có và có một mẩu mã nguồn trong một tệp thanh.foo. Kiểu

foopp <bar.foo > bar.tex

và khá giả sẽ in mã và viết mã LaTeX vào thanh.tex. Để sử dụng
mã này trong tài liệu của bạn, đơn giản bao gồm bánh quy-latex phong cách tài liệu và bao gồm
tệp bên trong cái mới mã pp Môi trường LaTeX. Đây là một tệp LaTeX tối thiểu để xem
mã đẹp:

\ELECTmenstyle [Pretzel-latex] {article}
\ Begin {document}
\ begin {ppcode}
\ input {foo.tex}
\ end {ppcode}
\ End {document}

GIAO DIỆN CÙNG VỚI BÂY GIỜ

Sử dụng -n tùy chọn sẽ tạo ra một bộ lọc in ấn đẹp tên người tương thích với Norman
Của Ramsey bây giờ(1) hệ thống lập trình biết chữ. Bộ lọc có thể được chèn vào noweb
đường ống sử dụng noweave's -bộ lọc tùy chọn.

Ví dụ: bạn có thể xây dựng một bộ lọc noweb prettyprinting cho Pascal bằng cách phát hành

bánh quy-nó -n pascal xinh đẹp

Bên trong ngôn ngữ / pascal thư mục, bạn sẽ nhận được một bộ lọc in ấn đẹp xinh đẹp .
Bộ lọc này sau đó có thể được sử dụng trong bây giờ(1) bằng cách nói:

bây giờ -bộ lọc xinh đẹp foo.nw > foo.tex

Thao tác này sẽ in ra tất cả các đoạn mã bằng chương trình xinh xắn Pascal. Bạn sẽ cần đến
bao gồm các Pretzel-noweb.sty Kiểu tài liệu LaTeX sau khi bao gồm noweb.sty ( xem
bây giờ(1) ) để có được bộ định dạng đầu ra một cách chính xác bằng LaTeX.

Bạn có thể nhận đầu ra gỡ lỗi từ bộ lọc in ấn đẹp bằng cách thiết lập môi trường
biến PRETZEL_NOWEB_DEBUG thành một giá trị khác rỗng, ví dụ: trong bash(1) vỏ bằng cách nói:

xuất khẩu PRETZEL_NOWEB_DEBUG = trên

Đầu ra gỡ lỗi chỉ dừng khi giá trị không được đặt rõ ràng (trong bash(1) đây là không đặt
lệnh nội trang.

Tùy chọn noweb hiện tại chỉ hoạt động với LaTeX làm trình sắp chữ mục tiêu. Nếu
prettyprinter gặp sự cố khi in khá một đoạn mã nhất định, nó
tự động chuyển sang đầu ra nguyên văn tiêu chuẩn của noweb. Thông qua việc bao gồm mã
trong các quy tắc của tệp ngữ pháp được định dạng, có thể tự động lập chỉ mục. Để biết thêm
thông tin xem chương 3 và 4 của Pretzelbook, có trong Pretzel
phân phối.

THẬN TRỌNG

Chỉ có thể chạy tập lệnh shell Pretzel-it nếu các biến môi trường PRETZEL_LIBDIR
và PRETZEL_INCLUDE được đặt thành thư mục thư viện Pretzel (/ usr / lib / Pretzel trên Debian
hệ thống) và thư mục bao gồm Pretzel (/ usr / include / Pretzel trên hệ thống Debian).
Trong quá trình thực thi, bánh quy-nó có thể đưa ra cảnh báo do các chương trình mà nó gọi
(bánh quy-nó gọi bánh quy cây(1), uốn cong(1), bò rừng(1) và trình biên dịch GNU C ++).

Sản phẩm -n Tùy chọn (noweb) chỉ hoạt động với LaTeX làm trình sắp chữ mục tiêu và vẫn còn rất nhiều
thực nghiệm.

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