#include <system.h>
Inheritance diagram for UTAP::instance_t:
Public Attributes | |
symbol_t | uid |
The name. | |
frame_t | parameters |
The parameters. | |
std::map< symbol_t, expression_t > | mapping |
The arguments. | |
size_t | arguments |
size_t | unbound |
template_t * | templ |
std::set< symbol_t > | restricted |
Restricted variables. |
Every template is also a partial instance of itself and therefore template_t is derived from instance_t. A complete instance is just a partial instance without any parameters.
Even though it is possible to make partial instances of partial instances, they are not represented hierarchically: All parameters and arguments are merged into this one struct. Therefore parameters contains both bound and unbound symbols: Unbound symbols are parameters of this instance. Bound symbols are inherited from another instance. Symbols in parameters are ordered such that unbound symbols are listed first, i.e., uid.getType().size() == parameters.getSize().
mapping binds parameters to expressions.
arguments is the number of arguments given by the partial instance. The first arguments bound symbols of parameters are the corresponding parameters. For templates, arguments is obviously 0.
Restricted variables are those that are used either directly or indirectly in the definition of array sizes. Any restricted parameters have restriction on the kind of arguments they accept (they must not depend on any free process parameters).
If i is an instance, then i.uid.getData() == i.
size_t UTAP::instance_t::arguments |
std::map<symbol_t, expression_t> UTAP::instance_t::mapping |
The arguments.
The parameters.
std::set<symbol_t> UTAP::instance_t::restricted |
Restricted variables.
struct template_t* UTAP::instance_t::templ |
The name.
size_t UTAP::instance_t::unbound |