Add causes to thrown exceptions where possible

src/main/java/de/tlc4b/TLC4B.java

@@ -358,7 +358,7 @@ public class TLC4B {
 		} catch (ParseException e) {
 			HelpFormatter formatter = new HelpFormatter();
 			formatter.printHelp("[file]", options);
-			throw new TLC4BIOException(e.getMessage());
+			throw new TLC4BIOException(e);
 		}
 	}
 
@@ -415,7 +415,7 @@ public class TLC4B {
 		try {
 			mainfile = mainfile.getCanonicalFile();
 		} catch (IOException e) {
-			throw new TLC4BIOException("The file '" + mainfile.getPath() + "' can not be accessed.");
+			throw new TLC4BIOException("The file '" + mainfile.getPath() + "' can not be accessed.", e);
 		}
 
 		machineFileNameWithoutFileExtension = mainfile.getName().substring(0,
@@ -493,7 +493,7 @@ public class TLC4B {
 				fw.close();
 				println("Log file: " + logFile.getAbsolutePath());
 			} catch (IOException e) {
-				throw new TLC4BIOException(e.getLocalizedMessage());
+				throw new TLC4BIOException(e);
 			}
 		}
 	}
@@ -546,7 +546,7 @@ public class TLC4B {
 			}
 			println("Standard module '" + file.getName() + "' created.");
 		} catch (IOException e) {
-			throw new TLC4BIOException(e.getMessage());
+			throw new TLC4BIOException(e);
 		} finally {
 			if (TLC4BGlobals.isDeleteOnExit() && file.exists()) {
 				file.deleteOnExit();
@@ -560,7 +560,7 @@ public class TLC4B {
 					fos.close();
 				}
 			} catch (IOException ex) {
-				throw new TLC4BIOException(ex.getMessage());
+				throw new TLC4BIOException(ex);
 			}
 		}
 	}
@@ -576,7 +576,7 @@ public class TLC4B {
 			out.close();
 			return file;
 		} catch (IOException e) {
-			throw new TLC4BIOException(e.getMessage());
+			throw new TLC4BIOException(e);
 		} finally {
 			if (deleteOnExit && exists) {
 				file.deleteOnExit();

src/main/java/de/tlc4b/Translator.java

@@ -69,7 +69,7 @@ public class Translator {
 		try {
 			start = parser.parseFile(machineFile);
 		} catch (NoClassDefFoundError e) {
-			throw new TLC4BIOException("Definitions file cannot be found.");
+			throw new TLC4BIOException("Definitions file cannot be found.", e);
 		}
 
 		// Definitions of definitions files are injected in the ast of the main

src/main/java/de/tlc4b/analysis/DefinitionsAnalyser.java

@@ -84,9 +84,7 @@ public class DefinitionsAnalyser extends DepthFirstAdapter {
 				int value = Integer.parseInt(sizeExpr.getLiteral().getText());
 				TLC4BGlobals.setDEFERRED_SET_SIZE(value);
 			} catch (ClassCastException e) {
-				throw new TranslationException(
-						"Unable to determine the default set size from definition SET_PREF_DEFAULT_SETSIZE: "
-								+ node.getEndPos());
+				throw new TranslationException("Unable to determine the default set size from definition SET_PREF_DEFAULT_SETSIZE: " + node.getEndPos(), e);
 			}
 		}
 
@@ -98,9 +96,7 @@ public class DefinitionsAnalyser extends DepthFirstAdapter {
 				int value = Integer.parseInt(sizeExpr.getLiteral().getText());
 				TLC4BGlobals.setMAX_INT(value);
 			} catch (ClassCastException e) {
-				throw new TranslationException(
-						"Unable to determine MAXINT from definition SET_PREF_MAXINT: "
-								+ node.getEndPos());
+				throw new TranslationException("Unable to determine MAXINT from definition SET_PREF_MAXINT: " + node.getEndPos(), e);
 			}
 		}
 
@@ -121,8 +117,7 @@ public class DefinitionsAnalyser extends DepthFirstAdapter {
 				}
 				TLC4BGlobals.setMIN_INT(value);
 			} catch (ClassCastException e) {
-				throw new TranslationException(
-						"Unable to determine the MININT from definition SET_PREF_MININT: " + node.getEndPos());
+				throw new TranslationException("Unable to determine the MININT from definition SET_PREF_MININT: " + node.getEndPos(), e);
 			}
 		}
 	}

src/main/java/de/tlc4b/analysis/MachineContext.java

@@ -331,7 +331,7 @@ public class MachineContext extends DepthFirstAdapter {
 			try {
 				identifierAlreadyExists(name);
 			} catch (ScopeException e2) {
-				throw new ScopeException("Machine '" + name + "' is seen twice.");
+				throw new ScopeException("Machine '" + name + "' is seen twice.", e2);
 			}
 			seenMachines.put(name, p);
 		}

src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java

@@ -78,7 +78,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter {
 			this.ltlFormulaStart = parseLTLFormula(ltlFormula);
 		} catch (Exception e) {
 			String message = "Parsing definition " + name + " (line " + def.getStartPos().getLine() + "):\n";
-			throw new LTLParseException(message + e.getMessage());
+			throw new LTLParseException(message + e.getMessage(), e);
 		}
 	}
 
@@ -86,7 +86,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter {
 		try {
 			this.ltlFormulaStart = parseLTLFormula(ltlString);
 		} catch (Exception e) {
-			throw new LTLParseException(e.getMessage());
+			throw new LTLParseException(e);
 		}
 	}
 
@@ -155,7 +155,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter {
 		try {
 			start = parser.parsePredicate(text);
 		} catch (BCompoundException e) {
-			throw new LTLParseException(e.getMessage());
+			throw new LTLParseException(e);
 		}
 
 		return start;