41 #ifndef GNSSTK_FILE_STORE_INCLUDE
42 #define GNSSTK_FILE_STORE_INCLUDE
80 std::vector<std::string> names;
81 typename std::map<std::string, HeaderType>::const_iterator fit;
83 names.push_back(fit->first);
93 InvalidRequest e(
"Duplicate file name");
103 typename std::map<std::string, HeaderType>::const_iterator iter_fn =
headerMap.find(
fn);
106 InvalidRequest e(
"File name not found");
109 return iter_fn->second;
116 void dump(std::ostream& os = std::cout,
short detail = 0)
120 os <<
"Dump of FileStore\n";
121 typename std::map<std::string, HeaderType>::const_iterator fit;
123 os <<
" File " << std::setw(2) << ++n <<
": " << fit->first;
125 os <<
" (header for this file follows)\n";
126 (fit->second).
dump(os);
128 else os << std::endl;
130 os <<
"End dump of FileStore\n";
152 #endif // GNSSTK_FILE_STORE_INCLUDE