Information about a function. More...

#include <system.h>

Collaboration diagram for UTAP::function_t:

[legend]

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...

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.

Definition at line 110 of file system.h.

Constructor & Destructor Documentation

◆ function_t()

UTAP::function_t::function_t ( )

inline

Definition at line 117 of file system.h.

References UTAP::variable_t::toString().

Here is the call graph for this function:

◆ ~function_t()

function_t::~function_t ( )

Definition at line 69 of file system.cpp.

Member Function Documentation

◆ toString()

string function_t::toString ( ) const

Definition at line 74 of file system.cpp.

References INDENT, and variables.

Member Data Documentation

◆ body

BlockStatement* UTAP::function_t::body

Pointer to the block.

Definition at line 116 of file system.h.

Referenced by UTAP::StatementBuilder::declFuncBegin(), UTAP::StatementBuilder::declFuncEnd(), and UTAP::TypeChecker::visitFunction().

◆ changes

std::set<symbol_t> UTAP::function_t::changes

Variables changed by this function.

Definition at line 113 of file system.h.

Referenced by UTAP::expression_t::collectPossibleWrites(), and UTAP::TypeChecker::visitFunction().

◆ depends

std::set<symbol_t> UTAP::function_t::depends

Variables the function depends on.

Definition at line 114 of file system.h.

Referenced by UTAP::expression_t::collectPossibleReads(), and UTAP::TypeChecker::visitFunction().

◆ uid

symbol_t UTAP::function_t::uid

The symbol of the function.

Definition at line 112 of file system.h.

Referenced by UTAP::declarations_t::addFunction(), UTAP::expression_t::collectPossibleWrites(), UTAP::StatementBuilder::declFuncEnd(), UTAP::StatementBuilder::exprCallBegin(), UTAP::StatementBuilder::returnStatement(), and UTAP::TypeChecker::visitFunction().

◆ variables

std::list<variable_t> UTAP::function_t::variables

Local variables.

Definition at line 115 of file system.h.

Referenced by UTAP::TypeChecker::visitFunction().

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

Public Member Functions

Public Attributes