ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
solidity_convertert::func_sig Struct Reference

#include <solidity_convert.h>

Public Member Functions

 func_sig (const std::string &name, const std::string &id, const std::string &visibility, const code_typet &type, bool is_payable, bool is_inherit, bool is_library)
bool operator== (const func_sig &other) const

Public Attributes

std::string name
std::string id
std::string visibility
code_typet type
bool is_payable
bool is_inherit
bool is_library

Constructor & Destructor Documentation

◆ func_sig()

solidity_convertert::func_sig::func_sig ( const std::string & name,
const std::string & id,
const std::string & visibility,
const code_typet & type,
bool is_payable,
bool is_inherit,
bool is_library )
inline

Member Function Documentation

◆ operator==()

bool solidity_convertert::func_sig::operator== ( const func_sig & other) const
inline

Member Data Documentation

◆ id

std::string solidity_convertert::func_sig::id

◆ is_inherit

bool solidity_convertert::func_sig::is_inherit

◆ is_library

bool solidity_convertert::func_sig::is_library

◆ is_payable

bool solidity_convertert::func_sig::is_payable

◆ name

std::string solidity_convertert::func_sig::name

◆ type

code_typet solidity_convertert::func_sig::type

◆ visibility

std::string solidity_convertert::func_sig::visibility

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