cprover
Loading...
Searching...
No Matches
jsil_entry_point.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Jsil Language
4
5Author: Michael Tautschnig, tautschn@amazon.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JSIL_JSIL_ENTRY_POINT_H
13#define CPROVER_JSIL_JSIL_ENTRY_POINT_H
14
16 class symbol_tablet &symbol_table,
17 class message_handlert &message_handler);
18
19#endif // CPROVER_JSIL_JSIL_ENTRY_POINT_H
The symbol table.
Definition: symbol_table.h:14
bool jsil_entry_point(class symbol_tablet &symbol_table, class message_handlert &message_handler)