Abstract interface to support a programming language. More...
#include <unordered_set>#include <iosfwd>#include <string>#include <memory>#include <util/message.h>#include <util/std_types.h>#include <util/symbol.h>#include <util/symbol_table_base.h>#include <goto-programs/system_library_symbols.h>
Include dependency graph for language.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | languaget |
Macros | |
| #define | OPT_FUNCTIONS "(function):" |
| #define | HELP_FUNCTIONS " --function name set main function name\n" |
Detailed Description
Abstract interface to support a programming language.
Definition in file language.h.
Macro Definition Documentation
◆ HELP_FUNCTIONS
| #define HELP_FUNCTIONS " --function name set main function name\n" |
Definition at line 36 of file language.h.
◆ OPT_FUNCTIONS
| #define OPT_FUNCTIONS "(function):" |
Definition at line 33 of file language.h.
