cprover
langapi/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup langapi langapi
3 
4 # Folder langapi
5 
6 \author Martin Brain
7 
8 `langapi/` contains the basic interfaces and support classes for programming
9 language front ends. Developers only really need look at this if they
10 are adding support for a new language. It’s main users are the
11 language front-ends such as `ansi-c/` and
12 `cpp/`.
13 
14 \section langapi-languaget The languaget interface
15 
16 To be documented.
17 
18 \section langapi-language-files Language files (language_filet, language_filest)
19 
20 To be documented.
21 
22 \section langapi-manipulation-framework The top-level language-file manipulation framework (language_uit, obsolete, replaced by initialize_goto_model)
23 
24 To be documented.
25 
26 \section langapi-mode-related-utils Symbol mode-related utilities (everything in mode.h)
27 
28 To be documented.
29 
30 \section langapi-pretty-printing Pretty-printing expressions and types (language_util.h)
31 
32 To be documented.