DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | Private Attributes | Friends | List of all members
Diades::Sdmdl::ComponentType Class Reference

#include <ComponentType.hh>

Public Types

typedef VariableVector::const_iterator VariableIterator
 
typedef vector< Port * >::const_iterator PortIterator
 
typedef vector< Event * >::const_iterator EventIterator
 
typedef map< string, Formula::ConstReference >::const_iterator InvariantIterator
 
typedef vector< Rule * >::const_iterator RuleIterator
 

Public Member Functions

 ComponentType ()
 
virtual ~ComponentType ()
 
void setLabel (const string &label)
 
const string & label () const
 
Port & createInputPort (const string &portLabel)
 
Port & createOutputPort (const string &portLabel)
 
Port & createInputPort (const string &portLabel, bool observable)
 
Port & createOutputPort (const string &portLabel, bool observable)
 
FormulaFactory & factory ()
 
void generateFactory ()
 
void insertVariable (Variable &variable)
 
Event & createSpontaneousEvent (const string &label)
 
Event & createInputEvent (const string &portLabel, const string &label)
 
Event & createOutputEvent (const string &portLabel, const string &label)
 
void insertInvariant (const string &label, const Formula &f)
 
void insertInvariant (const Formula &f)
 
void generateGlobalInvariant ()
 
Rule & createRule ()
 
const Formula & globalInvariant () const
 
const Formula & stateInvariant ()
 
const VariableVector & variables () const
 
const Event & spontaneousEvent (const string &msg) const
 
bool containsSpontaneousEventOfLabel (const string &label) const
 
const Event & inputEvent (const string &portLabel, const string &msg) const
 
bool containsInputEventOfLabel (const string &portLabel, const string &msg) const
 
EventIterator beginOfInputEvents () const
 
EventIterator endOfInputEvents () const
 
const Event & outputEvent (const string &portLabel, const string &msg) const
 
bool containsOutputEventOfLabel (const string &portLabel, const string &msg) const
 
EventIterator beginOfOutputEvents () const
 
EventIterator endOfOutputEvents () const
 
const Port & inputPort (const string &portLabel) const
 
bool containsInputPortOfLabel (const string &portLabel) const
 
PortIterator beginOfInputPorts () const
 
PortIterator endOfInputPorts () const
 
const Port & outputPort (const string &portLabel) const
 
bool containsOutputPortOfLabel (const string &portLabel) const
 
PortIterator beginOfOutputPorts () const
 
PortIterator endOfOutputPorts () const
 
bool containsVariableOfLabel (const string &label) const
 
Variable variable (const string &label) const
 
VariableIterator beginOfVariables () const
 
VariableIterator endOfVariables () const
 
InvariantIterator beginOfInvariant () const
 
InvariantIterator endOfInvariant () const
 
RuleIterator beginOfRules () const
 
RuleIterator endOfRules () const
 
const Port & spontaneousPort () const
 

Private Attributes

string labl
 
map< string, vector< Port * >::size_type > _mapInport
 
vector< Port * > _inports
 
map< string, vector< Port * >::size_type > _mapOutport
 
vector< Port * > _outports
 
map< string, VariableVector::size_type > _mapVar
 
VariableVector _variables
 
map< string, vector< Event * >::size_type > _mapOutEvt
 
vector< Event * > _outputEvents
 
map< string, vector< Event * >::size_type > _mapInEvt
 
vector< Event * > _inputEvents
 
map< string, vector< Rule * >::size_type > _mapRule
 
vector< Rule * > _rules
 
map< string, Formula::ConstReference > _invariant
 
vector< Formula::ConstReference > _globalInvariant
 
vector< Formula::ConstReference > _stateInvariant
 
FormulaFactory * _factory
 

Friends

ostream & operator<< (ostream &os, const ComponentType &component)
 

Detailed Description

Definition at line 39 of file ComponentType.hh.

Member Typedef Documentation

◆ EventIterator

typedef vector<Event *>::const_iterator Diades::Sdmdl::ComponentType::EventIterator

Definition at line 45 of file ComponentType.hh.

◆ InvariantIterator

typedef map<string,Formula::ConstReference>::const_iterator Diades::Sdmdl::ComponentType::InvariantIterator

Definition at line 46 of file ComponentType.hh.

◆ PortIterator

typedef vector<Port *>::const_iterator Diades::Sdmdl::ComponentType::PortIterator

Definition at line 44 of file ComponentType.hh.

◆ RuleIterator

typedef vector<Rule *>::const_iterator Diades::Sdmdl::ComponentType::RuleIterator

Definition at line 47 of file ComponentType.hh.

◆ VariableIterator

typedef VariableVector::const_iterator Diades::Sdmdl::ComponentType::VariableIterator

Definition at line 43 of file ComponentType.hh.

Constructor & Destructor Documentation

◆ ComponentType()

Diades::Sdmdl::ComponentType::ComponentType ( )

◆ ~ComponentType()

virtual Diades::Sdmdl::ComponentType::~ComponentType ( )
virtual

Member Function Documentation

◆ beginOfInputEvents()

EventIterator Diades::Sdmdl::ComponentType::beginOfInputEvents ( ) const
inline

Definition at line 126 of file ComponentType.hh.

◆ beginOfInputPorts()

PortIterator Diades::Sdmdl::ComponentType::beginOfInputPorts ( ) const
inline

Definition at line 151 of file ComponentType.hh.

◆ beginOfInvariant()

InvariantIterator Diades::Sdmdl::ComponentType::beginOfInvariant ( ) const
inline

Definition at line 182 of file ComponentType.hh.

◆ beginOfOutputEvents()

EventIterator Diades::Sdmdl::ComponentType::beginOfOutputEvents ( ) const
inline

Definition at line 138 of file ComponentType.hh.

◆ beginOfOutputPorts()

PortIterator Diades::Sdmdl::ComponentType::beginOfOutputPorts ( ) const
inline

Definition at line 163 of file ComponentType.hh.

◆ beginOfRules()

RuleIterator Diades::Sdmdl::ComponentType::beginOfRules ( ) const
inline

Definition at line 185 of file ComponentType.hh.

◆ beginOfVariables()

VariableIterator Diades::Sdmdl::ComponentType::beginOfVariables ( ) const
inline

Definition at line 179 of file ComponentType.hh.

◆ containsInputEventOfLabel()

bool Diades::Sdmdl::ComponentType::containsInputEventOfLabel ( const string &  portLabel,
const string &  msg 
) const
inline

Definition at line 123 of file ComponentType.hh.

◆ containsInputPortOfLabel()

bool Diades::Sdmdl::ComponentType::containsInputPortOfLabel ( const string &  portLabel) const
inline

Definition at line 148 of file ComponentType.hh.

◆ containsOutputEventOfLabel()

bool Diades::Sdmdl::ComponentType::containsOutputEventOfLabel ( const string &  portLabel,
const string &  msg 
) const
inline

Definition at line 135 of file ComponentType.hh.

◆ containsOutputPortOfLabel()

bool Diades::Sdmdl::ComponentType::containsOutputPortOfLabel ( const string &  portLabel) const
inline

Definition at line 159 of file ComponentType.hh.

◆ containsSpontaneousEventOfLabel()

bool Diades::Sdmdl::ComponentType::containsSpontaneousEventOfLabel ( const string &  label) const
inline

Definition at line 111 of file ComponentType.hh.

◆ containsVariableOfLabel()

bool Diades::Sdmdl::ComponentType::containsVariableOfLabel ( const string &  label) const
inline

Definition at line 168 of file ComponentType.hh.

◆ createInputEvent()

Event& Diades::Sdmdl::ComponentType::createInputEvent ( const string &  portLabel,
const string &  label 
)

◆ createInputPort() [1/2]

Port& Diades::Sdmdl::ComponentType::createInputPort ( const string &  portLabel)

◆ createInputPort() [2/2]

Port& Diades::Sdmdl::ComponentType::createInputPort ( const string &  portLabel,
bool  observable 
)

◆ createOutputEvent()

Event& Diades::Sdmdl::ComponentType::createOutputEvent ( const string &  portLabel,
const string &  label 
)

◆ createOutputPort() [1/2]

Port& Diades::Sdmdl::ComponentType::createOutputPort ( const string &  portLabel)

◆ createOutputPort() [2/2]

Port& Diades::Sdmdl::ComponentType::createOutputPort ( const string &  portLabel,
bool  observable 
)

◆ createRule()

Rule& Diades::Sdmdl::ComponentType::createRule ( )

◆ createSpontaneousEvent()

Event& Diades::Sdmdl::ComponentType::createSpontaneousEvent ( const string &  label)

◆ endOfInputEvents()

EventIterator Diades::Sdmdl::ComponentType::endOfInputEvents ( ) const
inline

Definition at line 127 of file ComponentType.hh.

◆ endOfInputPorts()

PortIterator Diades::Sdmdl::ComponentType::endOfInputPorts ( ) const
inline

Definition at line 152 of file ComponentType.hh.

◆ endOfInvariant()

InvariantIterator Diades::Sdmdl::ComponentType::endOfInvariant ( ) const
inline

Definition at line 183 of file ComponentType.hh.

◆ endOfOutputEvents()

EventIterator Diades::Sdmdl::ComponentType::endOfOutputEvents ( ) const
inline

Definition at line 139 of file ComponentType.hh.

◆ endOfOutputPorts()

PortIterator Diades::Sdmdl::ComponentType::endOfOutputPorts ( ) const
inline

Definition at line 164 of file ComponentType.hh.

◆ endOfRules()

RuleIterator Diades::Sdmdl::ComponentType::endOfRules ( ) const
inline

Definition at line 186 of file ComponentType.hh.

◆ endOfVariables()

VariableIterator Diades::Sdmdl::ComponentType::endOfVariables ( ) const
inline

Definition at line 180 of file ComponentType.hh.

◆ factory()

FormulaFactory& Diades::Sdmdl::ComponentType::factory ( )
inline

Definition at line 92 of file ComponentType.hh.

◆ generateFactory()

void Diades::Sdmdl::ComponentType::generateFactory ( )

◆ generateGlobalInvariant()

void Diades::Sdmdl::ComponentType::generateGlobalInvariant ( )

◆ globalInvariant()

const Formula& Diades::Sdmdl::ComponentType::globalInvariant ( ) const
inline

Definition at line 104 of file ComponentType.hh.

◆ inputEvent()

const Event& Diades::Sdmdl::ComponentType::inputEvent ( const string &  portLabel,
const string &  msg 
) const
inline

Definition at line 115 of file ComponentType.hh.

References require.

◆ inputPort()

const Port& Diades::Sdmdl::ComponentType::inputPort ( const string &  portLabel) const
inline

Definition at line 142 of file ComponentType.hh.

References require.

◆ insertInvariant() [1/2]

void Diades::Sdmdl::ComponentType::insertInvariant ( const string &  label,
const Formula &  f 
)

◆ insertInvariant() [2/2]

void Diades::Sdmdl::ComponentType::insertInvariant ( const Formula &  f)

◆ insertVariable()

void Diades::Sdmdl::ComponentType::insertVariable ( Variable &  variable)

◆ label()

const string& Diades::Sdmdl::ComponentType::label ( ) const
inline

Definition at line 85 of file ComponentType.hh.

◆ outputEvent()

const Event& Diades::Sdmdl::ComponentType::outputEvent ( const string &  portLabel,
const string &  msg 
) const
inline

Definition at line 129 of file ComponentType.hh.

References require.

◆ outputPort()

const Port& Diades::Sdmdl::ComponentType::outputPort ( const string &  portLabel) const
inline

Definition at line 154 of file ComponentType.hh.

References require.

◆ setLabel()

void Diades::Sdmdl::ComponentType::setLabel ( const string &  label)
inline

Definition at line 84 of file ComponentType.hh.

◆ spontaneousEvent()

const Event& Diades::Sdmdl::ComponentType::spontaneousEvent ( const string &  msg) const

◆ spontaneousPort()

const Port& Diades::Sdmdl::ComponentType::spontaneousPort ( ) const
inline

Definition at line 188 of file ComponentType.hh.

References Diades::Utils::operator<<().

◆ stateInvariant()

const Formula& Diades::Sdmdl::ComponentType::stateInvariant ( )

◆ variable()

Variable Diades::Sdmdl::ComponentType::variable ( const string &  label) const
inline

Definition at line 171 of file ComponentType.hh.

References require.

◆ variables()

const VariableVector& Diades::Sdmdl::ComponentType::variables ( ) const
inline

Definition at line 108 of file ComponentType.hh.

Friends And Related Function Documentation

◆ operator<<

ostream& operator<< ( ostream &  os,
const ComponentType &  component 
)
friend

Member Data Documentation

◆ _factory

FormulaFactory* Diades::Sdmdl::ComponentType::_factory
private

Definition at line 75 of file ComponentType.hh.

◆ _globalInvariant

vector<Formula::ConstReference> Diades::Sdmdl::ComponentType::_globalInvariant
private

Definition at line 73 of file ComponentType.hh.

◆ _inports

vector<Port *> Diades::Sdmdl::ComponentType::_inports
private

Definition at line 54 of file ComponentType.hh.

◆ _inputEvents

vector<Event *> Diades::Sdmdl::ComponentType::_inputEvents
private

Definition at line 66 of file ComponentType.hh.

◆ _invariant

map<string,Formula::ConstReference> Diades::Sdmdl::ComponentType::_invariant
private

Definition at line 71 of file ComponentType.hh.

◆ _mapInEvt

map<string,vector<Event *>::size_type> Diades::Sdmdl::ComponentType::_mapInEvt
private

Definition at line 65 of file ComponentType.hh.

◆ _mapInport

map<string, vector<Port *>::size_type > Diades::Sdmdl::ComponentType::_mapInport
private

Definition at line 53 of file ComponentType.hh.

◆ _mapOutEvt

map<string,vector<Event *>::size_type> Diades::Sdmdl::ComponentType::_mapOutEvt
private

Definition at line 62 of file ComponentType.hh.

◆ _mapOutport

map<string, vector<Port *>::size_type> Diades::Sdmdl::ComponentType::_mapOutport
private

Definition at line 56 of file ComponentType.hh.

◆ _mapRule

map<string,vector<Rule *>::size_type> Diades::Sdmdl::ComponentType::_mapRule
private

Definition at line 68 of file ComponentType.hh.

◆ _mapVar

map<string, VariableVector::size_type > Diades::Sdmdl::ComponentType::_mapVar
private

Definition at line 59 of file ComponentType.hh.

◆ _outports

vector<Port *> Diades::Sdmdl::ComponentType::_outports
private

Definition at line 57 of file ComponentType.hh.

◆ _outputEvents

vector<Event *> Diades::Sdmdl::ComponentType::_outputEvents
private

Definition at line 63 of file ComponentType.hh.

◆ _rules

vector<Rule *> Diades::Sdmdl::ComponentType::_rules
private

Definition at line 69 of file ComponentType.hh.

◆ _stateInvariant

vector<Formula::ConstReference> Diades::Sdmdl::ComponentType::_stateInvariant
private

Definition at line 74 of file ComponentType.hh.

◆ _variables

VariableVector Diades::Sdmdl::ComponentType::_variables
private

Definition at line 60 of file ComponentType.hh.

◆ labl

string Diades::Sdmdl::ComponentType::labl
private

Definition at line 50 of file ComponentType.hh.

The documentation for this class was generated from the following file:
Generated on Tue May 12 2020 15:52:06 for DiaDes by   doxygen 1.8.13