Class that deal with list of semantics links for high level analysis. More...
#include <LinkInfo.hxx>

Public Member Functions | |
| LinkInfo (unsigned char level) | |
| void | clearAll () |
| void | startCollapseTransac () |
| void | endCollapseTransac () |
| void | setPointOfView (ComposedNode *pov) |
| void | pushInfoLink (OutPort *semStart, InPort *end, InfoReason reason) |
| void | pushWarnLink (OutPort *semStart, InPort *end, WarnReason reason) |
| void | pushErrLink (OutPort *semStart, InPort *end, ErrReason reason) |
| void | pushErrSwitch (CollectorSwOutPort *collector) |
| void | pushUselessCFLink (Node *start, Node *end) |
| void | takeDecision () const |
| std::string | getGlobalRepr () const |
| std::string | getInfoRepr () const |
| std::string | getWarnRepr () const |
| std::string | getErrRepr () const |
| bool | areWarningsOrErrors () const |
| unsigned | getNumberOfInfoLinks (InfoReason reason) const |
| unsigned | getNumberOfWarnLinksGrp (WarnReason reason) const |
| unsigned | getNumberOfErrLinks (ErrReason reason) const |
| std::set< std::pair< Node *, Node * > > | getInfoUselessLinks () const |
| std::pair< OutPort *, InPort * > | getInfoLink (unsigned id, InfoReason reason) const |
| std::vector< std::pair< OutPort *, InPort * > > | getWarnLink (unsigned id, WarnReason reason) const |
| std::pair< OutPort *, InPort * > | getErrLink (unsigned id, ErrReason reason) const |
Static Public Attributes | |
| static const unsigned char | ALL_STOP_ASAP = 1 |
| static const unsigned char | ALL_DONT_STOP = 2 |
| static const unsigned char | WARN_ONLY_DONT_STOP = 3 |
Static Protected Member Functions | |
| static std::string | getStringReprOfI (InfoReason reason) |
| static std::string | getStringReprOfW (WarnReason reason) |
| static std::string | getStringReprOfE (ErrReason reason) |
| static std::string | printThereIsAre (unsigned val, const std::string &other) |
Private Attributes | |
| ComposedNode * | _pov |
| unsigned int | _level |
| unsigned char | _levelOfInfo |
| std::vector< InPort * > | _unsetInPort |
| std::vector< InPort * > | _onlyBackDefined |
| std::set< std::pair< Node *, Node * > > | _uselessLinks |
| std::map< InfoReason, std::vector< std::pair< OutPort *, InPort * > > > | _infos |
| std::map< WarnReason, std::vector< std::vector< std::pair< OutPort *, InPort * > > > > | _collapse |
| std::map< ErrReason, std::vector< std::pair< OutPort *, InPort * > > > | _errors |
| std::vector< CollectorSwOutPort * > | _errorsOnSwitchCases |
Class that deal with list of semantics links for high level analysis.
Definition at line 82 of file LinkInfo.hxx.
| LinkInfo::LinkInfo | ( | unsigned char | level | ) |
Definition at line 32 of file LinkInfo.cxx.
| bool LinkInfo::areWarningsOrErrors | ( | ) | const |
Definition at line 199 of file LinkInfo.cxx.
References _onlyBackDefined, _unsetInPort, YACS::ENGINE::E_ALL, getNumberOfErrLinks(), getNumberOfWarnLinksGrp(), and YACS::ENGINE::W_ALL.
Referenced by endCollapseTransac(), main(), YACS::HMI::GenericGui::onRunLoadedSchema(), and YACS::HMI::EditionProc::synchronize().
| void LinkInfo::clearAll | ( | ) |
Definition at line 36 of file LinkInfo.cxx.
References _collapse, _errors, _errorsOnSwitchCases, _infos, _level, _onlyBackDefined, _unsetInPort, and _uselessLinks.
Referenced by YACS::ENGINE::ComposedNode::checkConsistency().
| void LinkInfo::endCollapseTransac | ( | ) |
Definition at line 53 of file LinkInfo.cxx.
References _level, _levelOfInfo, ALL_STOP_ASAP, areWarningsOrErrors(), getErrRepr(), getGlobalRepr(), getNumberOfWarnLinksGrp(), YACS::ENGINE::W_ALL, and WARN_ONLY_DONT_STOP.
Referenced by YACS::ENGINE::Bloc::verdictForCollapses().
Definition at line 291 of file LinkInfo.cxx.
References _errors, _onlyBackDefined, _unsetInPort, YACS::ENGINE::E_NEVER_SET_INPUTPORT, and YACS::ENGINE::E_ONLY_BACKWARD_DEFINED.
| std::string LinkInfo::getErrRepr | ( | ) | const |
Definition at line 182 of file LinkInfo.cxx.
References _errors, _errorsOnSwitchCases, _onlyBackDefined, _pov, _unsetInPort, YACS::ENGINE::E_NEVER_SET_INPUTPORT, YACS::ENGINE::E_ONLY_BACKWARD_DEFINED, YACS::ENGINE::ComposedNode::getInPortName(), YACS::ENGINE::ComposedNode::getOutPortName(), and getStringReprOfE().
Referenced by endCollapseTransac(), getGlobalRepr(), pushErrLink(), pushErrSwitch(), and takeDecision().
| std::string LinkInfo::getGlobalRepr | ( | ) | const |
Definition at line 118 of file LinkInfo.cxx.
References YACS::ENGINE::E_ALL, getErrRepr(), getInfoRepr(), getNumberOfErrLinks(), getNumberOfInfoLinks(), getNumberOfWarnLinksGrp(), getWarnRepr(), GLOBAL_MESSAGE1, YACS::ENGINE::I_ALL, printThereIsAre(), and YACS::ENGINE::W_ALL.
Referenced by endCollapseTransac(), main(), and YACS::HMI::EditionProc::synchronize().
| std::pair< OutPort *, InPort * > LinkInfo::getInfoLink | ( | unsigned | id, |
| InfoReason | reason | ||
| ) | const |
Definition at line 271 of file LinkInfo.cxx.
References _infos, and YACS::ENGINE::I_CF_USELESS.
| std::string LinkInfo::getInfoRepr | ( | ) | const |
Definition at line 142 of file LinkInfo.cxx.
References _infos, _pov, _uselessLinks, YACS::ENGINE::ComposedNode::getChildName(), YACS::ENGINE::ComposedNode::getInPortName(), YACS::ENGINE::ComposedNode::getOutPortName(), and getStringReprOfI().
Referenced by getGlobalRepr().
Definition at line 266 of file LinkInfo.cxx.
References _uselessLinks.
Referenced by YACS::ENGINE::Bloc::removeRecursivelyRedundantCL().
| unsigned LinkInfo::getNumberOfErrLinks | ( | ErrReason | reason | ) | const |
Definition at line 246 of file LinkInfo.cxx.
References _errors, _errorsOnSwitchCases, _onlyBackDefined, _unsetInPort, YACS::ENGINE::E_ALL, YACS::ENGINE::E_NEVER_SET_INPUTPORT, YACS::ENGINE::E_ONLY_BACKWARD_DEFINED, and YACS::ENGINE::E_UNCOMPLETE_SW.
Referenced by areWarningsOrErrors(), and getGlobalRepr().
| unsigned LinkInfo::getNumberOfInfoLinks | ( | InfoReason | reason | ) | const |
If 'reason'==I_ALL returns nummmber of types of links info whereas it returns number of info per type.
Definition at line 207 of file LinkInfo.cxx.
References _infos, _uselessLinks, YACS::ENGINE::I_ALL, and YACS::ENGINE::I_CF_USELESS.
Referenced by getGlobalRepr().
| unsigned LinkInfo::getNumberOfWarnLinksGrp | ( | WarnReason | reason | ) | const |
Definition at line 229 of file LinkInfo.cxx.
References _collapse, and YACS::ENGINE::W_ALL.
Referenced by areWarningsOrErrors(), endCollapseTransac(), and getGlobalRepr().
|
staticprotected |
Definition at line 364 of file LinkInfo.cxx.
References YACS::ENGINE::E_COLLAPSE_DFDS, YACS::ENGINE::E_COLLAPSE_DS, YACS::ENGINE::E_DS_LINK_UNESTABLISHABLE, YACS::ENGINE::E_NEVER_SET_INPUTPORT, YACS::ENGINE::E_ONLY_BACKWARD_DEFINED, YACS::ENGINE::E_UNPREDICTABLE_FED, and LINK_REPR.
Referenced by getErrRepr().
|
staticprotected |
Definition at line 307 of file LinkInfo.cxx.
References YACS::ENGINE::I_BACK, YACS::ENGINE::I_BACK_CRAZY, YACS::ENGINE::I_BACK_USELESS, YACS::ENGINE::I_DFDS, YACS::ENGINE::I_USELESS, and LINK_REPR.
Referenced by getInfoRepr().
|
staticprotected |
Definition at line 331 of file LinkInfo.cxx.
References LINK_REPR, YACS::ENGINE::W_BACK_COLLAPSE, YACS::ENGINE::W_BACK_COLLAPSE_AND_USELESS, YACS::ENGINE::W_BACK_COLLAPSE_EL, YACS::ENGINE::W_BACK_COLLAPSE_EL_AND_USELESS, YACS::ENGINE::W_COLLAPSE, YACS::ENGINE::W_COLLAPSE_AND_USELESS, YACS::ENGINE::W_COLLAPSE_EL, and YACS::ENGINE::W_COLLAPSE_EL_AND_USELESS.
Referenced by getWarnRepr().
| std::vector< std::pair< OutPort *, InPort * > > LinkInfo::getWarnLink | ( | unsigned | id, |
| WarnReason | reason | ||
| ) | const |
Definition at line 282 of file LinkInfo.cxx.
References _collapse.
| std::string LinkInfo::getWarnRepr | ( | ) | const |
Definition at line 163 of file LinkInfo.cxx.
References _collapse, _pov, YACS::ENGINE::ComposedNode::getInPortName(), YACS::ENGINE::ComposedNode::getOutPortName(), getStringReprOfW(), and yacsorb.CORBAEngineTest::i.
Referenced by getGlobalRepr().
|
staticprotected |
Definition at line 86 of file LinkInfo.cxx.
References _errors, _level, _levelOfInfo, _onlyBackDefined, _unsetInPort, ALL_STOP_ASAP, YACS::ENGINE::E_NEVER_SET_INPUTPORT, YACS::ENGINE::E_ONLY_BACKWARD_DEFINED, getErrRepr(), and WARN_ONLY_DONT_STOP.
Referenced by YACS::ENGINE::Bloc::checkCFLinks(), YACS::ENGINE::ComposedNode::checkConsistency(), YACS::ENGINE::Bloc::checkControlDependancy(), YACS::ENGINE::ComposedNode::checkLinksCoherenceRegardingControl(), and YACS::ENGINE::ComposedNode::solveObviousOrDelegateCFLinks().
| void LinkInfo::pushErrSwitch | ( | CollectorSwOutPort * | collector | ) |
Definition at line 99 of file LinkInfo.cxx.
References _errorsOnSwitchCases, _level, _levelOfInfo, ALL_STOP_ASAP, getErrRepr(), and WARN_ONLY_DONT_STOP.
Referenced by YACS::ENGINE::CollectorSwOutPort::checkConsistency().
| void LinkInfo::pushInfoLink | ( | OutPort * | semStart, |
| InPort * | end, | ||
| InfoReason | reason | ||
| ) |
Definition at line 71 of file LinkInfo.cxx.
References _infos.
Referenced by YACS::ENGINE::ComposedNode::checkCFLinks(), YACS::ENGINE::DynParaLoop::checkCFLinks(), YACS::ENGINE::ForLoop::checkCFLinks(), YACS::ENGINE::ComposedNode::solveObviousOrDelegateCFLinks(), and YACS::ENGINE::Bloc::verdictForOkAndUseless1().
Definition at line 107 of file LinkInfo.cxx.
References _uselessLinks.
Referenced by YACS::ENGINE::Bloc::findUselessLinksIn(), and YACS::ENGINE::Bloc::performCFComputationsOnlyOneLevel().
| void LinkInfo::pushWarnLink | ( | OutPort * | semStart, |
| InPort * | end, | ||
| WarnReason | reason | ||
| ) |
Definition at line 76 of file LinkInfo.cxx.
References _collapse.
Referenced by YACS::ENGINE::ComposedNode::checkCFLinks(), YACS::ENGINE::ComposedNode::solveObviousOrDelegateCFLinks(), YACS::ENGINE::Bloc::verdictForCollapses(), and YACS::ENGINE::Bloc::verdictForOkAndUseless1().
| void LinkInfo::setPointOfView | ( | ComposedNode * | pov | ) |
Definition at line 66 of file LinkInfo.cxx.
References _pov.
Referenced by YACS::ENGINE::ComposedNode::checkConsistency().
| void LinkInfo::startCollapseTransac | ( | ) |
Definition at line 48 of file LinkInfo.cxx.
References _level.
Referenced by YACS::ENGINE::Bloc::verdictForCollapses().
| void LinkInfo::takeDecision | ( | ) | const |
Definition at line 112 of file LinkInfo.cxx.
References _errors, and getErrRepr().
|
private |
Definition at line 92 of file LinkInfo.hxx.
Referenced by clearAll(), getNumberOfWarnLinksGrp(), getWarnLink(), getWarnRepr(), and pushWarnLink().
|
private |
Definition at line 93 of file LinkInfo.hxx.
Referenced by clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), pushErrLink(), and takeDecision().
|
private |
Definition at line 94 of file LinkInfo.hxx.
Referenced by clearAll(), getErrRepr(), getNumberOfErrLinks(), and pushErrSwitch().
|
private |
Definition at line 91 of file LinkInfo.hxx.
Referenced by clearAll(), getInfoLink(), getInfoRepr(), getNumberOfInfoLinks(), and pushInfoLink().
|
private |
Definition at line 86 of file LinkInfo.hxx.
Referenced by clearAll(), endCollapseTransac(), pushErrLink(), pushErrSwitch(), and startCollapseTransac().
|
private |
Definition at line 87 of file LinkInfo.hxx.
Referenced by endCollapseTransac(), pushErrLink(), and pushErrSwitch().
|
private |
Definition at line 89 of file LinkInfo.hxx.
Referenced by areWarningsOrErrors(), clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), and pushErrLink().
|
private |
Definition at line 85 of file LinkInfo.hxx.
Referenced by getErrRepr(), getInfoRepr(), getWarnRepr(), and setPointOfView().
|
private |
Definition at line 88 of file LinkInfo.hxx.
Referenced by areWarningsOrErrors(), clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), and pushErrLink().
Definition at line 90 of file LinkInfo.hxx.
Referenced by clearAll(), getInfoRepr(), getInfoUselessLinks(), getNumberOfInfoLinks(), and pushUselessCFLink().
|
static |
Definition at line 127 of file LinkInfo.hxx.
Referenced by main().
|
static |
Definition at line 126 of file LinkInfo.hxx.
Referenced by endCollapseTransac(), YACS::HMI::GenericGui::onRunLoadedSchema(), pushErrLink(), and pushErrSwitch().
|
static |
Definition at line 128 of file LinkInfo.hxx.
Referenced by endCollapseTransac(), pushErrLink(), and pushErrSwitch().