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
jsil
jsil_entry_point.h
Generated by
1.8.20