From 5ae882f609d68f6a137b3a3874c40512186f703b Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 25 Aug 2016 16:08:09 +0000 Subject: [PATCH] prism.ExplicitFiles2MTBDD: better I/O error messages git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11741 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ExplicitFiles2MTBDD.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java index afeae609..fb5a7ed6 100644 --- a/prism/src/prism/ExplicitFiles2MTBDD.java +++ b/prism/src/prism/ExplicitFiles2MTBDD.java @@ -356,7 +356,7 @@ public class ExplicitFiles2MTBDD lineNum++; } } catch (IOException e) { - throw new PrismException("File I/O error reading from \"" + transFile + "\""); + throw new PrismException("File I/O error reading from \"" + transFile + "\": " + e.getMessage()); } catch (NumberFormatException e) { throw new PrismException("Error detected at line " + lineNum + " of transition matrix file \"" + transFile + "\""); } catch (PrismException e) { @@ -655,7 +655,7 @@ public class ExplicitFiles2MTBDD lineNum++; } } catch (IOException e) { - throw new PrismException("File I/O error reading from \"" + transFile + "\""); + throw new PrismException("File I/O error reading from \"" + transFile + "\": " + e.getMessage()); } catch (NumberFormatException e) { throw new PrismException("Error detected at line " + lineNum + " of transition matrix file \"" + transFile + "\""); } catch (PrismException e) { @@ -793,7 +793,7 @@ public class ExplicitFiles2MTBDD lineNum++; } } catch (IOException e) { - throw new PrismException("File I/O error reading from \"" + statesFile + "\""); + throw new PrismException("File I/O error reading from \"" + statesFile + "\": " + e.getMessage()); } catch (NumberFormatException e) { throw new PrismException("Error detected at line " + lineNum + " of states file \"" + statesFile + "\""); }