patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Moved exception catching from parser to application.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-20 16:16:56 +02:00
parent 3ddf942a12
commit d7984e9b3a
2 changed files with 19 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
apps/plasp-app/main.cpp
View File

@ -37,8 +37,15 @@ int main(int argc, char **argv)
return EXIT_FAILURE; return EXIT_FAILURE;
} }
const auto sasDescription = plasp::sas::Description::fromFile(variablesMap["input"].as<std::string>()); try
sasDescription.print(std::cout); {
const auto sasDescription = plasp::sas::Description::fromFile(variablesMap["input"].as<std::string>());
sasDescription.print(std::cout);
}
catch (const std::exception &e)
{
std::cerr << "Error: " << e.what() << std::endl;
}
return EXIT_SUCCESS; return EXIT_SUCCESS;
} }

28
src/plasp/sas/Description.cpp
View File

@ -36,25 +36,17 @@ Description Description::fromFile(const boost::filesystem::path &path)
return description; return description;
} }
try std::ifstream fileStream(path.string(), std::ios::in);
{ fileStream.exceptions(std::ifstream::failbit | std::ifstream::badbit);
std::ifstream fileStream(path.string(), std::ios::in);
fileStream.exceptions(std::ifstream::failbit | std::ifstream::badbit);
description.parseVersionSection(fileStream); description.parseVersionSection(fileStream);
description.parseMetricSection(fileStream); description.parseMetricSection(fileStream);
description.parseVariablesSection(fileStream); description.parseVariablesSection(fileStream);
description.parseMutexSection(fileStream); description.parseMutexSection(fileStream);
description.parseInitialStateSection(fileStream); description.parseInitialStateSection(fileStream);
description.parseGoalSection(fileStream); description.parseGoalSection(fileStream);
description.parseOperatorSection(fileStream); description.parseOperatorSection(fileStream);
description.parseAxiomSection(fileStream); description.parseAxiomSection(fileStream);
}
catch (std::exception &exception)
{
std::cerr << "Error: " << exception.what() << std::endl;
return description;
}
return description; return description;
} }