Class that deal with list of semantics links for high level analysis. More...

#include <LinkInfo.hxx>

Collaboration diagram for YACS::ENGINE::LinkInfo:

[legend]

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

Detailed Description

Class that deal with list of semantics links for high level analysis.

Definition at line 82 of file LinkInfo.hxx.

Constructor & Destructor Documentation

◆ LinkInfo()

LinkInfo::LinkInfo ( unsigned char level )

Definition at line 32 of file LinkInfo.cxx.

                                     :_levelOfInfo(level),_level(0)
{
}

Member Function Documentation

◆ areWarningsOrErrors()

bool LinkInfo::areWarningsOrErrors ( ) const

Definition at line 199 of file LinkInfo.cxx.

{
  return (getNumberOfWarnLinksGrp(W_ALL)!=0) || (getNumberOfErrLinks(E_ALL)!=0) || !_unsetInPort.empty() || !_onlyBackDefined.empty();
}

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().

◆ clearAll()

void LinkInfo::clearAll ( )

Definition at line 36 of file LinkInfo.cxx.

{
  _level=0;
  _unsetInPort.clear();
  _onlyBackDefined.clear();
  _uselessLinks.clear();
  _infos.clear();
  _collapse.clear();
  _errors.clear();
  _errorsOnSwitchCases.clear();
}

References _collapse, _errors, _errorsOnSwitchCases, _infos, _level, _onlyBackDefined, _unsetInPort, and _uselessLinks.

Referenced by YACS::ENGINE::ComposedNode::checkConsistency().

◆ endCollapseTransac()

void LinkInfo::endCollapseTransac ( )

Definition at line 53 of file LinkInfo.cxx.

{
  if(--_level==0)
    {
      if(_levelOfInfo==ALL_STOP_ASAP)
        if(areWarningsOrErrors())
          throw Exception(getGlobalRepr());
      else if(_levelOfInfo==WARN_ONLY_DONT_STOP)
        if(getNumberOfWarnLinksGrp(W_ALL)!=0)
          throw Exception(getErrRepr());
    }
}

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().

◆ getErrLink()

std::pair< OutPort , InPort > LinkInfo::getErrLink	(	unsigned	id,
		ErrReason	reason
	)		const

Definition at line 291 of file LinkInfo.cxx.

{
  if(reason==E_NEVER_SET_INPUTPORT)
    return pair<OutPort *, InPort *>( reinterpret_cast<OutPort *>(0), _unsetInPort[id] );
  else if(reason==E_ONLY_BACKWARD_DEFINED)
    return pair<OutPort *, InPort *>( reinterpret_cast<OutPort *>(0), _onlyBackDefined[id] );
  else
    {
      map<ErrReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter=_errors.find(reason);
      if(iter!=_errors.end())
        return (*iter).second[id];
      else
        return pair<OutPort *, InPort *>( reinterpret_cast<OutPort *>(0), reinterpret_cast<InPort *>(0) );
    }
}

References _errors, _onlyBackDefined, _unsetInPort, YACS::ENGINE::E_NEVER_SET_INPUTPORT, and YACS::ENGINE::E_ONLY_BACKWARD_DEFINED.

◆ getErrRepr()

std::string LinkInfo::getErrRepr ( ) const

Definition at line 182 of file LinkInfo.cxx.

{
  vector<InPort *>::const_iterator iter;
  ostringstream stream;
  for(iter=_unsetInPort.begin();iter!=_unsetInPort.end();iter++)
    stream << getStringReprOfE(E_NEVER_SET_INPUTPORT) << "\"" << _pov->getInPortName(*iter) << "\"." << endl;
  for(iter=_onlyBackDefined.begin();iter!=_onlyBackDefined.end();iter++)
    stream << getStringReprOfE(E_ONLY_BACKWARD_DEFINED) << "\"" << _pov->getInPortName(*iter) << "\"." << endl;
  map<ErrReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter2;
  for(iter2=_errors.begin();iter2!=_errors.end();iter2++)
    for(vector< pair<OutPort *,InPort *> >::const_iterator iter3=(*iter2).second.begin();iter3!=(*iter2).second.end();iter3++)
      stream << getStringReprOfE((*iter2).first) << " between \"" <<_pov->getOutPortName((*iter3).first) << "\" and \"" << _pov->getInPortName((*iter3).second) << endl;
  for(vector<CollectorSwOutPort *>::const_iterator iter3=_errorsOnSwitchCases.begin();iter3!=_errorsOnSwitchCases.end();iter3++)
    (*iter3)->getHumanReprOfIncompleteCases(stream);
  return stream.str();
}

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().

◆ getGlobalRepr()

std::string LinkInfo::getGlobalRepr ( ) const

Definition at line 118 of file LinkInfo.cxx.

{
  ostringstream retS; retS << GLOBAL_MESSAGE1;
  retS << printThereIsAre(getNumberOfErrLinks(E_ALL),"error") << ".\n";
  retS << printThereIsAre(getNumberOfWarnLinksGrp(W_ALL),"warning") << ".\n";
  retS << printThereIsAre(getNumberOfInfoLinks(I_ALL),"info") << ".\n";
  if(getNumberOfErrLinks(E_ALL)>0)
    {
      retS << "****** ERRORS ******" << endl;
      retS << getErrRepr() << endl;
    }
  if(getNumberOfWarnLinksGrp(W_ALL)>0)
    {
      retS << "****** WARNINGS ******" << endl;
      retS << getWarnRepr() << endl;
    }
  if(getNumberOfInfoLinks(I_ALL)>0)
    {
      retS << "****** INFO ******" << endl;
      retS << getInfoRepr() << endl;
    }
  return retS.str();
}

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().

◆ getInfoLink()

std::pair< OutPort , InPort > LinkInfo::getInfoLink	(	unsigned	id,
		InfoReason	reason
	)		const

Definition at line 271 of file LinkInfo.cxx.

{
  if(reason==I_CF_USELESS)
    return pair<OutPort *, InPort *>();
  map<InfoReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter=_infos.find(reason);
  if(iter!=_infos.end())
    return (*iter).second[id];
  else
    return pair<OutPort *, InPort *>( reinterpret_cast<OutPort *>(0), reinterpret_cast<InPort *>(0) );
}

References _infos, and YACS::ENGINE::I_CF_USELESS.

◆ getInfoRepr()

std::string LinkInfo::getInfoRepr ( ) const

Definition at line 142 of file LinkInfo.cxx.

{
  map<InfoReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter;
  ostringstream stream;
  for(iter=_infos.begin();iter!=_infos.end();iter++)
    {
      for(vector< pair<OutPort *,InPort *> >::const_iterator iter2=(*iter).second.begin();iter2!=(*iter).second.end();iter2++)
        {
          stream << getStringReprOfI((*iter).first) << " between \"" << _pov->getOutPortName((*iter2).first);
          stream << "\" and \"" << _pov->getInPortName((*iter2).second) << "\"." << endl;
        }
    }
  set< pair<Node *, Node *> >::const_iterator iter3;
  for(iter3=_uselessLinks.begin();iter3!=_uselessLinks.end();iter3++)
    {
      stream << "Useless CF link between \"" << _pov->getChildName((*iter3).first);
      stream << "\" and \"" << _pov->getChildName((*iter3).second) << "\"." << endl;
    }
  return stream.str();
}

References _infos, _pov, _uselessLinks, YACS::ENGINE::ComposedNode::getChildName(), YACS::ENGINE::ComposedNode::getInPortName(), YACS::ENGINE::ComposedNode::getOutPortName(), and getStringReprOfI().

Referenced by getGlobalRepr().

◆ getInfoUselessLinks()

std::set< std::pair< Node *, Node * > > LinkInfo::getInfoUselessLinks ( ) const

Definition at line 266 of file LinkInfo.cxx.

{
  return _uselessLinks;
}

References _uselessLinks.

Referenced by YACS::ENGINE::Bloc::removeRecursivelyRedundantCL().

◆ getNumberOfErrLinks()

unsigned LinkInfo::getNumberOfErrLinks ( ErrReason reason ) const

Definition at line 246 of file LinkInfo.cxx.

{
  if(reason==E_ALL)
    return _errors.size()+_onlyBackDefined.size()+_unsetInPort.size()+_errorsOnSwitchCases.size();
  else if(reason==E_NEVER_SET_INPUTPORT)
    return _unsetInPort.size();
  else if(reason==E_ONLY_BACKWARD_DEFINED)
    return _onlyBackDefined.size();
  else if(reason==E_UNCOMPLETE_SW)
    return _errorsOnSwitchCases.size();
  else
    {
      map<ErrReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter=_errors.find(reason);
      if(iter!=_errors.end())
        return (*iter).second.size();
      else
        return 0;
    }
}

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().

◆ getNumberOfInfoLinks()

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.

{
  if(reason==I_ALL)
    {
      map<InfoReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter=_infos.begin();
      unsigned val=0;
      for(;iter!=_infos.end();iter++)
        val+=(*iter).second.size();
      return val+_uselessLinks.size();
    }
  if(reason==I_CF_USELESS)
    return _uselessLinks.size();
  else
    {
      map<InfoReason, vector< pair<OutPort *,InPort *> > >::const_iterator iter=_infos.find(reason);
      if(iter!=_infos.end())
        return (*iter).second.size();
      else
        return 0;
    }
}

References _infos, _uselessLinks, YACS::ENGINE::I_ALL, and YACS::ENGINE::I_CF_USELESS.

Referenced by getGlobalRepr().

◆ getNumberOfWarnLinksGrp()

unsigned LinkInfo::getNumberOfWarnLinksGrp ( WarnReason reason ) const

Definition at line 229 of file LinkInfo.cxx.

{
  unsigned ret=0;
  map<WarnReason, vector< vector< pair<OutPort *,InPort *> > > >::const_iterator iter;
  if(reason==W_ALL)
    {
      for(iter=_collapse.begin();iter!=_collapse.end();iter++)
        ret+=(*iter).second.size();
      return ret;
    }
  map<WarnReason, vector< vector< pair<OutPort *,InPort *> > > >::const_iterator iter2=_collapse.find(reason);
  if(iter2!=_collapse.end())
    return (*iter2).second.size();
  else
    return 0;
}

References _collapse, and YACS::ENGINE::W_ALL.

Referenced by areWarningsOrErrors(), endCollapseTransac(), and getGlobalRepr().

◆ getStringReprOfE()

std::string LinkInfo::getStringReprOfE ( ErrReason reason )

staticprotected

Definition at line 364 of file LinkInfo.cxx.

{
  string ret;
  if(reason==E_NEVER_SET_INPUTPORT)
    return "Never set InPort ";
  if(reason==E_ONLY_BACKWARD_DEFINED)
    return "Never set InPort only back defined ";
  switch(reason)
    {
    case E_DS_LINK_UNESTABLISHABLE:
      ret="DS unestablishable";
      break;
    case E_COLLAPSE_DFDS:
      ret="DF/DS collapse";
      break;
    case E_COLLAPSE_DS:
      ret="Inter DS collapse";
      break;
    case E_UNPREDICTABLE_FED:
      ret="Unpredictable fed";
    }
  ret+=" "; ret+=LINK_REPR;
  return ret;
}

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().

◆ getStringReprOfI()

std::string LinkInfo::getStringReprOfI ( InfoReason reason )

staticprotected

Definition at line 307 of file LinkInfo.cxx.

{
  string ret;
  switch(reason)
    {
    case I_USELESS:
      ret="Useless DF";
      break;
    case I_BACK:
      ret="Back";
      break;
    case I_BACK_USELESS:
      ret="Back and useless";
      break;
    case I_BACK_CRAZY:
      ret+="Crazy back";
      break;
    case I_DFDS:
      ret+="DF/DS";
    }
  ret+=" "; ret+=LINK_REPR;
  return ret;
}

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().

◆ getStringReprOfW()

std::string LinkInfo::getStringReprOfW ( WarnReason reason )

staticprotected

Definition at line 331 of file LinkInfo.cxx.

{
  string ret;
  switch(reason)
    {
    case W_COLLAPSE:
      ret="Collapse";
      break;
    case W_COLLAPSE_AND_USELESS:
      ret="Collapse and useless";
      break;
    case W_COLLAPSE_EL:
      ret="Collapse on ElementaryNode";
      break;
    case W_COLLAPSE_EL_AND_USELESS:
      ret+="Collapse on ElementaryNode and useless";
      break;
    case W_BACK_COLLAPSE:
      ret+="Back collapse";
      break;
    case W_BACK_COLLAPSE_AND_USELESS:
      ret+="Back collapse and useless";
      break;
    case W_BACK_COLLAPSE_EL:
      ret+="Back collapse on ElementaryNode";
      break;
    case W_BACK_COLLAPSE_EL_AND_USELESS:
      ret+="Back collapse and useless on ElementaryNode";
    }
  ret+=" "; ret+=LINK_REPR;
  return ret;
}

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().

◆ getWarnLink()

std::vector< std::pair< OutPort , InPort > > LinkInfo::getWarnLink	(	unsigned	id,
		WarnReason	reason
	)		const

Definition at line 282 of file LinkInfo.cxx.

{
  map<WarnReason, vector< vector< pair<OutPort *,InPort *> > > >::const_iterator iter=_collapse.find(reason);
  if(iter!=_collapse.end())
    return (*iter).second[id];
  else
    return vector< pair<OutPort *, InPort *> >();
}

References _collapse.

◆ getWarnRepr()

std::string LinkInfo::getWarnRepr ( ) const

Definition at line 163 of file LinkInfo.cxx.

{
  map<WarnReason, vector< vector< pair<OutPort *,InPort *> > > >::const_iterator iter;
  ostringstream stream;
  unsigned i=0;
  for(iter=_collapse.begin();iter!=_collapse.end();iter++)
    {
      stream << getStringReprOfW((*iter).first) << " for group containing following group links: ";
      vector< vector< pair<OutPort *,InPort *> > >::const_iterator iter2=(*iter).second.begin();
      for(;iter2!=(*iter).second.end();iter2++)
        {
          stream << "    Group # " << i++ << " : " << endl;
          for(vector< pair<OutPort *,InPort *> >::const_iterator iter3=(*iter2).begin();iter3!=(*iter2).end();iter3++)
            stream << "          \"" << _pov->getOutPortName((*iter3).first) << "\" and \"" << _pov->getInPortName((*iter3).second) << endl;
        }
    }
  return stream.str();
}

References _collapse, _pov, YACS::ENGINE::ComposedNode::getInPortName(), YACS::ENGINE::ComposedNode::getOutPortName(), getStringReprOfW(), and yacsorb.CORBAEngineTest::i.

Referenced by getGlobalRepr().

◆ printThereIsAre()

std::string LinkInfo::printThereIsAre	(	unsigned	val,
		const std::string &	other
	)

staticprotected

Definition at line 389 of file LinkInfo.cxx.

{
  ostringstream ret;
  ret << "There ";
  if(val==0)
    ret << "are no";
  else if(val==1)
    ret << "is one";
  else
    ret << "are " << val;
  ret << " " << other;
  if(val==0 || val>1)
    ret << "s";
  return ret.str();
}

Referenced by getGlobalRepr().

◆ pushErrLink()

void LinkInfo::pushErrLink	(	OutPort *	semStart,
		InPort *	end,
		ErrReason	reason
	)

Definition at line 86 of file LinkInfo.cxx.

{
  if(reason==E_NEVER_SET_INPUTPORT)
    _unsetInPort.push_back(end);
  else if(reason==E_ONLY_BACKWARD_DEFINED)
    _onlyBackDefined.push_back(end);
  else
    _errors[reason].push_back(pair<OutPort *, InPort *>(semStart,end));
  if(_level==0)
    if(_levelOfInfo==ALL_STOP_ASAP || _levelOfInfo==WARN_ONLY_DONT_STOP)
      throw Exception(getErrRepr());
}

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().

◆ pushErrSwitch()

void LinkInfo::pushErrSwitch ( CollectorSwOutPort * collector )

Definition at line 99 of file LinkInfo.cxx.

{
  _errorsOnSwitchCases.push_back(collector);
  if(_level==0)
    if(_levelOfInfo==ALL_STOP_ASAP || _levelOfInfo==WARN_ONLY_DONT_STOP)
      throw Exception(getErrRepr());
}

References _errorsOnSwitchCases, _level, _levelOfInfo, ALL_STOP_ASAP, getErrRepr(), and WARN_ONLY_DONT_STOP.

Referenced by YACS::ENGINE::CollectorSwOutPort::checkConsistency().

◆ pushInfoLink()

void LinkInfo::pushInfoLink	(	OutPort *	semStart,
		InPort *	end,
		InfoReason	reason
	)

Definition at line 71 of file LinkInfo.cxx.

{
  _infos[reason].push_back(pair<OutPort *, InPort *>(semStart,end));
}

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().

◆ pushUselessCFLink()

void LinkInfo::pushUselessCFLink	(	Node *	start,
		Node *	end
	)

Definition at line 107 of file LinkInfo.cxx.

{
  _uselessLinks.insert(pair<Node *,Node *>(start,end));
}

References _uselessLinks.

Referenced by YACS::ENGINE::Bloc::findUselessLinksIn(), and YACS::ENGINE::Bloc::performCFComputationsOnlyOneLevel().

◆ pushWarnLink()

void LinkInfo::pushWarnLink	(	OutPort *	semStart,
		InPort *	end,
		WarnReason	reason
	)

Definition at line 76 of file LinkInfo.cxx.

{
  if(_collapse[reason].empty())
    _collapse[reason].push_back(vector< pair<OutPort *,InPort *> >());
  else
    if(_collapse[reason].back()[0].second!=end)
      _collapse[reason].push_back(vector< pair<OutPort *,InPort *> >());
  _collapse[reason].back().push_back(pair<OutPort *,InPort *>(semStart,end));
}

References _collapse.

Referenced by YACS::ENGINE::ComposedNode::checkCFLinks(), YACS::ENGINE::ComposedNode::solveObviousOrDelegateCFLinks(), YACS::ENGINE::Bloc::verdictForCollapses(), and YACS::ENGINE::Bloc::verdictForOkAndUseless1().

◆ setPointOfView()

void LinkInfo::setPointOfView ( ComposedNode * pov )

Definition at line 66 of file LinkInfo.cxx.

{
  _pov=pov;
}

References _pov.

Referenced by YACS::ENGINE::ComposedNode::checkConsistency().

◆ startCollapseTransac()

void LinkInfo::startCollapseTransac ( )

Definition at line 48 of file LinkInfo.cxx.

{
  _level++;
}

References _level.

Referenced by YACS::ENGINE::Bloc::verdictForCollapses().

◆ takeDecision()

void LinkInfo::takeDecision ( ) const

Definition at line 112 of file LinkInfo.cxx.

{
  if(!_errors.empty())
    throw Exception(getErrRepr());
}

References _errors, and getErrRepr().

Member Data Documentation

◆ _collapse

std::map<WarnReason, std::vector< std::vector< std::pair<OutPort *,InPort *> > > > YACS::ENGINE::LinkInfo::_collapse

private

Definition at line 92 of file LinkInfo.hxx.

Referenced by clearAll(), getNumberOfWarnLinksGrp(), getWarnLink(), getWarnRepr(), and pushWarnLink().

◆ _errors

std::map<ErrReason, std::vector< std::pair<OutPort *,InPort *> > > YACS::ENGINE::LinkInfo::_errors

private

Definition at line 93 of file LinkInfo.hxx.

Referenced by clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), pushErrLink(), and takeDecision().

◆ _errorsOnSwitchCases

std::vector<CollectorSwOutPort *> YACS::ENGINE::LinkInfo::_errorsOnSwitchCases

private

Definition at line 94 of file LinkInfo.hxx.

Referenced by clearAll(), getErrRepr(), getNumberOfErrLinks(), and pushErrSwitch().

◆ _infos

std::map<InfoReason, std::vector< std::pair<OutPort *,InPort *> > > YACS::ENGINE::LinkInfo::_infos

private

Definition at line 91 of file LinkInfo.hxx.

Referenced by clearAll(), getInfoLink(), getInfoRepr(), getNumberOfInfoLinks(), and pushInfoLink().

◆ _level

unsigned int YACS::ENGINE::LinkInfo::_level

private

Definition at line 86 of file LinkInfo.hxx.

Referenced by clearAll(), endCollapseTransac(), pushErrLink(), pushErrSwitch(), and startCollapseTransac().

◆ _levelOfInfo

unsigned char YACS::ENGINE::LinkInfo::_levelOfInfo

private

Definition at line 87 of file LinkInfo.hxx.

Referenced by endCollapseTransac(), pushErrLink(), and pushErrSwitch().

◆ _onlyBackDefined

std::vector<InPort *> YACS::ENGINE::LinkInfo::_onlyBackDefined

private

Definition at line 89 of file LinkInfo.hxx.

Referenced by areWarningsOrErrors(), clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), and pushErrLink().

◆ _pov

ComposedNode* YACS::ENGINE::LinkInfo::_pov

private

Definition at line 85 of file LinkInfo.hxx.

Referenced by getErrRepr(), getInfoRepr(), getWarnRepr(), and setPointOfView().

◆ _unsetInPort

std::vector<InPort *> YACS::ENGINE::LinkInfo::_unsetInPort

private

Definition at line 88 of file LinkInfo.hxx.

Referenced by areWarningsOrErrors(), clearAll(), getErrLink(), getErrRepr(), getNumberOfErrLinks(), and pushErrLink().

◆ _uselessLinks

std::set< std::pair<Node *, Node *> > YACS::ENGINE::LinkInfo::_uselessLinks

private

Definition at line 90 of file LinkInfo.hxx.

Referenced by clearAll(), getInfoRepr(), getInfoUselessLinks(), getNumberOfInfoLinks(), and pushUselessCFLink().

◆ ALL_DONT_STOP

const unsigned char YACS::ENGINE::LinkInfo::ALL_DONT_STOP = 2

static

Definition at line 127 of file LinkInfo.hxx.

◆ ALL_STOP_ASAP

const unsigned char YACS::ENGINE::LinkInfo::ALL_STOP_ASAP = 1

static

Definition at line 126 of file LinkInfo.hxx.

Referenced by endCollapseTransac(), YACS::HMI::GenericGui::onRunLoadedSchema(), pushErrLink(), and pushErrSwitch().

◆ WARN_ONLY_DONT_STOP

const unsigned char YACS::ENGINE::LinkInfo::WARN_ONLY_DONT_STOP = 3

static

Definition at line 128 of file LinkInfo.hxx.

Referenced by endCollapseTransac(), pushErrLink(), and pushErrSwitch().

The documentation for this class was generated from the following files:

src/engine/LinkInfo.hxx
src/engine/LinkInfo.cxx

Public Member Functions

Static Public Attributes

Static Protected Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ LinkInfo()

Member Function Documentation

◆ areWarningsOrErrors()

◆ clearAll()

◆ endCollapseTransac()

◆ getErrLink()

◆ getErrRepr()

◆ getGlobalRepr()

◆ getInfoLink()

◆ getInfoRepr()

◆ getInfoUselessLinks()

◆ getNumberOfErrLinks()

◆ getNumberOfInfoLinks()

◆ getNumberOfWarnLinksGrp()

◆ getStringReprOfE()

◆ getStringReprOfI()

◆ getStringReprOfW()

◆ getWarnLink()

◆ getWarnRepr()

◆ printThereIsAre()

◆ pushErrLink()

◆ pushErrSwitch()

◆ pushInfoLink()

◆ pushUselessCFLink()

◆ pushWarnLink()

◆ setPointOfView()

◆ startCollapseTransac()

◆ takeDecision()

Member Data Documentation

◆ _collapse

◆ _errors

◆ _errorsOnSwitchCases

◆ _infos

◆ _level

◆ _levelOfInfo

◆ _onlyBackDefined

◆ _pov

◆ _unsetInPort

◆ _uselessLinks

◆ ALL_DONT_STOP

◆ ALL_STOP_ASAP

◆ WARN_ONLY_DONT_STOP