DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Variable.hh>
Public Member Functions | |
VariableData () | |
~VariableData () | |
Private Member Functions | |
void | createStructureVariables (const set< Identifier > &attributes, const StructureDomainData *domainData) |
Is the Variable free? That is, its current Value is not initialised. More... | |
void | createArrayVariables (const set< Identifier > &attributes, const ArrayDomainData *domainData) |
VariableData (const Identifier &label, Domain domain, const set< Identifier > &attributes, unsigned id) | |
VariableData (const Identifier &label, const set< Variable > &variables, unsigned id, Node node) | |
VariableData (const Identifier &label, Domain domain, const set< Identifier > &attributes, unsigned id, Node node) | |
VariableData (const Identifier &label, const set< Variable > &variables, const set< Identifier > &attributes, unsigned id, Node node) | |
VariableData (const Identifier &label, Domain domain, const set< Identifier > &attributes, unsigned id, Variable variable) | |
Private Attributes | |
Identifier | _label |
Domain | _domain |
label of the Variable More... | |
union { | |
map< Identifier, Variable > * _structure | |
vector< Variable > * _array | |
Fields of the Variable if the Variable is a structure. More... | |
} | _fields |
Domain of the Variable. More... | |
set< Identifier > | _fieldName |
set< Identifier > | _attrib |
Fieldnames of the Variable if the Variable is a structure. More... | |
void * | _scope |
attributes of the Variable More... | |
VariableScope | _scopeType |
The scope of the variable. More... | |
Value | _value |
The scope type of the variable. More... | |
unsigned | _id |
The current Value of the Variable. More... | |
bool | _isFree |
The id of the Variable. More... | |
Friends | |
class | VariableFactory |
class | Variable |
A variable. It consists of an Identifier, a Domain and a list of attributes and a owner. The variable may be structured (Structure or Array). In this case, a Variable also has some fields implemented as other Variable objects. VariableData are created/deleted by VariableFactory only. The user shall not use this class. It is for internal purpose.
Definition at line 31 of file Variable.hh.
|
private |
|
private |
|
private |
|
private |
|
private |
Diades::Altarica::VariableData::VariableData | ( | ) |
Parmetrised constructor
label | Label of the Variable |
domain | Domain of the Variable |
fields | Fields of the Variable if the Variable is a structure, empty otherwise |
attributes | Attributes of the Variable empty otherwise |
id | the id of the Variable |
function | The scope of the variable Parmetrised constructor |
label | Label of the Variable |
domain | Domain of the Variable |
fields | Fields of the Variable if the Variable is a structure, empty otherwise |
attributes | Attributes of the Variable empty otherwise |
id | the id of the Variable |
formula | The scope of the variable Default constructor |
Diades::Altarica::VariableData::~VariableData | ( | ) |
Destructor
|
private |
Create the internal Variable objects of the current VariableData object based on the Array domain
attributes | Attributes of the Variable empty otherwise |
domainData | a ArrayDomainData |
|
private |
Is the Variable free? That is, its current Value is not initialised.
Create the internal Variable objects of the current VariableData object based on the Structure domain
attributes | Attributes of the Variable empty otherwise |
domainData | a StructureDomainData |
|
friend |
Definition at line 175 of file Variable.hh.
|
friend |
Definition at line 174 of file Variable.hh.
vector<Variable>* Diades::Altarica::VariableData::_array |
Fields of the Variable if the Variable is a structure.
Definition at line 41 of file Variable.hh.
|
private |
Fieldnames of the Variable if the Variable is a structure.
Definition at line 44 of file Variable.hh.
|
private |
label of the Variable
Definition at line 37 of file Variable.hh.
Referenced by Diades::Altarica::Variable::domain().
|
private |
Definition at line 43 of file Variable.hh.
|
private |
The current Value of the Variable.
Definition at line 48 of file Variable.hh.
|
private |
The id of the Variable.
Definition at line 49 of file Variable.hh.
|
private |
Definition at line 36 of file Variable.hh.
Referenced by Diades::Altarica::Variable::label().
|
private |
attributes of the Variable
Definition at line 45 of file Variable.hh.
Referenced by Diades::Altarica::Variable::variableScope().
|
private |
The scope of the variable.
Definition at line 46 of file Variable.hh.
Referenced by Diades::Altarica::Variable::scopeType().
map<Identifier,Variable>* Diades::Altarica::VariableData::_structure |
Definition at line 40 of file Variable.hh.
|
private |
The scope type of the variable.
Definition at line 47 of file Variable.hh.