]> SALOME platform Git repositories - modules/shaper.git/blob - src/SketchPlugin/SketchPlugin_ConstraintSplit.h
Salome HOME
Issue #1834: Fix length of lines
[modules/shaper.git] / src / SketchPlugin / SketchPlugin_ConstraintSplit.h
1 // Copyright (C) 2014-20xx CEA/DEN, EDF R&D -->
2
3 // File:    SketchPlugin_ConstraintSplit.h
4 // Created: 25 Aug 2016
5 // Author:  Natalia ERMOLAEVA
6
7 #ifndef SketchPlugin_ConstraintSplit_H_
8 #define SketchPlugin_ConstraintSplit_H_
9
10 #include "SketchPlugin.h"
11 #include <SketchPlugin_Sketch.h>
12 #include "SketchPlugin_ConstraintBase.h"
13
14 class GeomDataAPI_Point2D;
15 class ModelAPI_Feature;
16 class ModelAPI_Result;
17
18 typedef std::pair<std::string, std::shared_ptr<GeomDataAPI_Point2D> > IdToPointPair;
19
20 /** \class SketchPlugin_ConstraintSplit
21  *  \ingroup Plugins
22  *  \brief Feature for creation of a new constraint splitting object. Entities for split:
23  * - Linear segment by point(s) on this line
24  * - Arc by point(s) on this arc
25  * - Circle by at least 2 split-points on this circle
26  *
27  * The following constraints will be applied after split to keep the divided segments geometry:
28  * - Coincident constraints for both parts of created segments in the point of splitting
29  * - For linear segments parallel, for circles - tangent constraint, for arc - tangent and equal
30  *   constraints. In case of three segments in result two couple of constraints are created
31  *    - parallel and equal constraints: the first is between 1st and middle entity, the second is
32  *      between 1st and 3rd.
33  *    - tangency constraints: the first between 1st and 2nd, the second between 2nd and 3rd.
34  * - Constraints assigned to the feature before split operation are assigned after using rules:
35  *    - Coincident constraints are assigned to the segment where they belong to. Segment of split
36  *      has only a coincidence to the neighbor segment. All constraints used in the splitting of
37  *      this segment are moved to point of neighbor segment. If constraint was initially built
38  *      to the point of splitting segment, it stays for this point.
39  *    - Geometrical and dimensional constraints are assigned to one of result segment, not the
40  *      selected for split. In case of 3 result segments, this will be the segment nearest to the
41  *      start point of arc/line.
42  *    - Replication constraint used split feature will be deleted in the same way as it is deleted
43  *      by any of entity delete in sketch which is used in this constraint.
44  *
45  *  This constraint has three attributes:
46  *  SketchPlugin_Constraint::VALUE() contains reference object to be splitted
47  *  SketchPlugin_Constraint::ENTITY_A() and SketchPlugin_Constraint::ENTITY_B() for the points of split;
48  *
49  */
50 class SketchPlugin_ConstraintSplit : public SketchPlugin_ConstraintBase
51 {
52  public:
53   /// Split constraint kind
54   inline static const std::string& ID()
55   {
56     static const std::string MY_CONSTRAINT_SPLIT_ID("SketchConstraintSplit");
57     return MY_CONSTRAINT_SPLIT_ID;
58   }
59   /// \brief Returns the kind of a feature
60   SKETCHPLUGIN_EXPORT virtual const std::string& getKind()
61   {
62     static std::string MY_KIND = SketchPlugin_ConstraintSplit::ID();
63     return MY_KIND;
64   }
65
66   /// \brief Creates a new part document if needed
67   SKETCHPLUGIN_EXPORT virtual void execute();
68
69   /// \brief Request for initialization of data model of the feature: adding all attributes
70   SKETCHPLUGIN_EXPORT virtual void initAttributes();
71
72   /// Reimplemented from ModelAPI_Feature::isMacro().
73   /// \returns true
74   SKETCHPLUGIN_EXPORT virtual bool isMacro() const;
75
76   /// Reimplemented from ModelAPI_Feature::isPreviewNeeded(). Returns false.
77   /// This is necessary to perform execute only by apply the feature
78   SKETCHPLUGIN_EXPORT virtual bool isPreviewNeeded() const { return false; }
79
80   /// \brief Use plugin manager for features creation
81   SketchPlugin_ConstraintSplit();
82
83   /// \return map of base points and features;
84   //SKETCHPLUGIN_EXPORT const std::map<AttributePtr, FilletFeatures> pointsFeaturesMap() const {
85   //  return myPointFeaturesMap;
86   //};
87
88   /// Returns the AIS preview
89   SKETCHPLUGIN_EXPORT virtual AISObjectPtr getAISObject(AISObjectPtr thePrevious);
90
91 private:
92   /// Returns geom point attribute of the feature bounds. It processes line or arc.
93   /// For circle feature, the result attributes are null
94   /// \param theStartPointAttr an out attribute to start point
95   /// \param theStartPointAttr an out attribute to end point
96   void getFeaturePoints(std::shared_ptr<GeomDataAPI_Point2D>& theStartPointAttr,
97                         std::shared_ptr<GeomDataAPI_Point2D>& theEndPointAttr);
98
99   /// Returns cast of attribute to geometrical point if the attribute is a ref attr attribute
100   /// \param theAttribute an attribute
101   /// \param geom point 2D or NULL
102   std::shared_ptr<GeomDataAPI_Point2D> getPointOfRefAttr(const AttributePtr& theAttribute);
103
104   /// Obtains those constraints of the feature that should be modified. output maps contain
105   /// point of coincidence and attribute id to be modified after split
106   /// \param theFeaturesToDelete [out] constrains that will be deleted after split
107   /// \param theFeaturesToUpdate [out] constrains that will be updated after split
108   /// \param theTangentFeatures  [out] tangent feature to be connected to new feature
109   /// \param theCoincidenceToFeature [out] coincidence to feature to be connected to new feature
110   /// \param theCoincidenceToPoint [out] coincidence to point be connected to new feature
111   void getConstraints(std::set<std::shared_ptr<ModelAPI_Feature>>& theFeaturesToDelete,
112               std::set<std::shared_ptr<ModelAPI_Feature>>& theFeaturesToUpdate,
113               std::map<std::shared_ptr<ModelAPI_Feature>, IdToPointPair>& theTangentFeatures,
114               std::map<std::shared_ptr<ModelAPI_Feature>, IdToPointPair>& theCoincidenceToFeature/*,
115               std::map<std::shared_ptr<ModelAPI_Feature>, IdToPointPair>& theCoincidenceToPoint*/);
116
117   /// Obtains references to feature point attributes and to feature,
118   /// e.g. for feature line: 1st container is 
119   ///             <1st line point, list<entity_a in distance, entity_b in parallel> >
120   ///             <2nd line point, list<> >
121   ///      for feature circle 2nd container is <entity_a in Radius, entity_b in equal, ...>
122   /// \param theFeature an investigated feature
123   /// \param theRefs a container of list of referenced attributes
124   void getRefAttributes(const FeaturePtr& theFeature,
125                         std::map<AttributePtr, std::list<AttributePtr> >& theRefs,
126                         std::list<AttributePtr>& theRefsToFeature);
127
128   /// Move coincidence constraint from feature to point if it is found
129   /// \param theCoincidenceToFeature coincidence to feature to be connected to new feature
130   /// \param theFurtherCoincidences a list of points where coincidences will be build
131   /// \paramv theFeatureResults created results after split where constaint might be connected
132   void updateCoincidenceConstraintsToFeature(
133       const std::map<std::shared_ptr<ModelAPI_Feature>, IdToPointPair>& theCoincidenceToFeature,
134       const std::set<std::shared_ptr<GeomDataAPI_Point2D> >& theFurtherCoincidences,
135       const std::set<ResultPtr>& theFeatureResults);
136
137   /// Move tangency constraint to the nearest split feature that has a coincidence to the tangent
138   /// \param theTangentFeatures tangencies to feature to be connected to nearest feature
139   /// \param theFurtherCoincidences a list of points where coincidences is built
140   void updateTangentConstraintsToFeature(
141               const std::map<std::shared_ptr<ModelAPI_Feature>, IdToPointPair>& theTangentFeatures,
142               const std::set<std::shared_ptr<GeomDataAPI_Point2D> >& theFurtherCoincidences);
143
144
145   /// Move constraints from base feature to given feature
146   /// \param theFeature a base feature
147   /// \param theRefsToFeature list of attributes referenced to base feature
148   void updateRefFeatureConstraints(const std::shared_ptr<ModelAPI_Result>& theFeatureBaseResult,
149                                    const std::list<AttributePtr>& theRefsToFeature);
150
151   /// Move constraints from attribute of base feature to attribute after modification
152   /// \param theBaseRefAttributes container of references to the attributes of base feature
153   /// \param theModifiedAttributes container of attributes placed instead of base attributes
154   /// at the same place
155   void updateRefAttConstraints(
156                const std::map<AttributePtr, std::list<AttributePtr> >& theBaseRefAttributes,
157                const std::set<std::pair<AttributePtr, AttributePtr> >& theModifiedAttributes);
158
159   /// Make the base object is splitted by the point attributes
160   /// \param theSplitFeature a result split feature
161   /// \param theBeforeFeature a feature between start point and the 1st point of split feature
162   /// \param theAfterFeature a feature between last point of split feature and the end point
163   /// \param thePoints a list of points where coincidences will be build
164   /// \param theCreatedFeatures a container of created features
165   /// \param theModifiedAttributes a container of attribute on base 
166   /// feature to attribute on new feature
167   void splitLine(std::shared_ptr<ModelAPI_Feature>& theSplitFeature,
168                  std::shared_ptr<ModelAPI_Feature>& theBeforeFeature,
169                  std::shared_ptr<ModelAPI_Feature>& theAfterFeature,
170                  std::set<std::shared_ptr<GeomDataAPI_Point2D> >& thePoints,
171                  std::set<std::shared_ptr<ModelAPI_Feature>>& theCreatedFeatures,
172                  std::set<std::pair<AttributePtr, AttributePtr>>& theModifiedAttributes);
173
174   /// Make the base object is splitted by the point attributes
175   /// \param theSplitFeature a result split feature
176   /// \param theBeforeFeature a feature between start point and the 1st point of split feature
177   /// \param theAfterFeature a feature between last point of split feature and the end point
178   /// \param thePoints a list of points where coincidences will be build
179   /// \param theCreatedFeatures a container of created features
180   void splitArc(std::shared_ptr<ModelAPI_Feature>& theSplitFeature,
181                 std::shared_ptr<ModelAPI_Feature>& theBeforeFeature,
182                 std::shared_ptr<ModelAPI_Feature>& theAfterFeature,
183                 std::set<std::shared_ptr<GeomDataAPI_Point2D> >& thePoints,
184                 std::set<std::shared_ptr<ModelAPI_Feature>>& theCreatedFeatures,
185                 std::set<std::pair<AttributePtr, AttributePtr>>& theModifiedAttributes);
186
187   /// Make the base object is splitted by the point attributes
188   /// \param theSplitFeature a result split feature
189   /// \param theBeforeFeature a feature between start point and the 1st point of split feature
190   /// \param theAfterFeature a feature between last point of split feature and the end point
191   /// \param thePoints a list of points where coincidences will be build
192   /// \param theCreatedFeatures a container of created features
193   void splitCircle(std::shared_ptr<ModelAPI_Feature>& theSplitFeature,
194                    std::shared_ptr<ModelAPI_Feature>& theBeforeFeature,
195                    std::shared_ptr<ModelAPI_Feature>& theAfterFeature,
196                    std::set<std::shared_ptr<GeomDataAPI_Point2D> >& thePoints,
197                    std::set<std::shared_ptr<ModelAPI_Feature>>& theCreatedFeatures,
198                    std::set<std::pair<AttributePtr, AttributePtr>>& theModifiedAttributes);
199
200   /// Correct the first and the second point to provide condition that the first is closer to
201   /// the start point and the second point - to the last end of current segment. To rearrange
202   /// them if this condition is not satisfied.
203   /// \param theStartPointAttr a start point of a segment
204   /// \param theEndPointAttr an end point of a segment
205   /// \param theFirstPointAttr a start point of a segment
206   /// \param theSecondPointAttr an end point of a segment
207   void arrangePointsOnLine(const std::shared_ptr<GeomDataAPI_Point2D>& theStartPointAttr,
208                            const std::shared_ptr<GeomDataAPI_Point2D>& theEndPointAttr,
209                            std::shared_ptr<GeomDataAPI_Point2D>& theFirstPointAttr,
210                            std::shared_ptr<GeomDataAPI_Point2D>& theSecondPointAttr) const;
211
212   /// Correct the first and the second point to provide condition that the first is closer to
213   /// the start point and the second point - to the last end of current segment. To rearrange
214   /// them if this condition is not satisfied.
215   /// \param theArc an arc to be split
216   /// \param theStartPointAttr a start point of a segment
217   /// \param theEndPointAttr an end point of a segment
218   /// \param theFirstPointAttr a start point of a segment
219   /// \param theSecondPointAttr an end point of a segment
220   void arrangePointsOnArc(const FeaturePtr& theArc,
221                           const std::shared_ptr<GeomDataAPI_Point2D>& theStartPointAttr,
222                           const std::shared_ptr<GeomDataAPI_Point2D>& theEndPointAttr,
223                           std::shared_ptr<GeomDataAPI_Point2D>& theFirstPointAttr,
224                           std::shared_ptr<GeomDataAPI_Point2D>& theSecondPointAttr) const;
225
226   /// Fill attribute by value of another attribute. It processes only Point 2D attributes.
227   /// \param theModifiedAttribute an attribute of GeomDataAPI_Point2D on feature to be modified
228   /// \param theSourceAttribute an attribute of GeomDataAPI_Point2D to obtain data
229   void fillAttribute(const AttributePtr& theModifiedAttribute,
230                      const AttributePtr& theSourceAttribute);
231
232   /// Creates a line feature filled by center of base feature and given points
233   /// \param theBaseFeature another arc feature
234   /// \param theFirstAttribute an attribute with coordinates for the start point
235   /// \param theSecondAttribute an attribute with coordinates for the end point
236   FeaturePtr createLineFeature(const FeaturePtr& theBaseFeature,
237                                const AttributePtr& theFirstPointAttr,
238                                const AttributePtr& theSecondPointAttr);
239
240   /// Creates an arc feature filled by center of base feature and given points
241   /// \param theBaseFeature another arc feature
242   /// \param theFirstAttribute an attribute with coordinates for the start point
243   /// \param theSecondAttribute an attribute with coordinates for the end point
244   FeaturePtr createArcFeature(const FeaturePtr& theBaseFeature,
245                               const AttributePtr& theFirstPointAttr,
246                               const AttributePtr& theSecondPointAttr);
247
248   /// Add feature coincidence constraint between given attributes
249   /// \param theConstraintId a constraint index
250   /// \param theFirstAttribute an attribute of further coincidence
251   /// \param theSecondAttribute an attribute of further coincidence
252   std::shared_ptr<ModelAPI_Feature> createConstraint(const std::string& theConstraintId,
253                         const std::shared_ptr<ModelAPI_Attribute>& theFirstAttribute,
254                         const std::shared_ptr<ModelAPI_Attribute>& theSecondAttribute);
255
256   /// Add feature coincidence constraint between given attributes
257   /// \param theConstraintId a constraint index
258   /// \param theFirstAttribute an attribute of further coincidence
259   /// \param theFirstAttribute an attribute of further coincidence
260   std::shared_ptr<ModelAPI_Feature> createConstraintForObjects(const std::string& theConstraintId,
261                         const std::shared_ptr<ModelAPI_Object>& theFirstObject,
262                         const std::shared_ptr<ModelAPI_Object>& theSecondObject);
263
264   /// Add feature coincidence constraint between given attributes
265   /// \param theFeaturesToUpdate a constraint index
266   void updateFeaturesAfterSplit(const std::set<FeaturePtr>& theFeaturesToUpdate);
267
268   /// Result result of the feature to build constraint with. For arc, circle it is an edge result.
269   /// \param theFeature a feature
270   /// \return result object
271   std::shared_ptr<ModelAPI_Result> getFeatureResult(
272                                     const std::shared_ptr<ModelAPI_Feature>& theFeature);
273
274   /// Returns attributes of the feature, used in edge build, for arc it is end and start points
275   /// \param theFeature a feature
276   /// \return container of attributes
277   std::set<std::shared_ptr<ModelAPI_Attribute> > getEdgeAttributes(
278                                     const std::shared_ptr<ModelAPI_Feature>& theFeature);
279
280   /// Return feature name, kind, point attribute values united in a string
281   /// \param theFeature an investigated feature
282   /// \return string value
283   std::string getFeatureInfo(const std::shared_ptr<ModelAPI_Feature>& theFeature,
284                              const bool isUseAttributesInfo = true);
285 };
286
287 #endif