solidity_language.h File Reference

Solidity language frontend interface for ESBMC. More...

#include <clang-c-frontend/clang_c_language.h>
#include <clang-cpp-frontend/clang_cpp_language.h>
#include <util/lang/language.h>
#include <fstream>
#include <sstream>
#include <nlohmann/json.hpp>
#include <boost/filesystem.hpp>

Include dependency graph for solidity_language.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	solidity_languaget

Functions
languaget *	new_solidity_language ()

Detailed Description

Solidity language frontend interface for ESBMC.

Defines solidity_languaget, the top-level entry point for parsing Solidity source files. Inherits from clang_cpp_languaget and orchestrates the full frontend pipeline: invoking the solc compiler to produce a JSON AST, converting the AST to ESBMC's GOTO intermediate representation via solidity_convertert, and performing type-checking and finalization.

Function Documentation

new_solidity_language()

languaget * new_solidity_language

(

)