Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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 Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2