cprover
statement_list_entry_point.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Statement List Language Entry Point
4
5
Author: Matthias Weiss, matthias.weiss@diffblue.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_ENTRY_POINT_H
13
#define CPROVER_STATEMENT_LIST_STATEMENT_LIST_ENTRY_POINT_H
14
15
#include <
util/message.h
>
16
#include <
util/std_code.h
>
17
#include <
util/symbol_table.h
>
18
23
bool
statement_list_entry_point
(
24
symbol_tablet
&symbol_table,
25
message_handlert
&message_handler);
26
27
#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_ENTRY_POINT_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:20
message_handlert
Definition:
message.h:28
std_code.h
symbol_table.h
Author: Diffblue Ltd.
message.h
statement_list_entry_point
bool statement_list_entry_point(symbol_tablet &symbol_table, message_handlert &message_handler)
Creates a new entry point for the Statement List language.
Definition:
statement_list_entry_point.cpp:196
statement-list
statement_list_entry_point.h
Generated by
1.8.20