-// Copyright (C) 2007-2008 CEA/DEN, EDF R&D, OPEN CASCADE
+// Copyright (C) 2007-2012 CEA/DEN, EDF R&D, OPEN CASCADE
//
// Copyright (C) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
// CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
static BatchManagerCatalog& getInstance();
void addFactBatchManager(const char * type, Batch::FactBatchManager * pFBM);
+ bool hasFactBatchManager(const char * type);
Batch::FactBatchManager * operator() (const char * type);
virtual std::map<std::string, FactBatchManager *> * dict();
// Forbid the use of copy constructor and assignment operator
BatchManagerCatalog(const BatchManagerCatalog & orig) {}
- BatchManagerCatalog& operator=(const BatchManagerCatalog & orig) {}
+ void operator=(const BatchManagerCatalog & orig) {}
};