cprover
Loading...
Searching...
No Matches
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
bool
jsil_entry_point
(
16
class
symbol_table_baset
&symbol_table,
17
class
message_handlert
&message_handler);
18
19
#endif
// CPROVER_JSIL_JSIL_ENTRY_POINT_H
message_handlert
Definition
message.h:28
symbol_table_baset
The symbol table base class interface.
Definition
symbol_table_base.h:22
jsil_entry_point
bool jsil_entry_point(class symbol_table_baset &symbol_table, class message_handlert &message_handler)
Definition
jsil_entry_point.cpp:49
jsil
jsil_entry_point.h
Generated by
1.9.8