CBMC
langapi

Folder langapi

Author
Martin Brain

langapi/ contains the basic interfaces and support classes for programming language front ends. Developers only really need look at this if they are adding support for a new language. It’s main users are the language front-ends such as ansi-c/ and cpp/.

The languaget interface

To be documented.

Language files (language_filet, language_filest)

To be documented.

Symbol mode-related utilities (everything in mode.h)

To be documented.

Pretty-printing expressions and types (language_util.h)

To be documented.