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