Salome HOME
Hang up on constraining already fixed object
[modules/shaper.git] / src / SketchSolver / SketchSolver_Constraint.cpp
1 #include <SketchSolver_Constraint.h>
2 #include <SketchSolver_Group.h>
3 #include <SketchSolver_Error.h>
4
5 #include <SketchPlugin_Arc.h>
6 #include <SketchPlugin_Circle.h>
7 #include <SketchPlugin_Line.h>
8 #include <SketchPlugin_Point.h>
9
10 #include <GeomAPI_Dir2d.h>
11 #include <GeomDataAPI_Point.h>
12 #include <GeomDataAPI_Point2D.h>
13 #include <ModelAPI_AttributeDouble.h>
14 #include <ModelAPI_ResultConstruction.h>
15
16 #include <math.h>
17
18 SketchSolver_Constraint::SketchSolver_Constraint(
19     ConstraintPtr  theConstraint)
20   : myBaseConstraint(theConstraint),
21     myGroup(0)
22 {
23 }
24
25 SketchSolver_Constraint::~SketchSolver_Constraint()
26 {
27   std::map<AttributePtr, Slvs_hParam>::const_iterator anIt1 = myValueMap.begin();
28   for (; anIt1 != myValueMap.end(); anIt1++)
29     myStorage->removeParameter(anIt1->second);
30   myValueMap.clear();
31
32   std::map<AttributePtr, Slvs_hEntity>::const_iterator anIt2 = myAttributeMap.begin();
33   for (; anIt2 != myAttributeMap.end(); anIt2++)
34     myStorage->removeEntity(anIt2->second);
35   myAttributeMap.clear();
36
37   std::map<FeaturePtr, Slvs_hEntity>::iterator anIt3 =  myFeatureMap.begin();
38   while (!myFeatureMap.empty()) {
39     std::shared_ptr<SketchPlugin_Feature> aFeature =
40         std::dynamic_pointer_cast<SketchPlugin_Feature>(anIt3->first);
41     Slvs_hEntity anEnt = anIt3->second;
42     std::map<FeaturePtr, Slvs_hEntity>::iterator aRemIt = anIt3++;
43     myFeatureMap.erase(aRemIt);
44     if (!myGroup->isInteract(aFeature))
45       myStorage->removeEntity(anEnt);
46   }
47
48   std::vector<Slvs_hConstraint>::const_iterator anIt4 = mySlvsConstraints.begin();
49   for (; anIt4 != mySlvsConstraints.end(); anIt4++)
50     myStorage->removeConstraint(*anIt4);
51   mySlvsConstraints.clear();
52 }
53
54 void SketchSolver_Constraint::setStorage(StoragePtr theStorage)
55 {
56   myStorage = theStorage;
57   process();
58 }
59
60 void SketchSolver_Constraint::setGroup(SketchSolver_Group* theGroup)
61 {
62   myGroup = theGroup;
63   process();
64 }
65
66 void SketchSolver_Constraint::addFeature(FeaturePtr theFeature)
67 {
68   int aType;
69   changeEntity(theFeature, aType);
70 }
71
72
73 void SketchSolver_Constraint::process()
74 {
75   cleanErrorMsg();
76   if (!myBaseConstraint || !myStorage || myGroup == 0) {
77     /// TODO: Put error message here
78     return;
79   }
80   if (!mySlvsConstraints.empty()) // some data is changed, update constraint
81     update(myBaseConstraint);
82
83   int aConstrType = getType();
84   double aValue = 0.0;
85   std::vector<Slvs_hEntity> anAttributes;
86   getAttributes(aValue, anAttributes);
87   if (!myErrorMsg.empty())
88     return;
89   if (aConstrType == SLVS_C_UNKNOWN)
90     aConstrType = getType();
91
92   Slvs_hGroup aGroupID = myGroup->getId();
93   Slvs_hEntity aWorkplaneID = myGroup->getWorkplaneId();
94   Slvs_Constraint aConstraint;
95   if (mySlvsConstraints.empty())
96     aConstraint = Slvs_MakeConstraint(SLVS_C_UNKNOWN, aGroupID, aConstrType, aWorkplaneID,
97         aValue, anAttributes[0], anAttributes[1], anAttributes[2], anAttributes[3]);
98   else {
99     aConstraint = myStorage->getConstraint(mySlvsConstraints[0]);
100     aConstraint.valA = aValue;
101     static const int aNbAttrs = 6;
102     Slvs_hEntity* aConstrAttrs[aNbAttrs] = {
103         &aConstraint.ptA, &aConstraint.ptB,
104         &aConstraint.entityA, &aConstraint.entityB,
105         &aConstraint.entityC, &aConstraint.entityD};
106     std::vector<Slvs_hEntity>::const_iterator anIter = anAttributes.begin();
107     for (int i = 0; i < aNbAttrs && anIter != anAttributes.end(); i++, anIter++)
108       *(aConstrAttrs[i]) = *anIter;
109   }
110
111   Slvs_hConstraint anID = myStorage->addConstraint(aConstraint);
112   if (mySlvsConstraints.empty())
113     mySlvsConstraints.push_back(anID);
114   else
115     mySlvsConstraints[0] = anID;
116   adjustConstraint();
117 }
118
119 bool SketchSolver_Constraint::checkAttributesChanged(ConstraintPtr theConstraint)
120 {
121   std::set<Slvs_hEntity> aCurAttrs; // list of currently used attributes
122   std::vector<Slvs_hConstraint>::const_iterator aConstrIter = mySlvsConstraints.begin();
123   for (; aConstrIter != mySlvsConstraints.end(); aConstrIter++) {
124     Slvs_Constraint aConstr = myStorage->getConstraint(*aConstrIter);
125     if (aConstr.ptA != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.ptA);
126     if (aConstr.ptB != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.ptB);
127     if (aConstr.entityA != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.entityA);
128     if (aConstr.entityB != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.entityB);
129     if (aConstr.entityC != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.entityC);
130     if (aConstr.entityD != SLVS_E_UNKNOWN) aCurAttrs.insert(aConstr.entityD);
131   }
132   // Check the attrbutes of constraint are changed
133   ConstraintPtr aConstraint = theConstraint ? theConstraint : myBaseConstraint;
134   std::list<AttributePtr> anAttrList = aConstraint->data()->attributes(std::string());
135   std::list<AttributePtr>::iterator anAttrIter = anAttrList.begin();
136   for (; anAttrIter != anAttrList.end(); anAttrIter++) {
137     AttributeRefAttrPtr aRefAttr =
138         std::dynamic_pointer_cast<ModelAPI_AttributeRefAttr>(*anAttrIter);
139     if (aRefAttr) {
140       if (aRefAttr->isObject()) {
141         FeaturePtr aFeature = ModelAPI_Feature::feature(aRefAttr->object());
142         std::map<FeaturePtr, Slvs_hEntity>::iterator aFIt = myFeatureMap.find(aFeature);
143         if (aFeature && (aFIt == myFeatureMap.end() || aCurAttrs.find(aFIt->second) == aCurAttrs.end()))
144           return true;
145       } else if (aRefAttr->attr()) {
146         std::map<AttributePtr, Slvs_hEntity>::iterator anAIt = myAttributeMap.find(aRefAttr->attr());
147         if (anAIt == myAttributeMap.end() || aCurAttrs.find(anAIt->second) == aCurAttrs.end())
148           return true;
149       }
150     }
151     AttributeRefListPtr aRefList =
152         std::dynamic_pointer_cast<ModelAPI_AttributeRefList>(*anAttrIter);
153     if (aRefList) {
154       std::list<ObjectPtr> anItems = aRefList->list();
155       std::list<ObjectPtr>::iterator anIt = anItems.begin();
156       for (; anIt != anItems.end(); anIt++) {
157         FeaturePtr aFeature = ModelAPI_Feature::feature(*anIt);
158         if (aFeature && myFeatureMap.find(aFeature) == myFeatureMap.end())
159           return true;
160       }
161     }
162   }
163   return false;
164 }
165
166 void SketchSolver_Constraint::update(ConstraintPtr theConstraint)
167 {
168   cleanErrorMsg();
169   bool needToRebuild = (theConstraint && theConstraint != myBaseConstraint);
170   if (!needToRebuild)
171     needToRebuild = checkAttributesChanged(theConstraint);
172   if (needToRebuild) {
173     if (theConstraint && theConstraint->getKind() != myBaseConstraint->getKind())
174       return;
175     remove(myBaseConstraint);
176     if (theConstraint)
177       myBaseConstraint = theConstraint;
178     process();
179     return;
180   }
181
182   // Update all attributes
183   int aType;
184   std::map<Slvs_hEntity, Slvs_hEntity> aRelocationMap;
185   std::map<FeaturePtr, Slvs_hEntity>::iterator aFeatIter = myFeatureMap.begin();
186   for (; aFeatIter != myFeatureMap.end(); aFeatIter++) {
187     Slvs_hEntity aPrevID = aFeatIter->second;
188     aFeatIter->second = changeEntity(aFeatIter->first, aType);
189     if (aFeatIter->second != aPrevID)
190       aRelocationMap[aPrevID] = aFeatIter->second;
191   }
192   std::map<AttributePtr, Slvs_hEntity>::iterator anAttrIter = myAttributeMap.begin();
193   for (; anAttrIter != myAttributeMap.end(); anAttrIter++) {
194     Slvs_hEntity aPrevID = anAttrIter->second;
195     anAttrIter->second = changeEntity(anAttrIter->first, aType);
196     if (anAttrIter->second != aPrevID)
197       aRelocationMap[aPrevID] = anAttrIter->second;
198   }
199
200   // Value if exists
201   DataPtr aData = myBaseConstraint->data();
202   if (!aData) return;
203   AttributeDoublePtr aValueAttr = std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(
204     myBaseConstraint->attribute(SketchPlugin_Constraint::VALUE()));
205   double aValue = aValueAttr ? aValueAttr->value() : 0.0;
206
207   // Update constraint
208   std::vector<Slvs_hConstraint>::iterator aCIter = mySlvsConstraints.begin();
209   for (; aCIter != mySlvsConstraints.end(); aCIter++) {
210     Slvs_Constraint aConstraint = myStorage->getConstraint(*aCIter);
211     if (aValueAttr)
212       aConstraint.valA = aValue;
213     Slvs_hEntity* aCoeffs[6] = {
214         &aConstraint.ptA, &aConstraint.ptB,
215         &aConstraint.entityA, &aConstraint.entityB,
216         &aConstraint.entityC, &aConstraint.entityD};
217     for (int i = 0; i < 6; i++) {
218       if (*(aCoeffs[i]) == SLVS_E_UNKNOWN)
219         continue;
220       std::map<Slvs_hEntity, Slvs_hEntity>::iterator aFound = aRelocationMap.find(*(aCoeffs[i]));
221       if (aFound != aRelocationMap.end())
222         *(aCoeffs[i]) = aFound->second;
223     }
224     *aCIter = myStorage->addConstraint(aConstraint);
225   }
226   adjustConstraint();
227 }
228
229 bool SketchSolver_Constraint::remove(ConstraintPtr theConstraint)
230 {
231   cleanErrorMsg();
232   if (theConstraint && theConstraint != myBaseConstraint)
233     return false;
234   if (mySlvsConstraints.empty())
235     return true;
236   bool isFullyRemoved = myStorage->removeConstraint(mySlvsConstraints.front());
237   if (isFullyRemoved) {
238     myFeatureMap.clear();
239     myAttributeMap.clear();
240     myValueMap.clear();
241   } else
242     cleanRemovedEntities();
243   mySlvsConstraints.clear();
244   return true;
245 }
246
247 void SketchSolver_Constraint::cleanRemovedEntities()
248 {
249   std::set<Slvs_hParam> aRemovedParams;
250   std::set<Slvs_hEntity> aRemovedEntities;
251   std::set<Slvs_hConstraint> aRemovedConstraints;
252   myStorage->getRemoved(aRemovedParams, aRemovedEntities, aRemovedConstraints);
253   std::map<FeaturePtr, Slvs_hEntity>::iterator aFeatIt = myFeatureMap.begin();
254   while (aFeatIt != myFeatureMap.end()) {
255     if (aRemovedEntities.find(aFeatIt->second) == aRemovedEntities.end()) {
256       aFeatIt++;
257       continue;
258     }
259     std::map<FeaturePtr, Slvs_hEntity>::iterator aTmpIter = aFeatIt++;
260     myFeatureMap.erase(aTmpIter);
261   }
262   std::map<AttributePtr, Slvs_hEntity>::iterator anAttrIt = myAttributeMap.begin();
263   while (anAttrIt != myAttributeMap.end()) {
264     if (aRemovedEntities.find(anAttrIt->second) == aRemovedEntities.end()) {
265       anAttrIt++;
266       continue;
267     }
268     std::map<AttributePtr, Slvs_hEntity>::iterator aTmpIter = anAttrIt++;
269     myAttributeMap.erase(aTmpIter);
270   }
271   std::map<AttributePtr, Slvs_hParam>::iterator aValIt = myValueMap.begin();
272   while (aValIt != myValueMap.end()) {
273     if (aRemovedParams.find(aValIt->second) == aRemovedParams.end()) {
274       aValIt++;
275       continue;
276     }
277     std::map<AttributePtr, Slvs_hParam>::iterator aTmpIter = aValIt++;
278     myValueMap.erase(aTmpIter);
279   }
280   for (size_t i = 0; i < mySlvsConstraints.size(); i++)
281     if (aRemovedConstraints.find(mySlvsConstraints[i]) != aRemovedConstraints.end()) {
282       mySlvsConstraints.erase(mySlvsConstraints.begin() + i);
283       i--;
284     }
285 }
286
287 void SketchSolver_Constraint::getAttributes(
288     double& theValue,
289     std::vector<Slvs_hEntity>& theAttributes)
290 {
291   static const int anInitNbOfAttr = 4;
292   theAttributes.assign(anInitNbOfAttr, SLVS_E_UNKNOWN);
293
294   DataPtr aData = myBaseConstraint->data();
295
296   AttributeDoublePtr aValueAttr = std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(
297     aData->attribute(SketchPlugin_Constraint::VALUE()));
298   theValue = aValueAttr ? aValueAttr->value() : 0.0;
299
300   int aPtInd = 0; // index of first point in the list of attributes
301   int aEntInd = 2; // index of first antity in the list of attributes
302   std::list<AttributePtr> aConstrAttrs = aData->attributes(ModelAPI_AttributeRefAttr::typeId());
303   std::list<AttributePtr>::iterator anIter = aConstrAttrs.begin();
304   for (; anIter != aConstrAttrs.end(); anIter++) {
305     AttributeRefAttrPtr aRefAttr =
306         std::dynamic_pointer_cast<ModelAPI_AttributeRefAttr>(*anIter);
307     if (!aRefAttr || !aRefAttr->isInitialized()) {
308       myErrorMsg = SketchSolver_Error::NOT_INITIALIZED();
309       return;
310     }
311
312     int aType = SLVS_E_UNKNOWN; // type of created entity
313     Slvs_hEntity anEntity = myGroup->getAttributeId(aRefAttr);
314     if (anEntity == SLVS_E_UNKNOWN)
315       anEntity = changeEntity(aRefAttr, aType);
316     else {
317       Slvs_Entity anEnt = myStorage->getEntity(anEntity);
318       aType = anEnt.type;
319     }
320
321     if (aType == SLVS_E_UNKNOWN)
322       continue;
323     else if (aType == SLVS_E_POINT_IN_2D || aType == SLVS_E_POINT_IN_3D)
324       theAttributes[aPtInd++] = anEntity; // the point is created
325     else { // another entity (not a point) is created
326       if (aEntInd < anInitNbOfAttr)
327         theAttributes[aEntInd] = anEntity;
328       else
329         theAttributes.push_back(anEntity);
330       aEntInd++;
331     }
332   }
333 }
334
335 Slvs_hEntity SketchSolver_Constraint::changeEntity(AttributeRefAttrPtr theAttribute, int& theType)
336 {
337   // Convert the object of the attribute to the feature
338   FeaturePtr aFeature;
339   if (theAttribute->isObject() && theAttribute->object()) {
340     ResultConstructionPtr aRC = std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(
341         theAttribute->object());
342     if (!aRC) {
343       myErrorMsg = SketchSolver_Error::NOT_INITIALIZED();
344       return SLVS_E_UNKNOWN;
345     }
346     std::shared_ptr<ModelAPI_Document> aDoc = aRC->document();
347     aFeature = aDoc->feature(aRC);
348
349     return changeEntity(aFeature, theType);
350   }
351
352   return changeEntity(theAttribute->attr(), theType);
353 }
354
355 Slvs_hEntity SketchSolver_Constraint::changeEntity(AttributePtr theEntity, int& theType)
356 {
357   Slvs_hEntity aResult = SLVS_E_UNKNOWN;
358   if (!theEntity || !isInitialized(theEntity)) {
359     myErrorMsg = SketchSolver_Error::NOT_INITIALIZED();
360     return SLVS_E_UNKNOWN;
361   }
362
363   // If the entity is already in the group, try to find it
364   std::map<std::shared_ptr<ModelAPI_Attribute>, Slvs_hEntity>::const_iterator anEntIter =
365       myAttributeMap.find(theEntity);
366   Slvs_Entity aCurrentEntity;
367   aCurrentEntity.h = SLVS_E_UNKNOWN;
368   if (anEntIter != myAttributeMap.end())
369     aCurrentEntity = myStorage->getEntity(anEntIter->second);
370   else {
371     aResult = myGroup->getAttributeId(theEntity);
372     if (aResult != SLVS_E_UNKNOWN) {
373       Slvs_Entity anEnt = myStorage->getEntity(aResult);
374       theType = anEnt.type;
375       myAttributeMap[theEntity] = aResult;
376       return aResult;
377     }
378   }
379
380   Slvs_hGroup aGroupID = myGroup->getId();
381   // Point in 3D
382   std::shared_ptr<GeomDataAPI_Point> aPoint =
383       std::dynamic_pointer_cast<GeomDataAPI_Point>(theEntity);
384   if (aPoint) {
385     double aXYZ[3] = {aPoint->x(), aPoint->y(), aPoint->z()};
386     Slvs_hParam aParams[3];
387     for (int i = 0; i < 3; i++) {
388       Slvs_Param aPar = aCurrentEntity.h != SLVS_E_UNKNOWN ?
389           myStorage->getParameter(aCurrentEntity.param[i]) :
390           Slvs_MakeParam(SLVS_E_UNKNOWN, aGroupID, 0.0);
391       aPar.val = aXYZ[i];
392       aParams[i] = myStorage->addParameter(aPar);
393     }
394
395     if (aCurrentEntity.h == SLVS_E_UNKNOWN) // New entity
396       aCurrentEntity = Slvs_MakePoint3d(SLVS_E_UNKNOWN, aGroupID, aParams[0], aParams[1], aParams[2]);
397     else { // update entity data
398       for (int i = 0; i < 3; i++)
399         aCurrentEntity.param[i] = aParams[i];
400     }
401     aResult = myStorage->addEntity(aCurrentEntity);
402   } else {
403     // All entities except 3D points are created on workplane. So, if there is no workplane yet, then error
404     Slvs_hEntity aWorkplaneID = myGroup->getWorkplaneId();
405     if (aWorkplaneID == SLVS_E_UNKNOWN)
406       return SLVS_E_UNKNOWN;
407
408     // Point in 2D
409     std::shared_ptr<GeomDataAPI_Point2D> aPoint2D =
410         std::dynamic_pointer_cast<GeomDataAPI_Point2D>(theEntity);
411     if (aPoint2D) {
412       double aXY[2] = {aPoint2D->x(), aPoint2D->y()};
413       Slvs_hParam aParams[2];
414       for (int i = 0; i < 2; i++) {
415         Slvs_Param aPar = aCurrentEntity.h != SLVS_E_UNKNOWN ?
416             myStorage->getParameter(aCurrentEntity.param[i]) :
417             Slvs_MakeParam(SLVS_E_UNKNOWN, aGroupID, 0.0);
418         aPar.val = aXY[i];
419         aParams[i] = myStorage->addParameter(aPar);
420       }
421
422       if (aCurrentEntity.h == SLVS_E_UNKNOWN) // New entity
423         aCurrentEntity = Slvs_MakePoint2d(SLVS_E_UNKNOWN, aGroupID, aWorkplaneID, aParams[0], aParams[1]);
424       else { // update entity data
425         for (int i = 0; i < 2; i++)
426           aCurrentEntity.param[i] = aParams[i];
427       }
428       aResult = myStorage->addEntity(aCurrentEntity);
429     } else {
430       // Scalar value (used for the distance entities)
431       AttributeDoublePtr aScalar = std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(theEntity);
432       if (aScalar) {
433         Slvs_Param aParam = aCurrentEntity.h != SLVS_E_UNKNOWN ?
434             myStorage->getParameter(aCurrentEntity.param[0]) :
435             Slvs_MakeParam(SLVS_E_UNKNOWN, aGroupID, 0.0);
436         aParam.val = aScalar->value();
437         Slvs_hParam aValue = myStorage->addParameter(aParam);
438
439         if (aCurrentEntity.h == SLVS_E_UNKNOWN) // New entity
440           aCurrentEntity = Slvs_MakeDistance(SLVS_E_UNKNOWN, aGroupID, aWorkplaneID, aValue);
441         else
442           aCurrentEntity.param[0] = aValue;
443         aResult = myStorage->addEntity(aCurrentEntity);
444       }
445     }
446   }
447
448   myAttributeMap[theEntity] = aResult;
449   theType = aCurrentEntity.type;
450   return aResult;
451 }
452
453 Slvs_hEntity SketchSolver_Constraint::changeEntity(FeaturePtr theEntity, int& theType)
454 {
455   Slvs_hEntity aResult = SLVS_E_UNKNOWN;
456   if (!theEntity || !theEntity->data() || !theEntity->data()->isValid())
457     return SLVS_E_UNKNOWN;
458   // If the entity is already in the group, try to find it
459   std::map<FeaturePtr, Slvs_hEntity>::const_iterator anEntIter = myFeatureMap.find(theEntity);
460   Slvs_Entity aCurrentEntity;
461   aCurrentEntity.h = SLVS_E_UNKNOWN;
462   if (anEntIter != myFeatureMap.end())
463     aCurrentEntity = myStorage->getEntity(anEntIter->second);
464   else {
465     aResult = myGroup->getFeatureId(theEntity);
466     if (aResult != SLVS_E_UNKNOWN) {
467       Slvs_Entity anEnt = myStorage->getEntity(aResult);
468       theType = anEnt.type;
469       myFeatureMap[theEntity] = aResult;
470       return aResult;
471     }
472   }
473
474   Slvs_hGroup aGroupID = myGroup->getId();
475   Slvs_hEntity aWorkplaneID = myGroup->getWorkplaneId();
476   DataPtr aData = theEntity->data();
477
478   // SketchPlugin features
479   const std::string& aFeatureKind = theEntity->getKind();
480   AttributePtr anAttribute;
481   int anAttrType;
482   // Line
483   if (aFeatureKind == SketchPlugin_Line::ID()) {
484     anAttribute = aData->attribute(SketchPlugin_Line::START_ID());
485     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
486     Slvs_hEntity aStart = changeEntity(anAttribute, anAttrType);
487
488     anAttribute = aData->attribute(SketchPlugin_Line::END_ID());
489     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
490     Slvs_hEntity aEnd = changeEntity(anAttribute, anAttrType);
491
492     if (aCurrentEntity.h == SLVS_E_UNKNOWN) // New entity
493       aCurrentEntity = Slvs_MakeLineSegment(SLVS_E_UNKNOWN, aGroupID, aWorkplaneID, aStart, aEnd);
494     else {
495       aCurrentEntity.point[0] = aStart;
496       aCurrentEntity.point[1] = aEnd;
497     }
498     aResult = myStorage->addEntity(aCurrentEntity);
499   }
500   // Circle
501   else if (aFeatureKind == SketchPlugin_Circle::ID()) {
502     anAttribute = aData->attribute(SketchPlugin_Circle::CENTER_ID());
503     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
504     Slvs_hEntity aCenter = changeEntity(anAttribute, anAttrType);
505
506     anAttribute = aData->attribute(SketchPlugin_Circle::RADIUS_ID());
507     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
508     Slvs_hEntity aRadius = changeEntity(anAttribute, anAttrType);
509
510     if (aCurrentEntity.h == SLVS_E_UNKNOWN) { // New entity
511       Slvs_Entity aWorkplane = myStorage->getEntity(aWorkplaneID);
512       aCurrentEntity = Slvs_MakeCircle(SLVS_E_UNKNOWN, aGroupID, aWorkplaneID,
513                                         aCenter, aWorkplane.normal, aRadius);
514     } else {
515       aCurrentEntity.point[0] = aCenter;
516       aCurrentEntity.distance = aRadius;
517     }
518     aResult = myStorage->addEntity(aCurrentEntity);
519   }
520   // Arc
521   else if (aFeatureKind == SketchPlugin_Arc::ID()) {
522     anAttribute = aData->attribute(SketchPlugin_Arc::CENTER_ID());
523     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
524     Slvs_hEntity aCenter = changeEntity(anAttribute, anAttrType);
525
526     anAttribute = aData->attribute(SketchPlugin_Arc::START_ID());
527     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
528     Slvs_hEntity aStart = changeEntity(anAttribute, anAttrType);
529
530     anAttribute = aData->attribute(SketchPlugin_Arc::END_ID());
531     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
532     Slvs_hEntity aEnd = changeEntity(anAttribute, anAttrType);
533
534     if (aCurrentEntity.h == SLVS_E_UNKNOWN) { // New entity
535       Slvs_Entity aWorkplane = myStorage->getEntity(aWorkplaneID);
536       aCurrentEntity = Slvs_MakeArcOfCircle(SLVS_E_UNKNOWN, aGroupID, aWorkplaneID,
537                                             aWorkplane.normal, aCenter, aStart, aEnd);
538     } else {
539       aCurrentEntity.point[0] = aCenter;
540       aCurrentEntity.point[1] = aStart;
541       aCurrentEntity.point[2] = aEnd;
542     }
543     aResult = myStorage->addEntity(aCurrentEntity);
544   }
545   // Point (it has low probability to be an attribute of constraint, so it is checked at the end)
546   else if (aFeatureKind == SketchPlugin_Point::ID()) {
547     anAttribute = aData->attribute(SketchPlugin_Point::COORD_ID());
548     if (!isInitialized(anAttribute)) return SLVS_E_UNKNOWN;
549     // Both the sketch point and its attribute (coordinates) link to the same SolveSpace point identifier
550     aResult = changeEntity(anAttribute, anAttrType);
551     aCurrentEntity.type = SLVS_E_POINT_IN_3D;
552   }
553
554   if (aResult != SLVS_E_UNKNOWN) {
555     myFeatureMap[theEntity] = aResult;
556     theType = aCurrentEntity.type;
557   }
558   return aResult;
559 }
560
561 std::list<ConstraintPtr> SketchSolver_Constraint::constraints() const
562 {
563   std::list<ConstraintPtr> aConstraints;
564   aConstraints.push_back(myBaseConstraint);
565   return aConstraints;
566 }
567
568 void SketchSolver_Constraint::refresh()
569 {
570   cleanErrorMsg();
571   std::map<AttributePtr, Slvs_hEntity>::iterator anAttrIter = myAttributeMap.begin();
572   for (; anAttrIter != myAttributeMap.end(); anAttrIter++) {
573     std::shared_ptr<GeomDataAPI_Point> aPoint =
574         std::dynamic_pointer_cast<GeomDataAPI_Point>(anAttrIter->first);
575     if (aPoint) {
576       Slvs_Entity anEntity = myStorage->getEntity(anAttrIter->second);
577       double aXYZ[3];
578       for (int i = 0; i < 3; i++) {
579         Slvs_Param aPar = myStorage->getParameter(anEntity.param[i]);
580         aXYZ[i] = aPar.val;
581       }
582       if (fabs(aPoint->x() - aXYZ[0]) > tolerance ||
583           fabs(aPoint->y() - aXYZ[1]) > tolerance ||
584           fabs(aPoint->z() - aXYZ[2]) > tolerance)
585         aPoint->setValue(aXYZ[0], aXYZ[1], aXYZ[2]);
586     } else {
587       // Point in 2D
588       std::shared_ptr<GeomDataAPI_Point2D> aPoint2D =
589           std::dynamic_pointer_cast<GeomDataAPI_Point2D>(anAttrIter->first);
590       if (aPoint2D) {
591         Slvs_Entity anEntity = myStorage->getEntity(anAttrIter->second);
592         double aXY[2];
593         for (int i = 0; i < 2; i++) {
594           Slvs_Param aPar = myStorage->getParameter(anEntity.param[i]);
595           aXY[i] = aPar.val;
596         }
597         if (fabs(aPoint2D->x() - aXY[0]) > tolerance ||
598             fabs(aPoint2D->y() - aXY[1]) > tolerance)
599           aPoint2D->setValue(aXY[0], aXY[1]);
600       } else {
601         // Scalar value (used for the distance entities)
602         AttributeDoublePtr aScalar =
603             std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(anAttrIter->first);
604         if (aScalar) {
605           Slvs_Entity anEntity = myStorage->getEntity(anAttrIter->second);
606           Slvs_Param aPar = myStorage->getParameter(anEntity.param[0]);
607           if (fabs(aScalar->value() - aPar.val) > tolerance)
608             aScalar->setValue(aPar.val);
609         }
610       }
611     }
612   }
613
614   std::map<AttributePtr, Slvs_hParam>::iterator aValIter = myValueMap.begin();
615   for (; aValIter != myValueMap.end(); aValIter++) {
616     AttributeDoublePtr aScalar =
617         std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(anAttrIter->first);
618     if (aScalar) {
619       Slvs_Param aPar = myStorage->getParameter(anAttrIter->second);
620       aScalar->setValue(aPar.val);
621     }
622   }
623 }
624
625 Slvs_hEntity SketchSolver_Constraint::getId(FeaturePtr theFeature) const
626 {
627   std::map<FeaturePtr, Slvs_hEntity>::const_iterator aFIter = myFeatureMap.find(theFeature);
628   if (aFIter == myFeatureMap.end())
629     return SLVS_E_UNKNOWN;
630   // check the Feature is really in the storage
631   Slvs_Entity anEntity = myStorage->getEntity(aFIter->second);
632   if (anEntity.h == SLVS_E_UNKNOWN) {
633     // rebuild feature
634     int aType;
635     anEntity.h = const_cast<SketchSolver_Constraint*>(this)->changeEntity(aFIter->first, aType);
636     const_cast<SketchSolver_Constraint*>(this)->myFeatureMap[theFeature] = anEntity.h;
637   }
638   return anEntity.h;
639 }
640
641 Slvs_hEntity SketchSolver_Constraint::getId(AttributePtr theAttribute) const
642 {
643   std::map<AttributePtr, Slvs_hEntity>::const_iterator anAttrIter = myAttributeMap.find(theAttribute);
644   if (anAttrIter == myAttributeMap.end())
645     return SLVS_E_UNKNOWN;
646   return anAttrIter->second;
647 }
648
649 bool SketchSolver_Constraint::isInitialized(AttributePtr theAttribute)
650 {
651   if (theAttribute->isInitialized())
652     return true;
653   myErrorMsg = SketchSolver_Error::NOT_INITIALIZED();
654   return false;
655 }
656
657
658 void SketchSolver_Constraint::calculateMiddlePoint(
659     const Slvs_Entity& theEntity, double theCoeff, double& theX, double& theY) const
660 {
661   if (theEntity.type == SLVS_E_LINE_SEGMENT) {
662     double aStartEndXY[2][2];
663     Slvs_Entity aPoint;
664     for (int i = 0; i < 2; i++) {
665       aPoint = myStorage->getEntity(theEntity.point[i]);
666       for (int j = 0; j < 2; j++)
667         aStartEndXY[i][j] = myStorage->getParameter(aPoint.param[j]).val;
668     }
669     theX = (1.0 - theCoeff) * aStartEndXY[0][0] + theCoeff * aStartEndXY[1][0];
670     theY = (1.0 - theCoeff) * aStartEndXY[0][1] + theCoeff * aStartEndXY[1][1];
671   } else if (theEntity.type == SLVS_E_ARC_OF_CIRCLE) {
672     double anArcPoint[3][2];
673     Slvs_Entity aPoint;
674     for (int i = 0; i < 3; i++) {
675       aPoint = myStorage->getEntity(theEntity.point[i]);
676       for (int j = 0; j < 2; j++)
677         anArcPoint[i][j] = myStorage->getParameter(aPoint.param[j]).val;
678     }
679     // project last point of arc on the arc
680     double x = anArcPoint[1][0] - anArcPoint[0][0];
681     double y = anArcPoint[1][1] - anArcPoint[0][1];
682     double aRad = sqrt(x*x + y*y);
683     x = anArcPoint[2][0] - anArcPoint[0][0];
684     y = anArcPoint[2][1] - anArcPoint[0][1];
685     double aNorm = sqrt(x*x + y*y);
686     if (aNorm >= tolerance) {
687       anArcPoint[2][0] = x * aRad / aNorm;
688       anArcPoint[2][1] = y * aRad / aNorm;
689     }
690     anArcPoint[1][0] -= anArcPoint[0][0];
691     anArcPoint[1][1] -= anArcPoint[0][1];
692     if (theCoeff < tolerance) {
693       theX = anArcPoint[0][0] + anArcPoint[1][0];
694       theY = anArcPoint[0][1] + anArcPoint[1][1];
695       return;
696     } else if (1 - theCoeff < tolerance) {
697       theX = anArcPoint[0][0] + anArcPoint[2][0];
698       theY = anArcPoint[0][1] + anArcPoint[2][1];
699       return;
700     }
701
702     std::shared_ptr<GeomAPI_Dir2d> aStartDir(new GeomAPI_Dir2d(anArcPoint[1][0], anArcPoint[1][1]));
703     std::shared_ptr<GeomAPI_Dir2d> aEndDir(new GeomAPI_Dir2d(anArcPoint[2][0], anArcPoint[2][1]));
704     double anAngle = aStartDir->angle(aEndDir);
705     if (anAngle < 0)
706       anAngle += 2.0 * PI;
707     anAngle *= theCoeff;
708     double aCos = cos(anAngle);
709     double aSin = sin(anAngle);
710     theX = anArcPoint[0][0] + anArcPoint[1][0] * aCos - anArcPoint[1][1] * aSin;
711     theY = anArcPoint[0][1] + anArcPoint[1][0] * aSin + anArcPoint[1][1] * aCos;
712   }
713 }
714
715 void SketchSolver_Constraint::makeTemporary() const
716 {
717   std::vector<Slvs_hConstraint>::const_iterator anIt = mySlvsConstraints.begin();
718   for (; anIt != mySlvsConstraints.end(); anIt++)
719     myStorage->addTemporaryConstraint(*anIt);
720 }
721