libutap
|
Information about a function. More...
#include <system.h>
Public Member Functions | |
function_t () | |
~function_t () | |
std::string | toString () const |
Public Attributes | |
symbol_t | uid |
The symbol of the function. More... | |
std::set< symbol_t > | changes |
Variables changed by this function. More... | |
std::set< symbol_t > | depends |
Variables the function depends on. More... | |
std::list< variable_t > | variables |
Local variables. More... | |
BlockStatement * | body |
Pointer to the block. More... | |
Information about a function.
The symbol's user data points to this structure, i.e. f.uid.getData() is a pointer to f.
|
inline |
function_t::~function_t | ( | ) |
BlockStatement* UTAP::function_t::body |
Pointer to the block.
Referenced by UTAP::StatementBuilder::declFuncBegin(), UTAP::StatementBuilder::declFuncEnd(), and UTAP::TypeChecker::visitFunction().
std::set<symbol_t> UTAP::function_t::changes |
Variables changed by this function.
Referenced by UTAP::expression_t::collectPossibleWrites(), and UTAP::TypeChecker::visitFunction().
std::set<symbol_t> UTAP::function_t::depends |
Variables the function depends on.
Referenced by UTAP::expression_t::collectPossibleReads(), and UTAP::TypeChecker::visitFunction().
symbol_t UTAP::function_t::uid |
std::list<variable_t> UTAP::function_t::variables |
Local variables.
Referenced by UTAP::TypeChecker::visitFunction().