EIC code displayed by LXR master/​include/​opencascade/​BRepTools_History.hxx	Source navigation Diff markup Identifier search General search
	Version: master test Revert   Change

File indexing completed on 2026-09-28 09:19:43

 // Created on: 2017-04-21
 // Created by: Alexander Bobkov
 // Copyright (c) 2017 OPEN CASCADE SAS
 //
 // This file is part of Open CASCADE Technology software library.
 //
 // This library is free software; you can redistribute it and/or modify it under
 // the terms of the GNU Lesser General Public License version 2.1 as published
 // by the Free Software Foundation, with special exception defined in the file
 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
 // distribution for complete text of the license and disclaimer of any warranty.
 //
 // Alternatively, this file may be used under the terms of Open CASCADE
 // commercial license or contractual agreement.
 
 #ifndef _BRepTools_History_HeaderFile
 #define _BRepTools_History_HeaderFile
 
 #include <NCollection_Handle.hxx>
 #include <TopExp.hxx>
 #include <TopoDS_Shape.hxx>
 #include <NCollection_List.hxx>
 #include <TopTools_ShapeMapHasher.hxx>
 #include <NCollection_DataMap.hxx>
 #include <NCollection_Map.hxx>
 
 //! The history keeps the following relations between the input shapes
 //! (S1, ..., Sm) and output shapes (T1, ..., Tn):
 //! 1) an output shape Tj is generated from an input shape Si: Tj <= G(Si);
 //! 2) a output shape Tj is modified from an input shape Si: Tj <= M(Si);
 //! 3) an input shape (Si) is removed: R(Si) == 1.
 //!
 //! The relations are kept only for shapes of types vertex, edge, face, and
 //! solid.
 //!
 //! The last relation means that:
 //! 1) shape Si is not an output shape and
 //! 2) no any shape is modified (produced) from shape Si:
 //! R(Si) == 1 ==> Si != Tj, M(Si) == 0.
 //!
 //! It means that the input shape cannot be removed and modified
 //! simultaneously. However, the shapes may be generated from the
 //! removed shape. For instance, in Fillet operation the edges
 //! generate faces and then are removed.
 //!
 //! No any shape could be generated and modified from the same shape
 //! simultaneously: sets G(Si) and M(Si) are not intersected
 //! (G(Si) ^ M(Si) == 0).
 //!
 //! Each output shape should be:
 //! 1) an input shape or
 //! 2) generated or modified from an input shape (even generated from the
 //!   implicit null shape if necessary):
 //!   Tj == Si V (exists Si that Tj <= G(Si) U M(Si)).
 //!
 //! Recommendations to choose between relations 'generated' and 'modified':
 //! 1) a shape is generated from input shapes if it dimension is greater or
 //!   smaller than the dimensions of the input shapes;
 //! 2) a shape is generated from input shapes if these shapes are also output
 //!   shapes;
 //! 3) a shape is generated from input shapes of the same dimension if it is
 //!   produced by joining shapes generated from these shapes;
 //! 4) a shape is modified from an input shape if it replaces the input shape by
 //!   changes of the location, the tolerance, the bounds of the parametric
 //!   space (the faces for a solid), the parametrization and/or by applying of
 //!   an approximation;
 //! 5) a shape is modified from input shapes of the same dimension if it is
 //!   produced by joining shapes modified from these shapes.
 //!
 //! Two sequential histories:
 //! - one history (H12) of shapes S1, ..., Sm to shapes T1, ..., Tn and
 //! - another history (H23) of shapes T1, ..., Tn to shapes Q1, ..., Ql
 //! could be merged to the single history (H13) of shapes S1, ..., Sm to shapes
 //! Q1, ..., Ql.
 //!
 //! During the merge:
 //! 1) if shape Tj is generated from shape Si then each shape generated or
 //!   modified from shape Tj is considered as a shape generated from shape Si
 //!   among shapes Q1, ..., Ql:
 //!   Tj <= G12(Si), Qk <= G23(Tj) U M23(Tj) ==> Qk <= G13(Si).
 //! 2) if shape Tj is modified from shape Si, shape Qk is generated from shape
 //!   Tj then shape Qk is considered as a shape generated from shape Si among
 //!   shapes Q1, ..., Ql:
 //!   Tj <= M12(Si), Qk <= G23(Tj) ==> Qk <= G13(Si);
 //! 3) if shape Tj is modified from shape Si, shape Qk is modified from shape
 //!   Tj then shape Qk is considered as a shape modified from shape Si among
 //!   shapes Q1, ..., Ql:
 //!   Tj <= M12(Si), Qk <= M23(Tj) ==> Qk <= M13(Si);
 class BRepTools_History : public Standard_Transient
 {
 public: //! @name Constructors for History creation
   //! Empty constructor
   BRepTools_History() = default;
 
   //! Template constructor for History creation from the algorithm having
   //! standard history methods such as IsDeleted(), Modified() and Generated().
   //! @param[in] theArguments  Arguments of the algorithm;
   //! @param[in] theAlgo  The algorithm.
   template <class TheAlgo>
   BRepTools_History(const NCollection_List<TopoDS_Shape>& theArguments, TheAlgo& theAlgo)
   {
     // Map all argument shapes to save them in history
     NCollection_IndexedMap<TopoDS_Shape, TopTools_ShapeMapHasher> anArgsMap;
     NCollection_List<TopoDS_Shape>::Iterator                      aIt(theArguments);
     for (; aIt.More(); aIt.Next())
     {
       if (!aIt.Value().IsNull())
         TopExp::MapShapes(aIt.Value(), anArgsMap);
     }
 
     // Copy the history for all supported shapes from the algorithm
     int i, aNb = anArgsMap.Extent();
     for (i = 1; i <= aNb; ++i)
     {
       const TopoDS_Shape& aS = anArgsMap(i);
       if (!IsSupportedType(aS))
         continue;
 
       if (theAlgo.IsDeleted(aS))
         Remove(aS);
 
       // Check Modified
       const NCollection_List<TopoDS_Shape>& aModified = theAlgo.Modified(aS);
       for (aIt.Initialize(aModified); aIt.More(); aIt.Next())
         AddModified(aS, aIt.Value());
 
       // Check Generated
       const NCollection_List<TopoDS_Shape>& aGenerated = theAlgo.Generated(aS);
       for (aIt.Initialize(aGenerated); aIt.More(); aIt.Next())
         AddGenerated(aS, aIt.Value());
     }
   }
 
 public:
   //! The types of the historical relations.
   enum TRelationType
   {
     TRelationType_Removed,
     TRelationType_Generated,
     TRelationType_Modified
   };
 
 public:
   //! Returns 'true' if the type of the shape is supported by the history.
   static bool IsSupportedType(const TopoDS_Shape& theShape)
   {
     const TopAbs_ShapeEnum aType = theShape.ShapeType();
     return aType == TopAbs_VERTEX || aType == TopAbs_EDGE || aType == TopAbs_FACE
            || aType == TopAbs_SOLID;
   }
 
 public: //! Methods to set the history.
   //! Set the second shape as generated one from the first shape.
   Standard_EXPORT void AddGenerated(const TopoDS_Shape& theInitial,
                                     const TopoDS_Shape& theGenerated);
 
   //! Set the second shape as modified one from the first shape.
   Standard_EXPORT void AddModified(const TopoDS_Shape& theInitial, const TopoDS_Shape& theModified);
 
   //! Set the shape as removed one.
   Standard_EXPORT void Remove(const TopoDS_Shape& theRemoved);
 
   //! Set the second shape as the only generated one from the first one.
   Standard_EXPORT void ReplaceGenerated(const TopoDS_Shape& theInitial,
                                         const TopoDS_Shape& theGenerated);
 
   //! Set the second shape as the only modified one from the first one.
   Standard_EXPORT void ReplaceModified(const TopoDS_Shape& theInitial,
                                        const TopoDS_Shape& theModified);
 
   //! Clears the history.
   void Clear()
   {
     myShapeToModified.Clear();
     myShapeToGenerated.Clear();
     myRemoved.Clear();
   }
 
 public: //! Methods to read the history.
   //! Returns all shapes generated from the shape.
   Standard_EXPORT const NCollection_List<TopoDS_Shape>& Generated(
     const TopoDS_Shape& theInitial) const;
 
   //! Returns all shapes modified from the shape.
   Standard_EXPORT const NCollection_List<TopoDS_Shape>& Modified(
     const TopoDS_Shape& theInitial) const;
 
   //! Returns 'true' if the shape is removed.
   Standard_EXPORT bool IsRemoved(const TopoDS_Shape& theInitial) const;
 
   //! Returns 'true' if there any shapes with Generated elements present
   bool HasGenerated() const { return !myShapeToGenerated.IsEmpty(); }
 
   //! Returns 'true' if there any Modified shapes present
   bool HasModified() const { return !myShapeToModified.IsEmpty(); }
 
   //! Returns 'true' if there any removed shapes present
   bool HasRemoved() const { return !myRemoved.IsEmpty(); }
 
 public: //! A method to merge a next history to this history.
   //! Merges the next history to this history.
   Standard_EXPORT void Merge(const occ::handle<BRepTools_History>& theHistory23);
 
   //! Merges the next history to this history.
   Standard_EXPORT void Merge(const BRepTools_History& theHistory23);
 
   //! Template method for merging history of the algorithm having standard
   //! history methods such as IsDeleted(), Modified() and Generated()
   //! into current history object.
   //! @param[in] theArguments  Arguments of the algorithm;
   //! @param[in] theAlgo  The algorithm.
   template <class TheAlgo>
   void Merge(const NCollection_List<TopoDS_Shape>& theArguments, TheAlgo& theAlgo)
   {
     // Create new history object from the given algorithm and merge it into this.
     Merge(BRepTools_History(theArguments, theAlgo));
   }
 
 public: //! A method to dump a history
   //! Prints the brief description of the history into a stream
   void Dump(Standard_OStream& theS)
   {
     theS << "History contains:\n";
     theS << " - " << myRemoved.Extent() << " Deleted shapes;\n";
     theS << " - " << myShapeToModified.Extent() << " Modified shapes;\n";
     theS << " - " << myShapeToGenerated.Extent() << " Generated shapes.\n";
   }
 
 public:
   //! Define the OCCT RTTI for the type.
   DEFINE_STANDARD_RTTIEXT(BRepTools_History, Standard_Transient)
 
 private:
   //! Prepares the shapes generated from the first shape to set the second one
   //! as generated one from the first one by the addition or the replacement.
   //! Returns 'true' on success.
   bool prepareGenerated(const TopoDS_Shape& theInitial, const TopoDS_Shape& theGenerated);
 
   //! Prepares the shapes modified from the first shape to set the second one
   //! as modified one from the first one by the addition or the replacement.
   //! Returns 'true' on success.
   bool prepareModified(const TopoDS_Shape& theInitial, const TopoDS_Shape& theModified);
 
 private: //! Data to keep the history.
   //! Maps each input shape to all shapes modified from it.
   //! If an input shape is not bound to the map then
   //! there is no shapes modified from the shape.
   //! No any shape should be mapped to an empty list.
   NCollection_DataMap<TopoDS_Shape, NCollection_List<TopoDS_Shape>, TopTools_ShapeMapHasher>
     myShapeToModified;
 
   //! Maps each input shape to all shapes generated from it.
   //! If an input shape is not bound to the map then
   //! there is no shapes generated from the shape.
   //! No any shape should be mapped to an empty list.
   NCollection_DataMap<TopoDS_Shape, NCollection_List<TopoDS_Shape>, TopTools_ShapeMapHasher>
     myShapeToGenerated;
 
   NCollection_Map<TopoDS_Shape, TopTools_ShapeMapHasher> myRemoved; //!< The removed shapes.
 
 private: //! Auxiliary members to read the history.
   //! An auxiliary empty list.
   static const NCollection_List<TopoDS_Shape> myEmptyList;
 
   //! A method to export the auxiliary list.
   Standard_EXPORT static const NCollection_List<TopoDS_Shape>& emptyList();
 
 private:
   //! Auxiliary messages.
   static const char* myMsgUnsupportedType;
   static const char* myMsgGeneratedAndRemoved;
   static const char* myMsgModifiedAndRemoved;
   static const char* myMsgGeneratedAndModified;
 };
 
 #endif // _BRepTools_History_HeaderFile

This page was automatically generated by the 2.3.7 LXR engine. The LXR team