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/`.