cprover
jsil_entry_point.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Jsil Language
4 
5 Author: 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 
15 class message_handlert;
16 class symbol_tablet;
17 
18 bool jsil_entry_point(
19  class symbol_tablet &symbol_table,
20  class message_handlert &message_handler);
21 
22 #endif // CPROVER_JSIL_JSIL_ENTRY_POINT_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:20
message_handlert
Definition: message.h:28
jsil_entry_point
bool jsil_entry_point(class symbol_tablet &symbol_table, class message_handlert &message_handler)
Definition: jsil_entry_point.cpp:47