+
+ return aPoint;
+}
+
+static void threePointsOfFeature(const FeaturePtr& theMacroFeature,
+ std::shared_ptr<GeomAPI_Pnt2d> thePoints[3])
+{
+ if (theMacroFeature->getKind() == SketchPlugin_MacroCircle::ID()) {
+ thePoints[0] = toPoint(theMacroFeature,
+ SketchPlugin_MacroCircle::FIRST_POINT_ID(),
+ SketchPlugin_MacroCircle::FIRST_POINT_REF_ID());
+ thePoints[1] = toPoint(theMacroFeature,
+ SketchPlugin_MacroCircle::SECOND_POINT_ID(),
+ SketchPlugin_MacroCircle::SECOND_POINT_REF_ID());
+ thePoints[2] = toPoint(theMacroFeature,
+ SketchPlugin_MacroCircle::THIRD_POINT_ID(),
+ SketchPlugin_MacroCircle::THIRD_POINT_REF_ID());
+ } else if (theMacroFeature->getKind() == SketchPlugin_MacroArc::ID()) {
+ thePoints[0] = toPoint(theMacroFeature,
+ SketchPlugin_MacroArc::START_POINT_2_ID(),
+ SketchPlugin_MacroArc::START_POINT_REF_ID());
+ thePoints[1] = toPoint(theMacroFeature,
+ SketchPlugin_MacroArc::END_POINT_2_ID(),
+ SketchPlugin_MacroArc::END_POINT_REF_ID());
+ thePoints[2] = toPoint(theMacroFeature,
+ SketchPlugin_MacroArc::PASSED_POINT_ID(),
+ SketchPlugin_MacroArc::PASSED_POINT_REF_ID());
+ }
+}
+
+static bool isPointsOnLine(const std::shared_ptr<GeomAPI_Pnt2d>& thePoint1,
+ const std::shared_ptr<GeomAPI_Pnt2d>& thePoint2,
+ const std::shared_ptr<GeomAPI_Pnt2d>& thePoint3)
+{
+ static const double aTolerance = 1.e-7;
+ if (thePoint1->distance(thePoint2) < aTolerance ||
+ thePoint1->distance(thePoint3) < aTolerance)
+ return true;
+
+ std::shared_ptr<GeomAPI_Dir2d> aDirP1P2(new GeomAPI_Dir2d(thePoint2->x() - thePoint1->x(),
+ thePoint2->y() - thePoint1->y()));
+ std::shared_ptr<GeomAPI_Dir2d> aDirP1P3(new GeomAPI_Dir2d(thePoint3->x() - thePoint1->x(),
+ thePoint3->y() - thePoint1->y()));
+ return fabs(aDirP1P2->cross(aDirP1P3)) < aTolerance;
+}
+
+static bool isOnSameSide(const std::shared_ptr<GeomAPI_Lin>& theLine,
+ const std::shared_ptr<GeomAPI_Pnt>& thePoint1,
+ const std::shared_ptr<GeomAPI_Pnt>& thePoint2)
+{
+ static const double aTolerance = 1.e-7;
+ std::shared_ptr<GeomAPI_Dir> aLineDir = theLine->direction();
+ std::shared_ptr<GeomAPI_XYZ> aLineLoc = theLine->location()->xyz();
+
+ std::shared_ptr<GeomAPI_XYZ> aVec1 = thePoint1->xyz()->decreased(aLineLoc);
+ // the first point is on the line
+ if (aVec1->squareModulus() < aTolerance * aTolerance)
+ return false;
+ std::shared_ptr<GeomAPI_Dir> aDirP1L(new GeomAPI_Dir(aVec1));
+ std::shared_ptr<GeomAPI_XYZ> aVec2 = thePoint2->xyz()->decreased(aLineLoc);
+ // the second point is on the line
+ if (aVec2->squareModulus() < aTolerance * aTolerance)
+ return false;
+ std::shared_ptr<GeomAPI_Dir> aDirP2L(new GeomAPI_Dir(aVec2));
+
+ return aLineDir->cross(aDirP1L)->dot(aLineDir->cross(aDirP2L)) > -aTolerance;
+}
+
+static bool isOnSameSide(const std::shared_ptr<GeomAPI_Circ>& theCircle,
+ const std::shared_ptr<GeomAPI_Pnt>& thePoint1,
+ const std::shared_ptr<GeomAPI_Pnt>& thePoint2)
+{
+ static const double aTolerance = 1.e-7;
+ std::shared_ptr<GeomAPI_Pnt> aCenter = theCircle->center();
+ double aDistP1C = thePoint1->distance(aCenter);
+ double aDistP2C = thePoint2->distance(aCenter);
+ return (aDistP1C - theCircle->radius()) * (aDistP2C - theCircle->radius()) > -aTolerance;
+}
+
+bool SketchPlugin_ThirdPointValidator::arePointsNotOnLine(
+ const FeaturePtr& theMacroFeature,
+ Events_InfoMessage& theError) const
+{
+ static const std::string aErrorPointsOnLine(
+ "Selected points are on the same line");
+
+ std::shared_ptr<GeomAPI_Pnt2d> aPoints[3];
+ threePointsOfFeature(theMacroFeature, aPoints);
+
+ if (isPointsOnLine(aPoints[0], aPoints[1], aPoints[2])) {
+ theError = aErrorPointsOnLine;
+ return false;
+ }
+ return true;
+}
+
+bool SketchPlugin_ThirdPointValidator::arePointsNotSeparated(
+ const FeaturePtr& theMacroFeature,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ static const std::string aErrorPointsApart(
+ "Selected entity is lying between first two points");
+
+ AttributeRefAttrPtr aThirdPointRef = theMacroFeature->refattr(theArguments.front());
+ FeaturePtr aRefByThird;
+ if (aThirdPointRef->isObject())
+ aRefByThird = ModelAPI_Feature::feature(aThirdPointRef->object());
+ if (!aRefByThird)
+ return true;
+
+ std::shared_ptr<GeomAPI_Pnt2d> aPoints[3];
+ threePointsOfFeature(theMacroFeature, aPoints);
+
+ std::shared_ptr<GeomAPI_Edge> aThirdShape =
+ std::dynamic_pointer_cast<GeomAPI_Edge>(aRefByThird->lastResult()->shape());
+ if (!aThirdShape)
+ return true;
+
+ SketchPlugin_Sketch* aSketch =
+ std::dynamic_pointer_cast<SketchPlugin_Feature>(theMacroFeature)->sketch();
+ std::shared_ptr<GeomAPI_Pnt> aFirstPnt3D = aSketch->to3D(aPoints[0]->x(), aPoints[0]->y());
+ std::shared_ptr<GeomAPI_Pnt> aSecondPnt3D = aSketch->to3D(aPoints[1]->x(), aPoints[1]->y());
+
+ bool isOk = true;
+ if (aThirdShape->isLine())
+ isOk = isOnSameSide(aThirdShape->line(), aFirstPnt3D, aSecondPnt3D);
+ else if (aThirdShape->isCircle() || aThirdShape->isArc())
+ isOk = isOnSameSide(aThirdShape->circle(), aFirstPnt3D, aSecondPnt3D);
+
+ if (!isOk)
+ theError = aErrorPointsApart;
+ return isOk;
+}
+
+bool SketchPlugin_ArcEndPointValidator::isValid(
+ const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ FeaturePtr aFeature = ModelAPI_Feature::feature(theAttribute->owner());
+ AttributeRefAttrPtr anEndPointRef = aFeature->refattr(theArguments.front());
+
+ if(!anEndPointRef.get()) {
+ return true;
+ }
+
+ ObjectPtr anObject = anEndPointRef->object();
+ AttributePtr anAttr = anEndPointRef->attr();
+ if(!anObject.get() && !anAttr.get()) {
+ return true;
+ }
+
+ if(anEndPointRef->attr().get()) {
+ return false;
+ }
+
+ ResultPtr aResult = std::dynamic_pointer_cast<ModelAPI_Result>(anObject);
+ if(aResult.get()) {
+ GeomShapePtr aShape = aResult->shape();
+ if(aShape.get() && aShape->isVertex()) {
+ return false;
+ }
+ }
+
+ aFeature = ModelAPI_Feature::feature(anObject);
+ if(aFeature.get()) {
+ if(aFeature->getKind() == SketchPlugin_Point::ID()) {
+ return false;
+ }
+ }
+
+ return true;
+}
+
+static GeomShapePtr toInfiniteEdge(const GeomShapePtr theShape)
+{
+ if(!theShape.get()) {
+ return theShape;
+ }
+
+ if(!theShape->isEdge()) {
+ return theShape;
+ }
+
+ std::shared_ptr<GeomAPI_Edge> anEdge(new GeomAPI_Edge(theShape));
+
+ if(!anEdge.get()) {
+ return theShape;
+ }
+
+ if(anEdge->isLine()) {
+ std::shared_ptr<GeomAPI_Lin> aLine = anEdge->line();
+ GeomShapePtr aShape = GeomAlgoAPI_EdgeBuilder::line(aLine);
+ return aShape;
+ }
+
+ if(anEdge->isCircle() || anEdge->isArc()) {
+ std::shared_ptr<GeomAPI_Circ> aCircle = anEdge->circle();
+ GeomShapePtr aShape = GeomAlgoAPI_EdgeBuilder::lineCircle(aCircle);
+ return aShape;
+ }
+
+ return theShape;
+}
+
+bool SketchPlugin_ArcEndPointIntersectionValidator::isValid(
+ const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ std::shared_ptr<SketchPlugin_MacroArc> anArcFeature =
+ std::dynamic_pointer_cast<SketchPlugin_MacroArc>(theAttribute->owner());
+ AttributeRefAttrPtr anEndPointRef = anArcFeature->refattr(theArguments.front());
+
+ if(!anEndPointRef.get()) {
+ return true;
+ }
+
+ GeomShapePtr anArcShape = toInfiniteEdge(anArcFeature->getArcShape(false));
+
+ if(!anArcShape.get() || anArcShape->isNull()) {
+ return true;
+ }
+
+ ObjectPtr anObject = anEndPointRef->object();
+ AttributePtr anAttr = anEndPointRef->attr();
+ if(!anObject.get() && !anAttr.get()) {
+ return true;
+ }
+
+ ResultPtr aResult = std::dynamic_pointer_cast<ModelAPI_Result>(anObject);
+ if(aResult.get()) {
+ GeomShapePtr aShape = aResult->shape();
+ if (!aShape->isEdge())
+ return true;
+ aShape = toInfiniteEdge(aShape);
+ if(aShape.get() && !aShape->isNull()) {
+ if(anArcShape->isIntersect(aShape)) {
+ return true;
+ }
+ }
+ }
+
+ FeaturePtr aSelectedFeature = ModelAPI_Feature::feature(anObject);
+ if(aSelectedFeature.get()) {
+ std::list<ResultPtr> aResults = aSelectedFeature->results();
+ for(std::list<ResultPtr>::const_iterator anIt = aResults.cbegin();
+ anIt != aResults.cend();
+ ++anIt)
+ {
+ GeomShapePtr aShape = (*anIt)->shape();
+ if (!aShape->isEdge())
+ return true;
+ aShape = toInfiniteEdge(aShape);
+ if(aShape.get() && !aShape->isNull()) {
+ if(anArcShape->isIntersect(aShape)) {
+ return true;
+ }
+ }
+ }
+ }
+
+ return false;
+}
+
+bool SketchPlugin_HasNoConstraint::isValid(const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ std::set<std::string> aFeatureKinds;
+ for (std::list<std::string>::const_iterator anArgIt = theArguments.begin();
+ anArgIt != theArguments.end(); anArgIt++) {
+ aFeatureKinds.insert(*anArgIt);
+ }
+
+ if (theAttribute->attributeType() != ModelAPI_AttributeRefAttr::typeId()) {
+ theError = "The attribute with the %1 type is not processed";
+ theError.arg(theAttribute->attributeType());
+ return false;
+ }
+
+ AttributeRefAttrPtr aRefAttr = std::dynamic_pointer_cast<ModelAPI_AttributeRefAttr>
+ (theAttribute);
+ bool isObject = aRefAttr->isObject();
+ if (!isObject) {
+ theError = "It uses an empty object";
+ return false;
+ }
+ ObjectPtr anObject = aRefAttr->object();
+ FeaturePtr aFeature = ModelAPI_Feature::feature(anObject);
+ if (!aFeature.get()) {
+ theError = "The feature of the checked attribute is empty";
+ return false;
+ }
+
+ FeaturePtr aCurrentFeature = ModelAPI_Feature::feature(aRefAttr->owner());
+
+ std::set<AttributePtr> aRefsList = anObject->data()->refsToMe();
+ std::set<AttributePtr>::const_iterator anIt = aRefsList.begin();
+ for (; anIt != aRefsList.end(); anIt++) {
+ FeaturePtr aRefFeature = ModelAPI_Feature::feature((*anIt)->owner());
+ if (aRefFeature.get() && aCurrentFeature != aRefFeature &&
+ aFeatureKinds.find(aRefFeature->getKind()) != aFeatureKinds.end())
+ return false; // constraint is found, that means that the check is not valid
+ }
+ return true;
+}
+
+bool SketchPlugin_ReplicationReferenceValidator::isValid(
+ const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ AttributeRefAttrPtr aRefAttr =
+ std::dynamic_pointer_cast<ModelAPI_AttributeRefAttr>(theAttribute);
+ if (!aRefAttr)
+ {
+ theError = "Incorrect attribute";
+ return false;
+ }
+
+ ObjectPtr anOwner;
+ if (aRefAttr->isObject())
+ anOwner = aRefAttr->object();
+ else
+ {
+ AttributePtr anAttr = aRefAttr->attr();
+ anOwner = anAttr->owner();
+ }
+ FeaturePtr anAttrOwnerFeature = ModelAPI_Feature::feature(anOwner);
+ if (!anAttrOwnerFeature)
+ return true;
+ AttributeBooleanPtr aCopyAttr = anAttrOwnerFeature->boolean(SketchPlugin_SketchEntity::COPY_ID());
+ if (!aCopyAttr || !aCopyAttr->value())
+ return true; // feature is not a copy, thus valid
+
+ // check the copy feature is already referred by the "Multi" feature
+ FeaturePtr aMultiFeature = ModelAPI_Feature::feature(theAttribute->owner());
+ AttributeRefListPtr aRefList = aMultiFeature->reflist(theArguments.front());
+ for (int i = 0; i < aRefList->size(); ++i)
+ {
+ FeaturePtr aRefOwner = ModelAPI_Feature::feature(aRefList->object(i));
+ if (aRefOwner == anAttrOwnerFeature)
+ {
+ theError = "Attribute refers to the object generated by this feature";
+ return false;
+ }
+ }
+
+ return true;
+}
+
+bool SketchPlugin_SketchFeatureValidator::isValid(const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ if (theAttribute->attributeType() != ModelAPI_AttributeRefAttr::typeId()) {
+ theError = "The attribute with the %1 type is not processed";
+ theError.arg(theAttribute->attributeType());
+ return false;
+ }
+
+ // check the attribute refers to a sketch feature
+ AttributeRefAttrPtr aRefAttr =
+ std::dynamic_pointer_cast<ModelAPI_AttributeRefAttr>(theAttribute);
+ bool isSketchFeature = aRefAttr->isObject();
+ if (isSketchFeature) {
+ FeaturePtr aFeature = ModelAPI_Feature::feature(aRefAttr->object());
+ isSketchFeature = aFeature.get() != NULL;
+ if (isSketchFeature) {
+ std::shared_ptr<SketchPlugin_Feature> aSketchFeature =
+ std::dynamic_pointer_cast<SketchPlugin_Feature>(aFeature);
+ isSketchFeature = aSketchFeature.get() != NULL;
+ }
+ }
+
+ if (isSketchFeature)
+ return true;
+
+ theError = "The object selected is not a sketch feature";
+ return false;
+}
+
+bool SketchPlugin_MultiRotationAngleValidator::isValid(const AttributePtr& theAttribute,
+ const std::list<std::string>& theArguments,
+ Events_InfoMessage& theError) const
+{
+ if (theAttribute->attributeType() != ModelAPI_AttributeDouble::typeId()) {
+ theError = "The attribute with the %1 type is not processed";
+ theError.arg(theAttribute->attributeType());
+ return false;
+ }
+
+ AttributeDoublePtr anAngleAttr =
+ std::dynamic_pointer_cast<ModelAPI_AttributeDouble>(theAttribute);
+
+ FeaturePtr aMultiRotation = ModelAPI_Feature::feature(theAttribute->owner());
+ AttributeStringPtr anAngleType =
+ aMultiRotation->string(SketchPlugin_MultiRotation::ANGLE_TYPE());
+ AttributeIntegerPtr aNbCopies =
+ aMultiRotation->integer(SketchPlugin_MultiRotation::NUMBER_OF_OBJECTS_ID());
+
+ if (anAngleType->value() != "FullAngle")
+ {
+ double aFullAngleValue = anAngleAttr->value() * (aNbCopies->value() - 1);
+ if (aFullAngleValue < -1.e-7 || aFullAngleValue > 359.9999999)
+ {
+ theError = "Rotation single angle should produce full angle less than 360 degree";
+ return false;
+ }
+ }
+ else
+ {
+ double aFullAngleValue = anAngleAttr->value();
+ if (aFullAngleValue < -1.e-7 || aFullAngleValue > 360.0000001)
+ {
+ theError = "Rotation full angle should be in range [0, 360]";
+ return false;
+ }
+ }
+