Version: 9.16.0
LinkInfo.hxx
Go to the documentation of this file.
1// Copyright (C) 2006-2026 CEA, EDF
2//
3// This library is free software; you can redistribute it and/or
4// modify it under the terms of the GNU Lesser General Public
5// License as published by the Free Software Foundation; either
6// version 2.1 of the License, or (at your option) any later version.
7//
8// This library is distributed in the hope that it will be useful,
9// but WITHOUT ANY WARRANTY; without even the implied warranty of
10// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11// Lesser General Public License for more details.
12//
13// You should have received a copy of the GNU Lesser General Public
14// License along with this library; if not, write to the Free Software
15// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
16//
17// See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
18//
19
20#ifndef __LINKINFO_HXX__
21#define __LINKINFO_HXX__
22
24#include "Exception.hxx"
25
26#include <vector>
27#include <list>
28#include <map>
29#include <set>
30
31namespace YACS
32{
33 namespace ENGINE
34 {
35 class Node;
36 class InGate;
37 class InPort;
38 class OutGate;
39 class OutPort;
40 class ComposedNode;
41 class CollectorSwOutPort;
42
43 typedef enum
44 {
47 I_BACK = 43,//In loop context
48 I_BACK_USELESS = 44,//In loop context - Not implemented yet
49 I_BACK_CRAZY = 45,//Out of loop context
50 I_DFDS = 46,
51 I_ALL = 49,
52 } InfoReason;
53
54 typedef enum
55 {
64 W_ALL = 149
66
67 typedef enum
68 {
76 E_ALL = 249
78
83 {
84 private:
86 unsigned int _level;
87 unsigned char _levelOfInfo;
88 std::vector<InPort *> _unsetInPort;
89 std::vector<InPort *> _onlyBackDefined;
90 std::set< std::pair<Node *, Node *> > _uselessLinks;
91 std::map<InfoReason, std::vector< std::pair<OutPort *,InPort *> > > _infos;
92 std::map<WarnReason, std::vector< std::vector< std::pair<OutPort *,InPort *> > > > _collapse;
93 std::map<ErrReason, std::vector< std::pair<OutPort *,InPort *> > > _errors;
94 std::vector<CollectorSwOutPort *> _errorsOnSwitchCases;
95 public:
96 LinkInfo(unsigned char level);
97 void clearAll();
98 void startCollapseTransac();
99 void endCollapseTransac();
100 void setPointOfView(ComposedNode *pov);
101 void pushInfoLink(OutPort *semStart, InPort *end, InfoReason reason);
102 void pushWarnLink(OutPort *semStart, InPort *end, WarnReason reason);
103 void pushErrLink(OutPort *semStart, InPort *end, ErrReason reason);
104 void pushErrSwitch(CollectorSwOutPort *collector);
105 void pushUselessCFLink(Node *start, Node *end);
106 void takeDecision() const;
107 //Typically methods for high level use.
108 std::string getGlobalRepr() const;
109 std::string getInfoRepr() const;
110 std::string getWarnRepr() const;
111 std::string getErrRepr() const;
112 bool areWarningsOrErrors() const;
113 unsigned getNumberOfInfoLinks(InfoReason reason) const;
114 unsigned getNumberOfWarnLinksGrp(WarnReason reason) const;
115 unsigned getNumberOfErrLinks(ErrReason reason) const;
116 std::set< std::pair<Node *, Node *> > getInfoUselessLinks() const;
117 std::pair<OutPort *, InPort *> getInfoLink(unsigned id, InfoReason reason) const;
118 std::vector< std::pair<OutPort *, InPort *> > getWarnLink(unsigned id, WarnReason reason) const;
119 std::pair<OutPort *, InPort *> getErrLink(unsigned id, ErrReason reason) const;
120 protected:
121 static std::string getStringReprOfI(InfoReason reason);
122 static std::string getStringReprOfW(WarnReason reason);
123 static std::string getStringReprOfE(ErrReason reason);
124 static std::string printThereIsAre(unsigned val, const std::string& other);
125 public:
126 static const unsigned char ALL_STOP_ASAP = 1;
127 static const unsigned char ALL_DONT_STOP = 2;
128 static const unsigned char WARN_ONLY_DONT_STOP = 3;
129 };
130 }
131}
132
133#endif
#define YACSLIBENGINE_EXPORT
Base class for all composed nodes.
Class that deal with list of semantics links for high level analysis.
Definition: LinkInfo.hxx:83
std::vector< InPort * > _onlyBackDefined
Definition: LinkInfo.hxx:89
std::set< std::pair< Node *, Node * > > _uselessLinks
Definition: LinkInfo.hxx:90
unsigned int _level
Definition: LinkInfo.hxx:86
std::map< ErrReason, std::vector< std::pair< OutPort *, InPort * > > > _errors
Definition: LinkInfo.hxx:93
std::map< InfoReason, std::vector< std::pair< OutPort *, InPort * > > > _infos
Definition: LinkInfo.hxx:91
std::map< WarnReason, std::vector< std::vector< std::pair< OutPort *, InPort * > > > > _collapse
Definition: LinkInfo.hxx:92
ComposedNode * _pov
Definition: LinkInfo.hxx:85
std::vector< InPort * > _unsetInPort
Definition: LinkInfo.hxx:88
std::vector< CollectorSwOutPort * > _errorsOnSwitchCases
Definition: LinkInfo.hxx:94
unsigned char _levelOfInfo
Definition: LinkInfo.hxx:87
Base class for all nodes.
Definition: Node.hxx:70
@ E_UNPREDICTABLE_FED
Definition: LinkInfo.hxx:74
@ E_NEVER_SET_INPUTPORT
Definition: LinkInfo.hxx:69
@ E_ONLY_BACKWARD_DEFINED
Definition: LinkInfo.hxx:70
@ E_DS_LINK_UNESTABLISHABLE
Definition: LinkInfo.hxx:71
@ W_COLLAPSE_EL_AND_USELESS
Definition: LinkInfo.hxx:59
@ W_BACK_COLLAPSE_AND_USELESS
Definition: LinkInfo.hxx:61
@ W_BACK_COLLAPSE_EL
Definition: LinkInfo.hxx:62
@ W_BACK_COLLAPSE_EL_AND_USELESS
Definition: LinkInfo.hxx:63
@ W_COLLAPSE_AND_USELESS
Definition: LinkInfo.hxx:57