jsil_convertt Class Reference

Collaboration diagram for jsil_convertt:

Public Member Functions
	jsil_convertt (symbol_tablet &_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_tablet &	symbol_table

Detailed Description

Definition at line 21 of file jsil_convert.cpp.

Constructor & Destructor Documentation

jsil_convertt()

jsil_convertt::jsil_convertt ( symbol_tablet &  _symbol_table )

inline

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 36 of file jsil_convert.cpp.

Member Data Documentation

symbol_table

symbol_tablet& jsil_convertt::symbol_table

protected

Definition at line 31 of file jsil_convert.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/jsil/jsil_convert.cpp