DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Type.hh>
Public Types | |
typedef Utils::Exception< TypeData > | Exception |
Public Member Functions | |
~TypeData () | |
const string & | label () const throw (Exception) |
unsigned | code () const |
Static Public Member Functions | |
static string | typeName () |
Private Member Functions | |
TypeData (const string &label, unsigned code) throw (Exception) | |
TypeData (const string &label, const vector< Type > &fields, unsigned code) throw (Exception) | |
TypeData (const string &label, const StructureFields &fields, unsigned code) throw (Exception) | |
Private Attributes | |
TypeTemplate | _template |
string | _internalLabel |
unsigned | _code |
union { | |
vector< Type > * _array | |
map< Identifier, Type > * _structure | |
} | _fields |
Friends | |
class | Type |
class | TypeFactory |
Data structure that contains the data refered by a Type. Type is just a reference to TypeData and can be used like a reference (efficient copy).
|
private |
|
private |
|
private |
Diades::Altarica::TypeData::~TypeData | ( | ) |
|
inline |
Definition at line 84 of file Type.hh.
Referenced by Diades::Altarica::Type::operator<().
|
inline |
Definition at line 79 of file Type.hh.
References ensure.
Referenced by Diades::Altarica::Type::label().
|
inlinestatic |
|
friend |
union { ... } Diades::Altarica::TypeData::_fields |
map<Identifier, Type>* Diades::Altarica::TypeData::_structure |
|
private |
Definition at line 66 of file Type.hh.
Referenced by Diades::Altarica::Type::isArray(), Diades::Altarica::Type::isBasic(), Diades::Altarica::Type::isBoolean(), Diades::Altarica::Type::isIdentifier(), Diades::Altarica::Type::isInteger(), Diades::Altarica::Type::isStructure(), and Diades::Altarica::Type::typeTemplate().