| commit | 41068e4a2794be4cbf4307a45ee985d909de2042 | [log] [tgz] |
|---|---|---|
| author | Alberto Debiasi <adebiasi@fbk.eu> | Fri Nov 15 14:47:13 2019 +0100 |
| committer | Alberto Debiasi <adebiasi@fbk.eu> | Wed Mar 18 10:54:47 2020 +0100 |
| tree | cb6098f13121475ef818f8c459656a06ed5dcdb2 | |
| parent | 9789b53754eaff6b3a6f2fe996bd45d2f2776036 [diff] |
Improve error message meaning Change-Id: I085d0f25115e6acd0804b8d547aa58501191b429
diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java index a061c6f..4e427c7 100644 --- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java +++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
@@ -1820,7 +1820,7 @@ if (initialState != null) { return initialState.getOutgoings(); } else { - throw new Exception(stateMachine.getName() + " does not have the initial state."); + throw new Exception("The state machine of "+((Class) (stateMachine.getOwner())).getName() + " does not have the initial state."); } }