st_fb_translator Class Reference

#include <st_fb_translator.h>

Public Types
using	resolver_t = std::function<symbol_exprt(const std::string &)>

Public Member Functions
	st_fb_translator (resolver_t resolve)
code_blockt	translate (const std::string &body)

Member Typedef Documentation

resolver_t

using st_fb_translator::resolver_t = std::function<symbol_exprt(const std::string &)>

Constructor & Destructor Documentation

st_fb_translator()

st_fb_translator::st_fb_translator ( resolver_t resolve )

inlineexplicit

Member Function Documentation

translate()

code_blockt st_fb_translator::translate

(

const std::string &

body

)

---

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

• src/ld-frontend/ir_gen/st_fb_translator.h
• src/ld-frontend/ir_gen/st_fb_translator.cpp