1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
; C Library
;
; Copyright (C) 2022 Kestrel Institute (http://www.kestrel.edu)
; Copyright (C) 2022 Kestrel Technology LLC (http://kestreltechnology.com)
;
; License: A 3-clause BSD license. See the LICENSE file distributed with ACL2.
;
; Author: Alessandro Coglio (coglio@kestrel.edu)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(in-package "C")
(include-book "centaur/fty/top" :dir :system)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(defxdoc+ atc-pretty-printing-options
:parents (atc-implementation)
:short "Options for the ATC pretty-printer."
:long
(xdoc::topstring
(xdoc::p
"We provide an extensible collection of options
for how ATC pretty-prints C code.
Currently we only support one simple options,
but we may add possibly many more options,
e.g. to control indentation, maximum line length, and so on."))
:order-subtopics t
:default-parent t)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(fty::defprod pprint-options
:short "Fixtype of pretty-printing options."
:long
(xdoc::topstring
(xdoc::p
"For now we just support a single flag saying whether
nested conditional (ternary) expressions should be parenthesized.
The meaning of this is explained in more detail
in the user documentation and in the pretty-printer."))
((parenthesize-nested-conditionals bool)))
|
