UTAP::type_t Class Reference
A reference to a type.
More...
#include <symbols.h>
List of all members.
Detailed Description
A reference to a type.
Types are represented as type objects. Type objects cannot be access directly. You need to use an instance of type_t to access a type object. Internally, type objects are reference counted and do not need to be deallocated manually.
Types are either primitive such as clocks or channels, or contructed types such as structs and array. Primitive types are allocated statically and can be accessed via the static member fields of the type_t class. Constructed types are created using one of the static factory methods in the type_t class.
All types have a base type. For primitive types, the base type is the type itself. For constructed types, the base type indicates the type constructor (i.e. if this is an array, record, etc.). In addition, all types can have a number of prefixes, such as URGENT, COMMITTED, CONSTANT, BROADCAST, and REFERENCE.
Constructed types can have other fields: Integers have a range, arrays have a size and a sub-type, records have fields, functions have parameters and a return type (the sub-type), templates have parameters, and named types have a sub-type.
Constructor & Destructor Documentation
UTAP::type_t::type_t |
( |
const type_t & |
|
) |
|
|
Member Function Documentation
|
Creates and returns a new array type.
|
static type_t UTAP::type_t::createBase |
( |
|
) |
[static] |
|
|
Create a new primitive type.
|
|
Creates and returns a new function type.
|
|
Creates and returns a new integer type with the given range.
|
|
Creates and returns a new process type.
|
|
Creates and returns a new record type.
|
|
Creates and returns a new template type.
|
static type_t UTAP::type_t::createTypeName |
( |
type_t |
|
) |
[static] |
|
|
Creates and returns a new named type.
|
|
Returns the size of an array.
|
type_t UTAP::type_t::getBase |
( |
|
) |
const |
|
|
Returns the base type of this frame.
|
frame_t UTAP::type_t::getFrame |
( |
|
) |
const |
|
frame_t UTAP::type_t::getParameters |
( |
|
) |
const |
|
|
Returns the parameters of a function or template type.
|
|
Returns the range of an integer type.
|
frame_t UTAP::type_t::getRecordFields |
( |
|
) |
const |
|
|
Returns the fields of a record type.
|
type_t UTAP::type_t::getReturnType |
( |
|
) |
|
|
|
Returns the return-type of a function.
|
type_t UTAP::type_t::getSub |
( |
|
) |
|
|
|
Returns the sub-type of this type.
|
|
Returns the true if this type has the given prefix.
|
bool UTAP::type_t::operator!= |
( |
const type_t & |
|
) |
const |
|
bool UTAP::type_t::operator== |
( |
const type_t & |
|
) |
const |
|
Member Data Documentation
The documentation for this class was generated from the following file:
Generated on Thu Feb 17 15:20:59 2005 for libutap by
1.4.1