smesh/src/SMDS/SMDS_MeshIDFactory.cxx

61 lines
1.8 KiB
C++
Raw Normal View History

2003-07-10 15:49:12 +06:00
// SMESH SMDS : implementaion of Salome mesh data structure
//
// Copyright (C) 2003 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
// CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
// See http://www.opencascade.org/SALOME/ or email : webmaster.salome@opencascade.org
//
//
//
// File : SMDS_MeshIDFactory.cxx
// Author : Jean-Michel BOULCOURT
// Module : SMESH
2003-05-19 19:49:00 +06:00
2003-09-03 23:29:04 +06:00
#include "SMDS_MeshIDFactory.hxx"
2003-05-19 19:49:00 +06:00
2004-12-01 15:48:31 +05:00
using namespace std;
2003-05-19 19:49:00 +06:00
//=======================================================================
//function : SMDS_MeshIDFactory
//purpose :
//=======================================================================
2003-09-03 23:29:04 +06:00
SMDS_MeshIDFactory::SMDS_MeshIDFactory():myMaxID(0)
2003-05-19 19:49:00 +06:00
{
}
2003-09-03 23:29:04 +06:00
int SMDS_MeshIDFactory::GetFreeID()
{
if (myPoolOfID.empty()) return ++myMaxID;
else
{
int ID = myPoolOfID.top();
myPoolOfID.pop();
return ID;
}
}
//=======================================================================
//function : ReleaseID
//purpose :
//=======================================================================
void SMDS_MeshIDFactory::ReleaseID(const int ID)
{
2004-06-18 14:34:31 +06:00
if (ID > 0 && ID < myMaxID) myPoolOfID.push(ID);
2003-09-03 23:29:04 +06:00
}