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

@@ -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 + "\"");
 		}