📄 prettier.def
字号:
DEFINITION MODULE Prettier;
(* Pretty printing auxiliary functions for use with Taste pretty printing
program generated by COCO from an attributed grammar
P.D. Terry, Rhodes University, 17 May 1991 *)
IMPORT IOChan;
VAR
results : IOChan.ChanId;
PROCEDURE Append (String : ARRAY OF CHAR);
(* Append String to results file *)
PROCEDURE IndentNextLine;
(* Write line mark to results file and prepare to indent further lines
by two spaces more than before *)
PROCEDURE ExdentNextLine;
(* Write line mark to results file and prepare to indent further lines
by two spaces less *)
PROCEDURE NewLine;
(* Write line mark to results file but leave indentation as before *)
PROCEDURE Indent;
PROCEDURE Exdent;
END Prettier.
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -