Skip to content
Snippets Groups Projects
Commit 6bbcce7c authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add tip to clean Rodin project when load fails

parent b34f0ffc
Branches
Tags
No related merge requests found
...@@ -107,7 +107,8 @@ public final class LoadEventBModelCommand { ...@@ -107,7 +107,8 @@ public final class LoadEventBModelCommand {
Logger.notifyUserWithoutBugreport(message); Logger.notifyUserWithoutBugreport(message);
} }
} catch (CommandException ex) { } catch (CommandException ex) {
Logger.notifyUser("Event-B Model or Context could not be loaded due to an exception: " + ex.getMessage(), Logger.notifyUser("Event-B Model or Context could not be loaded due to an exception: "
+ ex.getMessage() + "\nTry cleaning the Rodin project (Project -> Clean).",
ex); ex);
} }
......
...@@ -25,6 +25,7 @@ public final class InternalLoadCommand implements IComposableCommand { ...@@ -25,6 +25,7 @@ public final class InternalLoadCommand implements IComposableCommand {
} catch (TranslationFailedException e) { } catch (TranslationFailedException e) {
throw new CommandException( throw new CommandException(
"Translation from Event-B to ProB's internal representation failed: " + e.getMessage(), "Translation from Event-B to ProB's internal representation failed: " + e.getMessage(),
// probably a clean of Rodin project can help; this text is added in LoadEventBModelCommand
e); e);
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment