cprover
Loading...
Searching...
No Matches
jsil_convert.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Jsil Language Conversion
4
5
Author: Michael Tautschnig, tautschn@amazon.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_JSIL_JSIL_CONVERT_H
13
#define CPROVER_JSIL_JSIL_CONVERT_H
14
15
class
jsil_parse_treet
;
16
class
message_handlert
;
17
class
symbol_table_baset
;
18
19
bool
jsil_convert
(
20
const
jsil_parse_treet
&parse_tree,
21
symbol_table_baset
&symbol_table,
22
message_handlert
&message_handler);
23
24
#endif
// CPROVER_JSIL_JSIL_CONVERT_H
jsil_parse_treet
Definition
jsil_parse_tree.h:101
message_handlert
Definition
message.h:28
symbol_table_baset
The symbol table base class interface.
Definition
symbol_table_base.h:22
jsil_convert
bool jsil_convert(const jsil_parse_treet &parse_tree, symbol_table_baset &symbol_table, message_handlert &message_handler)
Definition
jsil_convert.cpp:117
jsil
jsil_convert.h
Generated by
1.10.0