From fad82908440c334f87bd00cedc1613ab2367cc52 Mon Sep 17 00:00:00 2001 From: gereon Date: Sat, 11 May 2013 17:12:55 +0200 Subject: [PATCH] Renamed WrongFileFormatException to WrongFormatException --- src/adapters/ExplicitModelAdapter.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp index 1bc602797..57da1399d 100644 --- a/src/adapters/ExplicitModelAdapter.cpp +++ b/src/adapters/ExplicitModelAdapter.cpp @@ -2,7 +2,7 @@ #include "src/storage/SparseMatrix.h" #include "src/utility/Settings.h" -#include "src/exceptions/WrongFileFormatException.h" +#include "src/exceptions/WrongFormatException.h" #include "src/ir/Program.h" #include "src/ir/RewardModel.h" @@ -82,7 +82,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() { break; default: LOG4CPLUS_ERROR(logger, "Error while creating model from probabilistic program: We can't handle this model type."); - throw storm::exceptions::WrongFileFormatException() << "Error while creating model from probabilistic program: We can't handle this model type."; + throw storm::exceptions::WrongFormatException() << "Error while creating model from probabilistic program: We can't handle this model type."; break; } @@ -341,7 +341,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() { } if (std::abs(1 - probSum) > this->precision) { LOG4CPLUS_ERROR(logger, "Sum of update probabilities should be one for command:\n\t" << command.toString()); - throw storm::exceptions::WrongFileFormatException() << "Sum of update probabilities should be one for command:\n\t" << command.toString(); + throw storm::exceptions::WrongFormatException() << "Sum of update probabilities should be one for command:\n\t" << command.toString(); } } } @@ -391,7 +391,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() { } if (std::abs(1 - probSum) > this->precision) { LOG4CPLUS_ERROR(logger, "Sum of update probabilities should be one for command:\n\t" << command.toString()); - throw storm::exceptions::WrongFileFormatException() << "Sum of update probabilities should be one for command:\n\t" << command.toString(); + throw storm::exceptions::WrongFormatException() << "Sum of update probabilities should be one for command:\n\t" << command.toString(); } } for (auto it: resultStates) { @@ -539,7 +539,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() { this->transitionMap[curIndex].back().second[curIndex] = 1; } else { LOG4CPLUS_ERROR(logger, "Error while creating sparse matrix from probabilistic program: found deadlock state."); - throw storm::exceptions::WrongFileFormatException() << "Error while creating sparse matrix from probabilistic program: found deadlock state."; + throw storm::exceptions::WrongFormatException() << "Error while creating sparse matrix from probabilistic program: found deadlock state."; } } }