33 int main(
int argc,
char** argv)
45 std::string deviceName;
53 std::ifstream bitfileStream(
bitFileName.c_str(), std::ios::binary);
65 std::ifstream lstFileStream(deviceListFileName.c_str(), std::ios::binary);
72 deviceName = deviceRegistry.lookup(deviceID);
73 if (deviceName.empty())
throw Exception();
79 std::ifstream calFileStream(calFileName.c_str(), std::ios::binary);
81 addressLayoutRegistry.
insert(deviceID, addressLayout);
91 std::string devicePackageName = deviceName +
packageName;
97 std::ifstream deviceInputStream(deviceFileName.c_str(), std::ios::binary);
102 std::ifstream mapInputStream(mapFileName.c_str(), std::ios::binary);
113 std::ifstream dbFileStream(dbFilename.c_str(), std::ios::binary);
124 decoder.
decode(cfgExtractor, cfgDatabase, device);