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