cprover
Loading...
Searching...
No Matches
jsil_convert.cpp File Reference

Jsil Language Conversion. More...

+ Include dependency graph for jsil_convert.cpp:

Go to the source code of this file.

Classes

class  jsil_convertt
 

Functions

bool jsil_convert (const jsil_parse_treet &parse_tree, symbol_table_baset &symbol_table, message_handlert &message_handler)
 

Detailed Description

Jsil Language Conversion.

Definition in file jsil_convert.cpp.

Function Documentation

◆ jsil_convert()

bool jsil_convert ( const jsil_parse_treet & parse_tree,
symbol_table_baset & symbol_table,
message_handlert & message_handler )

Definition at line 117 of file jsil_convert.cpp.