CBMC
|
Statement List Language Interface. More...
#include "statement_list_language.h"
#include "converters/expr2statement_list.h"
#include "statement_list_entry_point.h"
#include "statement_list_parse_tree_io.h"
#include "statement_list_parser.h"
#include "statement_list_typecheck.h"
#include <linking/linking.h>
#include <linking/remove_internal_symbols.h>
#include <util/get_base_name.h>
#include <util/symbol_table.h>
Go to the source code of this file.
Functions | |
std::unique_ptr< languaget > | new_statement_list_language () |
Statement List Language Interface.
Definition in file statement_list_language.cpp.
std::unique_ptr<languaget> new_statement_list_language | ( | ) |
Definition at line 149 of file statement_list_language.cpp.