cprover
jsil_convert.cpp File Reference

Jsil Language Conversion. More...

#include "jsil_convert.h"
#include <util/message.h>
#include <util/symbol_table.h>
#include "jsil_parse_tree.h"
+ 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_tablet &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_tablet symbol_table,
message_handlert message_handler 
)

Definition at line 116 of file jsil_convert.cpp.