|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Implementation of Solidity grammar classification functions. More...
#include <fmt/core.h>#include <solidity-frontend/solidity_convert.h>#include <solidity-frontend/solidity_grammar.h>#include <set>#include <util/message/message.h>Namespaces | |
| namespace | SolidityGrammar |
Macros | |
| #define | ENUM_TO_STR(s) |
| #define | SOL_ENUM_TO_STR(s) |
Variables | |
| const std::unordered_map< std::string, ElementaryTypeNameT > | SolidityGrammar::uint_string_to_type_map |
| const std::unordered_map< ElementaryTypeNameT, unsigned int > | SolidityGrammar::uint_size_map |
| const std::map< std::string, ElementaryTypeNameT > | SolidityGrammar::int_string_to_type_map |
| const std::map< ElementaryTypeNameT, unsigned int > | SolidityGrammar::int_size_map |
| const std::unordered_map< std::string, ElementaryTypeNameT > | SolidityGrammar::bytesn_to_type_map |
| const std::map< ElementaryTypeNameT, unsigned int > | SolidityGrammar::bytesn_size_map |
Implementation of Solidity grammar classification functions.
Maps solc JSON AST node fields (type strings, operator tokens, node kinds) to the corresponding SolidityGrammar enums. Includes lookup tables for all uint/int bit-widths, operator-token mapping, and string-to-enum conversions.
| #define ENUM_TO_STR | ( | s | ) |
| #define SOL_ENUM_TO_STR | ( | s | ) |