libutap
Public Member Functions | Public Attributes | List of all members
UTAP::function_t Struct Reference

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_tchanges
 Variables changed by this function. More...
 
std::set< symbol_tdepends
 Variables the function depends on. More...
 
std::list< variable_tvariables
 Local variables. More...
 
BlockStatementbody
 Pointer to the block. More...
 

Detailed Description

Information about a function.

The symbol's user data points to this structure, i.e. f.uid.getData() is a pointer to f.

Constructor & Destructor Documentation

UTAP::function_t::function_t ( )
inline
function_t::~function_t ( )

Member Function Documentation

string function_t::toString ( ) const

References INDENT, and variables.

Member Data Documentation

BlockStatement* UTAP::function_t::body
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().


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