CBMC
|
Statement List Language Interface. More...
#include "statement_list_parse_tree.h"
#include <langapi/language.h>
#include <util/object_factory_parameters.h>
Go to the source code of this file.
Classes | |
class | statement_list_languaget |
Implements the language interface for the Statement List language. More... | |
Functions | |
std::unique_ptr< languaget > | new_statement_list_language () |
Statement List Language Interface.
Definition in file statement_list_language.h.
std::unique_ptr<languaget> new_statement_list_language | ( | ) |
Definition at line 149 of file statement_list_language.cpp.