cprover
Loading...
Searching...
No Matches
jsil_convertt Class Reference
+ Collaboration diagram for jsil_convertt:

Public Member Functions

 jsil_convertt (symbol_table_baset &_symbol_table)
 
bool operator() (const jsil_parse_treet &parse_tree, message_handlert &)
 

Protected Member Functions

bool convert_code (const symbolt &symbol, codet &code)
 

Protected Attributes

symbol_table_basetsymbol_table
 

Detailed Description

Definition at line 21 of file jsil_convert.cpp.

Constructor & Destructor Documentation

◆ jsil_convertt()

jsil_convertt::jsil_convertt ( symbol_table_baset & _symbol_table)
inlineexplicit

Definition at line 24 of file jsil_convert.cpp.

Member Function Documentation

◆ convert_code()

bool jsil_convertt::convert_code ( const symbolt & symbol,
codet & code )
protected

Definition at line 70 of file jsil_convert.cpp.

◆ operator()()

bool jsil_convertt::operator() ( const jsil_parse_treet & parse_tree,
message_handlert & message_handler )

Definition at line 37 of file jsil_convert.cpp.

Member Data Documentation

◆ symbol_table

symbol_table_baset& jsil_convertt::symbol_table
protected

Definition at line 32 of file jsil_convert.cpp.


The documentation for this class was generated from the following file: