bánh quy - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

bánh quy - máy phát điện khá phổ biến

SYNOPSIS

Pretzel [-qtgdh] [-o outfile] fileprefix

bánh quy [-qtgdh] [-o outfile] file1 file2

MÔ TẢ

Pretzel là một chương trình tạo mô-đun kháprinter từ một mô tả chính thức về
cách một ngôn ngữ nhất định nên được in đẹp. MỘT người đẹp là một chức năng hoặc
chương trình sắp xếp lại mã nguồn để nâng cao khả năng đọc của nó. Prettyprinters được tạo ra
bằng mã nguồn LaTeX đầu ra có thể được sử dụng trong tài liệu của riêng bạn. NB đó
bánh quy sản xuất mô-đun, không phải chương trình!

Bạn phải cung cấp hai tệp đầu vào cho bản quét chỉ định cách mã nguồn đã cho
nên được in đẹp. 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).

Từ đầu vào này, bánh quy tạo ra hai thứ: uốn cong(1) tệp tạo thành
xinh đẹp máy quét và hợp lệ bò rừng(1) tệp đầu vào có thể được sử dụng để xây dựng
xinh đẹp phân tích cú pháp (đó là người đánh giá thực tế). Có một tập lệnh shell
bánh quy-nó mà các chi tiết bằng cách sử dụng bánh quy xoắn (xem bánh quy-nó(1)). Trang người đàn ông này chỉ có nghĩa là
như một tài liệu tham khảo nhanh về việc sử dụng bánh quy. Hãy xem tài liệu chính về bánh quy nếu bạn
mới cho tất cả những điều này.

Kêu gọi bánh quy cây
Gọi bánh quy có thể có hai dạng: Hoặc gọi nó chỉ xác định tiền tố chung của
hai tệp đầu vào hoặc chỉ định cả hai tệp riêng biệt trên dòng lệnh. Nếu bạn chỉ định
cả hai tệp, tệp mã thông báo được định dạng xuất hiện trước.

Các ví dụ
Giả sử các tệp đầu vào của bạn được gọi là foo.ft và foo.fg. Sau đó, bạn có thể nói

bánh quy cây foo

để gọi bánh quy đúng cách. Nếu tệp của bạn được gọi là foo.ft và thanh.fg sau đó bạn sẽ có
để nói

bánh quy cây foo.ft thanh.fg

để làm công việc đó.

LỰA CHỌN

Pretzel nhận ra các tùy chọn sau:

-q Chạy nhẹ nhàng.

-t Chỉ xử lý tệp mã thông báo được định dạng.

-g Chỉ xử lý tệp ngữ pháp được định dạng (tùy chọn -t và -g là lẫn nhau
loại trừ).

-d In thông tin gỡ lỗi ra màn hình.

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

-o tên
Sử dụng tên làm tiền tố của các tệp đầu ra được tạo.

CÁC ĐẦU VÀO CÁC TẬP TIN

Phần này tóm tắt định dạng của các tệp đầu vào và định dạng lệnh nguyên thủy
mà bánh quy hỗ trợ.

Sản phẩm được định dạng mã thông báo hồ sơ
Tệp mã thông báo được định dạng chứa danh sách các định nghĩa mã thông báo tương ứng với chúng
mẫu "xinh xắn". Dạng mã thông báo được in đẹp sẽ được gọi là thuộc tính hoặc một
dịch.

Đường viền chung của tệp mã thông báo được định dạng là

tờ khai

%%

mã thông báo các định nghĩa

Thông thường, tờ khai một phần trống. Bạn có thể đặt một mô tả chung về tệp
ở đây (như một bình luận C) và các định nghĩa lại của giao diện mặc định cũng ở đây.

Sản phẩm mã thông báo các định nghĩa phần của tệp mã thông báo được định dạng chứa một loạt mã thông báo
định nghĩa của biểu mẫu:

Belt Hold mã thông báo thuộc tính

Sản phẩm Belt Hold phải là một biểu thức chính quy hợp lệ (về mặt uốn cong(1)) và phải là
không đồng ý. Các mã thông báo chỉ định tên tượng trưng của mã thông báo cho mẫu và bắt đầu
tại ký tự không có khoảng trắng đầu tiên sau mẫu. Tên mã thông báo phải hợp pháp
tên cho một định danh trong ký hiệu Pascal và phải be tất cả các in phía trên trường hợp. (Gạch chân là
được phép nhưng không được phép ở đầu một từ.)

Sản phẩm thuộc tính đối với mã thông báo này, đó là biểu mẫu in đẹp, bao gồm tất cả văn bản
giữa hai dấu ngoặc nhọn { và }. Các thuộc tính có thể là các chuỗi đơn giản
(được bao quanh bởi dấu ngoặc kép), lệnh định dạng (xem bên dưới), mã C ++ của riêng bạn (kèm theo
dấu ngoặc nhọn [ và ], xem bên dưới) hoặc kết hợp của cả hai được kết hợp với nhau bằng một
không bắt buộc + ra hiệu. Các định nghĩa thuộc tính có thể bao gồm một số dòng và phần đầu { không cần
đứng trên cùng một dòng với định nghĩa mã thông báo; tuy nhiên các dòng tiếp theo phải được thụt lề
với ít nhất một trống hoặc một tab.

Nếu bạn xác định các chuỗi là một phần của định nghĩa thuộc tính, bạn phải chỉ định chúng trong một C
kiểu thời trang, tức là bạn có thể chèn các dòng và tab mới với \n và \t. Nhưng nếu bạn muốn
chèn một dấu gạch chéo ngược vào một chuỗi, bạn không được quên đặt hai dấu gạch chéo ngược \\ vào
tập tin đầu vào. Điều này đặc biệt đáng chú ý nếu bạn đang sử dụng TeX làm trình sắp chữ.

Nếu định nghĩa của thuộc tính bị bỏ qua, bánh quy sẽ tạo ra một thuộc tính cho điều này
theo mặc định. Thuộc tính mặc định bao gồm chuỗi chứa văn bản
phù hợp với mẫu tương ứng.

Bản thân người dùng cũng có thể tham chiếu đến văn bản phù hợp bằng cách sử dụng trình tự **. Như vậy

"foo" BAR

"foo" BAR { ** }

"foo" BAR { "foo" }

tất cả đều có cùng một ý nghĩa.

Bạn có thể sử dụng một | ký tên mã thông báo; điều này báo hiệu rằng biểu thức chính quy hiện tại có
cùng một tên mã thông báo (và cả cùng một thuộc tính) với mã thông báo được chỉ định trong phần sau
dòng (dòng trống được bỏ qua). Một định nghĩa thuộc tính đằng sau một | Là bất hợp pháp. Tuy nhiên
bạn có thể chỉ định các biểu thức chính quy không có tên mã thông báo hoặc thuộc tính để cung cấp
quy tắc mặc định hoặc để chiếm khoảng trắng.

Các khai báo và định nghĩa mã thông báo phải được phân tách bằng một dòng chỉ chứa
hai ký tự %%.

Các ví dụ
Các ví dụ sau đây là tất cả các định nghĩa mã thông báo hợp pháp:

[0-9] CHỮ SỐ

"{" MỞ { "\\ {" lịnh sung công lực lượng }

[az] [a-z0-9] * ID { "{\\nó " ** "}" }

"hàm số" |

"thủ tục" PROC_INTRO { lực lượng lớn + ** }

[\ t \ \N] |

.

Sản phẩm được định dạng ngữ pháp hồ sơ
Trong tệp ngữ pháp được định dạng, người dùng mã hóa ngữ pháp in ấn chung cho
ngôn ngữ lập trình. Điều này được thực hiện bằng cách chỉ định ngữ pháp không có ngữ cảnh của ngôn ngữ
và bằng cách thêm thông tin về việc tạo các thuộc tính mới trong mọi quy tắc. Chung của nó
phác thảo trông như thế này:

mã thông báo tờ khai

%%

ngữ pháp quy tắc

Sản phẩm mã thông báo tờ khai phần có thể trống và dấu phân cách giữa hai phần của
hồ sơ %% phải tự nó xuất hiện không có dấu trên một dòng.

Sản phẩm ngữ pháp quy tắc phần chứa tập hợp các quy tắc của ngữ pháp tự do theo ngữ cảnh
có thể kèm theo một định nghĩa thuộc tính. Một quy tắc được chỉ định bằng cách nêu rõ
mã thông báo kết quả, dấu hai chấm và sau đó là chuỗi mã thông báo sẽ được giảm bớt theo quy tắc này.
Quy tắc được kết thúc bằng dấu chấm phẩy. Ví dụ, một định nghĩa khối trong Pascal có thể trông giống như
điều này:

chặn : BEGIN danh sách stmt END ;

Theo sau danh sách mã thông báo ở phía bên phải của dấu hai chấm có thể là một định nghĩa thuộc tính;
định nghĩa này nêu rõ, cách dịch ký hiệu được tạo ra được thu được từ
mã thông báo ở phía bên phải của quy tắc.

Định nghĩa thuộc tính được đặt trong dấu ngoặc vuông giữa các dấu ngoặc nhọn { và } và một lần nữa có thể bao gồm
của chuỗi (trong dấu ngoặc kép), lệnh định dạng hoặc mã C (được đặt trong dấu ngoặc nhọn [
và ], xem bên dưới) được kết hợp với nhau bằng một tùy chọn +. Nhưng ở đây bạn cũng có thể tham khảo
thuộc tính của mã thông báo ở phía bên phải của quy tắc. Điều này được thực hiện trong một chút khó khăn
ký hiệu với một số đứng trước một $ ký hiệu đô la. Các con số đề cập đến
thứ tự xuất hiện của các ký hiệu ở phía bên phải của quy tắc. Cho nên $1 đề cập đến
mã thông báo đầu tiên của quy tắc, $2 đến thứ hai, v.v.

Một lần nữa, các định nghĩa thuộc tính được phép kéo dài một số dòng và các chuỗi phải được
được chỉ định theo cách C.

Định nghĩa thuộc tính có thể bị bỏ qua. Nếu đúng như vậy, bánh quy lát sẽ theo mặc định tạo thành
thuộc tính của biểu tượng được tạo ra từ sự nối đơn giản của các thuộc tính trên
mặt phải của quy tắc. Tất nhiên, bạn cũng có thể có các vế phải trống của quy tắc (để
tạo ra mọi thứ từ không có gì) hoặc chỉ cần nối hai hoặc nhiều quy tắc dẫn đến
cùng một biểu tượng với một |.

Đối với mỗi mã thông báo đầu cuối xuất hiện trong các quy tắc ngữ pháp, một dòng đặc biệt phải là
được ghi vào phần khai báo của tệp. Các định nghĩa này có dạng

%mã thông báo tên mã thông báo

Điều rất quan trọng là không được quên điều này.

Các ví dụ
Ví dụ, đây một lần nữa là định nghĩa có thể có của một khối trong Pascal, bây giờ với một
định nghĩa thuộc tính ví dụ:

chặn : BEGIN danh sách stmt END { $1 $2 lực lượng $3 } ;

Thuộc tính của một chặn do đó sẽ bao gồm các thuộc tính của BEGIN và
danh sách stmt mã thông báo, được kết hợp với nhau bằng một lực lượng lệnh và bản dịch của END
mã thông báo.

Hai dòng này có nghĩa giống nhau:

stmt : chặn MỘT NỬA ;

stmt : chặn MỘT NỬA { $1 $2 } ;

Đây cũng là các quy tắc pháp lý:

danh sách stmt : { lực lượng }
| danh sách stmt stmt MỘT NỬA { $1 $2 $3 lực lượng };

Nhận xét và Mã
Có một cách rất đơn giản để đưa nhận xét vào mã thông báo được định dạng và được định dạng
các tệp ngữ pháp. Điều này được thực hiện theo kiểu C ++ bằng cách đặt trước nhận xét bằng một dấu ngoặc kép
cắt giảm //. Tất cả các ký tự giữa dấu này và cuối dòng bị bỏ qua bởi
bánh quy.

Trong cả hai tệp, bạn có thể đặt mã C / C ++ bổ sung trước và sau định nghĩa / ngữ pháp
các phần. Nếu bạn muốn chèn mã vào cuối tệp của mình, bạn phải đặt một giây %%
trên một dòng của chính nó và đặt mã đằng sau nó. Mã C / C ++ trước các định nghĩa / quy tắc
phần phải được gắn với một %{, %} đôi. Chèn thêm mã rất thú vị cho
những người muốn truy cập nó từ bên trong định nghĩa thuộc tính.

Mã ở trong thuộc tính các định nghĩa
Từ phiên bản 2.0 trở đi, bánh quy cho phép chèn mã C ++ vào các định nghĩa thuộc tính.
Đây là cách bánh quy yêu cầu bạn viết mã bên trong các tệp đầu vào bánh quy của mình:

Các đoạn mã được đặt trong dấu ngoặc nhọn. Bất kỳ dấu ngoặc nhọn nào xuất hiện
trong mã C phải được thoát bằng dấu gạch chéo ngược. Có thể có các khối mã trước và
đằng sau định nghĩa thuộc tính được gọi là bắt đầu từ mã và kết thúcmã. Chỉ có một
khối mã bắt đầu hoặc kết thúc được cho phép. Cả hai đều là tùy chọn hoàn toàn, nhưng nếu bạn muốn
chỉ định một trong hai hoặc, bạn cần một định nghĩa thuộc tính. Mã bắt đầu được thực thi trước khi
thuộc tính của mã thông báo mới được tạo, mã kết thúc được thực thi sau khi xây dựng thuộc tính
và trước khi quay lại chức năng gọi (trong máy quét).

Các phần mã trong định nghĩa thuộc tính phải trả về một con trỏ đến một đặc tính đối tượng lớp
(xem tập tin attr / attr.nw trong bản phân phối bánh quy để biết chi tiết). Trong định dạng
tệp mã thông báo, văn bản phù hợp được hiển thị cho bạn dưới dạng char * văn bản yy Biến đổi. Các
tên tượng trưng của các mã thông báo có sẵn theo cùng tên mà bánh quy đặt cho chúng.
Mã bắt đầu, mã trong định nghĩa thuộc tính và mã kết thúc là hoàn toàn tùy chọn. Nhưng
tại bất kỳ nơi nào chúng được phép, chỉ có thể đặt một bit mã trong ngoặc đơn. Đây là một
ví dụ từ tệp ngữ pháp được định dạng:

id : ID { [tra cứu ($ 1) ? tạo ("{\\ bf ") :

tạo ra nó ")] $1 "}" };

Ví dụ này cho thấy cách định dạng một số nhận dạng tùy thuộc vào việc nó có đang được tra cứu hay không
bảng hoặc không. Các số nhận dạng có thể được cài đặt trong bảng, ví dụ như sau:

đánh máy : TYPEDEF_LIKE INT_LIKE ID

[ cài đặt ($ 3); ]

{ $1 $2 "{\\ bf " $3 "}" };

Có thể tìm thấy thêm các ví dụ trong Pretzelbook. Các thói quen phổ biến để thoát khỏi số nhận dạng, để
xây dựng và quản lý các bảng tra cứu, để chuyển đổi sang và từ Thuộc tính* hoặc để xuất ra gỡ lỗi
thông tin có thể được tìm thấy trong các tệp thuộc về C prettyprinter trong thư mục
ngôn ngữ / cee của phân phối bánh quy.

Sản phẩm định of định dạng lệnh
Dưới đây là danh sách các lệnh định dạng được hỗ trợ bởi bánh quy và ý nghĩa của chúng:
vô giá trị lệnh trống.
lịnh sung công thụt lề dòng tiếp theo nhiều hơn một chút.
vượt trội
lấy lại thụt lề cuối cùng (de-indent).
lực lượng buộc ngắt dòng.
break_space
biểu thị một khoảng trống có thể có cho ngắt dòng.
chọn1...chọn9
biểu thị một dấu ngắt dòng tùy chọn với dòng tiếp tục được thụt vào một chút với
đối với vị trí xuất phát bình thường.
sao lưu biểu thị một khoảng trống nhỏ.
lực lượng lớn
buộc ngắt dòng và chèn thêm một ít khoảng trắng.
không_thụt lề
khiến dòng hiện tại là đầu ra lệch.
hủy bỏ xóa sổ bất kỳ break_space, opt, lực lượng or lực lượng lớn ra lệnh ngay lập tức
đặt trước hoặc theo sau nó và cũng hủy bỏ bất kỳ sao lưu lệnh theo sau nó.

Để có tài liệu tham khảo đầy đủ về cách ghi đầu vào bánh quy, hãy xem Sách bánh quy
được bao gồm trong phân phối bánh quy.

Định dạng lệnh sơ chế
Các lệnh định dạng được xử lý trước theo hai quy tắc sau:

1. Một dãy liên tiếp
break_space, lực lượng, và / hoặc lực lượng lớn các lệnh được thay thế bằng một lệnh duy nhất (
tối đa trong số những cái đã cho).

2. Các hủy bỏ lệnh hủy bỏ bất kỳ break_space, opt, lực lượng or lực lượng lớn ra lệnh đó
ngay trước hoặc theo sau nó và cũng hủy bỏ bất kỳ sao lưu lệnh sau
nó.

CÁC OUTPUT CÁC TẬP TIN

Nếu bánh quy chạy không bị lỗi, bạn sẽ nhận được định nghĩa của một lớp C ++ prettyprinter
dưới dạng hai tệp. Tệp đầu tiên là một tệp hợp lệ bò rừng(1) tệp từ đó thực tế
có thể lấy được lớp phân tích cú pháp kháprinting. Tệp thứ hai (được tạo từ định dạng
tệp mã thông báo) có thể được xử lý với uốn cong(1) trình tạo máy quét để tạo bản in đẹp
lớp máy quét được sử dụng bởi trình phân tích cú pháp.

Sản phẩm bò rừng hồ sơ
Tệp bison được tạo chứa các định nghĩa cho một lớp phân tích cú pháp kháprinting
là một lớp con của lớp cơ sở trừu tượng sau (chứa trong tệp Pparse.h ở trong
thư mục bao gồm bánh quy):

#bao gồm

#include "attr.h"

#include "output.h"

tốt nghiệp lớp XNUMX phân tích {

công khai:
Pparse () {};

~ Pparse () {};

ảo int prettyprint (istream *, ostream *) = 0;

ảo int prettyprint (istream *, Đầu ra *) = 0;
};

Prettyprinter được tạo bởi bánh quy sẽ là một lớp con của biểu mẫu sau:

#include Pparse.h // bao gồm trừu tượng cơ sở tốt nghiệp lớp XNUMX

tốt nghiệp lớp XNUMX PPARSE_NAME : công khai phân tích {

công khai:
PPARSE_NAME (); ~ PPARSE_NAME ();

int prettyprint (istream *, ostream *);

int prettyprint (istream *, Đầu ra *);

làm mất hiệu lực debug_on (); làm mất hiệu lực debug_off ();
};

Tên của lớp có thể được thay đổi bằng cách xác định lại macro bộ xử lý trước PPARSE_NAME
trong tệp ngữ pháp được định dạng. Chức năng in ấn thực tế là dấu ấn đẹp đẽ việc này
đọc văn bản từ luồng đầu vào (tức là C ++ istream đối tượng) và xuất kết quả cho một
luồng đầu ra (tức là C ++ dòng chảy đối tượng, xem ios (3C ++)). Phiên bản quá tải thứ hai
of dấu ấn đẹp đẽ mất một Đầu ra đối tượng (xem tệp output / output.nw và Pretzelbook
trong bản phân phối bánh quy để biết chi tiết) và sử dụng điều này để xuất ra mã được in đẹp.
Sản phẩm gỡ lỗi các chức năng có thể được sử dụng để chuyển đầu ra gỡ lỗi thành chứng nhận bật và tắt.

Sản phẩm uốn cong hồ sơ
Lớp phân tích cú pháp xinh đẹp dựa vào dịch vụ của một máy quét bản in đẹp có thể
được sản xuất bằng cách sử dụng tệp bánh quy thứ hai. Nó bao gồm một định nghĩa hoàn chỉnh về một máy quét
lớp con của lớp cơ sở trừu tượng này (xem tệp Pscan.h trong thư mục bao gồm bánh quy):

#bao gồm #include "attr.h"

tốt nghiệp lớp XNUMX quét {

công khai:
Pscan (istream *) {}; ~ Pscan () {};

ảo int quét (Thuộc tính **) = 0;
};

Máy quét phải được khởi tạo bằng C ++ istream con trỏ mà từ đó nó nhận đầu vào của nó.
Một cuộc gọi đến thực tế quét hàm trả về một số nguyên (mã thông báo của mã thông báo chỉ
được quét hoặc 0 ở cuối tệp) cộng với thuộc tính gọi theo tham chiếu có chứa nội dung của
mã thông báo (xem tệp attr / attr.nw từ phân phối bánh quy).

Lớp máy quét in ấn được sản xuất là một lớp con và trông giống như sau:

#include Pscan.h // bao gồm trừu tượng cơ sở tốt nghiệp lớp XNUMX

tốt nghiệp lớp XNUMX PSCAN_NAME : công khai quét {

công khai:
PSCAN_NAME (istream *);

~ PSCAN_NAME ();

int quét (Thuộc tính **);

Tên của máy quét có thể được thay đổi trong tệp mã thông báo được định dạng bằng cách xác định lại
PSCAN_NAME macro trong phần khai báo. Lớp quét dự kiến ​​sẽ tìm thấy mã thông báo
các định nghĩa chung cho trình quét và trình phân tích cú pháp trong một tệp được gọi là ptokdefs.h và sẽ cố gắng
để bao gồm tệp này. Bạn phải tự cung cấp tệp này hoặc sử dụng -d tùy chọn
của Bison để tạo một cái phù hợp với ngữ pháp đã định dạng (xem bò rừng(1)). Bạn có thể thay đổi
tên của tệp mà máy quét mong đợi bằng cách xác định lại PTOKDEFS_NAME macro trong
phần khai báo của tệp mã thông báo được định dạng. Tệp tiêu đề Commen cho phần tóm tắt
các lớp cơ sở và các lớp con mặc định nằm trong thư mục bao gồm bánh quy.

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