UTAP::instance_t Struct Reference

Partial instance of a template. More...

#include <system.h>

Inheritance diagram for UTAP::instance_t:

UTAP::template_t List of all members.

Public Attributes

symbol_t uid
 The name.
frame_t parameters
 The parameters.
std::map< symbol_t, expression_tmapping
 The arguments.
size_t arguments
size_t unbound
template_ttempl
std::set< symbol_trestricted
 Restricted variables.

Detailed Description

Partial instance of a template.

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.


Member Data Documentation

size_t UTAP::instance_t::arguments

std::map<symbol_t, expression_t> UTAP::instance_t::mapping

The arguments.

frame_t UTAP::instance_t::parameters

The parameters.

std::set<symbol_t> UTAP::instance_t::restricted

Restricted variables.

struct template_t* UTAP::instance_t::templ

symbol_t UTAP::instance_t::uid

The name.

size_t UTAP::instance_t::unbound


The documentation for this struct was generated from the following file:
Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7