cprover
Loading...
Searching...
No Matches
statement_list_entry_point.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Statement List Language Entry Point
4
5Author: 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
16class symbol_tablet;
17
23 symbol_tablet &symbol_table,
24 message_handlert &message_handler);
25
26#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_ENTRY_POINT_H
The symbol table.
Definition: symbol_table.h:14
bool statement_list_entry_point(symbol_tablet &symbol_table, message_handlert &message_handler)
Creates a new entry point for the Statement List language.