test that main does not output exceptions

Author: SE-FDr

monticore-test/01.experiments/automaton/src/main/java/automata/AutomataTool.java

@@ -29,21 +29,6 @@
  */
 public class AutomataTool extends AutomataToolTOP {
 
-  /**
-   * Main method of the Tool
-   *
-   * Arguments expected:
-   * * input automaton file.
-   * * the path to store the symbol table
-   *
-   * @param args
-   */
-  public static void main(String[] args) {
-    // delegate main to instantiatable method for better integration,
-    // reuse, etc.
-    new AutomataTool().run(args);
-  }
-
   /**
    * Run implements the main method of the Automata tool workflow:
    *
@@ -78,6 +63,10 @@ else if (cmd.hasOption("v")) {
         //do not continue when help is printed
         return;
       }
+      //throw: simulate an internal exception occurring for testing main
+      else if  (cmd.hasOption("throw")) {
+        throw new RuntimeException("This is a test exception thrown to test");
+      }
 
       Log.info("Automata DSL Tool", "AutomataTool");
 
@@ -171,4 +160,11 @@ public void prettyPrint(ASTAutomaton ast, String file) {
     Log.println(pp.getResult());
   }
 
+  @Override
+  public Options addAdditionalOptions(Options options) {
+     options.addOption("throw",
+         "used for simulating an interal exception"
+     );
+     return options;
+  }
 }

monticore-test/01.experiments/automaton/src/test/java/AutomataToolTest.java

@@ -76,10 +76,13 @@ public void executeHierarchyPingPong() {
 
   @Test
   public void testPrintVersion() {
-
-
     AutomataTool.main(new String[] {"-v"});
     MCAssertions.assertNoFindings();
   }
 
+  @Test
+  void testMainDoesNotThrow() {
+    AutomataTool.main(new String[] {"-throw"});
+    MCAssertions.assertHasFindingsStartingWith("0xEEEEE");
+  }
 }