|
Gaudi Framework, version v23r2 |
| Home | Generated: Thu Jun 28 2012 |
00001 // $Id:$ 00002 #ifndef JOBOPTIONSVC_INCLUDED_FILES_H_ 00003 #define JOBOPTIONSVC_INCLUDED_FILES_H_ 00004 // ============================================================================ 00005 // Includes: 00006 // ============================================================================ 00007 // STD & STL: 00008 // ============================================================================ 00009 #include <string> 00010 #include <map> 00011 // ============================================================================ 00012 namespace Gaudi { namespace Parsers { 00013 // ============================================================================ 00014 class Position; 00015 // ============================================================================ 00016 class IncludedFiles { 00017 public: 00018 typedef std::map<std::string, Position> Container; 00019 public: 00020 bool AddFile(const std::string& filename, const Position& from); 00021 bool IsIncluded(const std::string& filename) const; 00022 bool GetPosition(const std::string& filename, const Position** pos) const; 00023 private: 00024 Container container_; 00025 }; 00026 // ============================================================================ 00027 } /* Gaudi */ } /* Parsers */ 00028 // ============================================================================ 00029 #endif // JOBOPTIONSVC_INCLUDED_FILES_H_