1 // SMESH SMDS : implementaion of Salome mesh data structure
3 // Copyright (C) 2003 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
6 // This library is free software; you can redistribute it and/or
7 // modify it under the terms of the GNU Lesser General Public
8 // License as published by the Free Software Foundation; either
9 // version 2.1 of the License.
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // Lesser General Public License for more details.
16 // You should have received a copy of the GNU Lesser General Public
17 // License along with this library; if not, write to the Free Software
18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 // See http://www.opencascade.org/SALOME/ or email : webmaster.salome@opencascade.org
24 // File : SMDS_MeshIDFactory.cxx
25 // Author : Jean-Michel BOULCOURT
29 #include "SMDS_MeshIDFactory.hxx"
33 //=======================================================================
34 //function : SMDS_MeshIDFactory
36 //=======================================================================
38 SMDS_MeshIDFactory::SMDS_MeshIDFactory():myMaxID(0)
42 int SMDS_MeshIDFactory::GetFreeID()
44 if (myPoolOfID.empty()) return ++myMaxID;
47 set<int>::iterator i = myPoolOfID.begin();
48 int ID = *i;//myPoolOfID.top();
49 myPoolOfID.erase( i );//myPoolOfID.pop();
54 //=======================================================================
55 //function : ReleaseID
57 //=======================================================================
58 void SMDS_MeshIDFactory::ReleaseID(const int ID)
64 myPoolOfID.insert(ID);
66 else if ( ID == myMaxID )
69 if ( !myPoolOfID.empty() ) // assure that myMaxID is not in myPoolOfID
71 set<int>::iterator i = --myPoolOfID.end();
72 while ( i != myPoolOfID.begin() && myMaxID == *i ) {
76 --myMaxID; // begin of myPoolOfID reached
79 myPoolOfID.erase( i, myPoolOfID.end() );