ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
jimple_converter Class Reference

#include <jimple-converter.h>

Public Member Functions

 jimple_converter (contextt &_context, jimple_file &_ASTs)
bool convert ()

Protected Attributes

contextt & context
const jimple_file & AST

Constructor & Destructor Documentation

◆ jimple_converter()

jimple_converter::jimple_converter ( contextt & _context,
jimple_file & _ASTs )
inline

Member Function Documentation

◆ convert()

bool jimple_converter::convert ( )

Member Data Documentation

◆ AST

const jimple_file& jimple_converter::AST
protected

◆ context

contextt& jimple_converter::context
protected

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