Issue #27: change non-zero return codes to exceptions (#50)

* Issue #27: change return code in Dotify to exception (also in Main)

* Line 45, I replaced return 1 by throw e in Main.scala

* in file MBT.scala, several System.exit(1) replaced by throw(error)

* in file MBT.scala, System.exit changed by throw

	new file:   src/main/java/modbat/mbt/NoTransitionException.java
	modified:   src/main/scala/modbat/mbt/MBT.scala
	modified:   src/main/scala/modbat/mbt/Dotify.scala
	modified:   src/main/scala/modbat/mbt/Main.scala

.gitignore

@@ -6,6 +6,7 @@ build
 git-hash
 *.tar.gz
 .*.swp
+.DS_Store
 
 # Gradle
 .gradle/

src/main/java/modbat/mbt/NoTransitionException.java

@@ -0,0 +1,7 @@
+package modbat.mbt;
+
+class NoTransitionsException extends Exception {
+    NoTransitionsException(String message) {
+        super(message);
+    }
+}

src/main/scala/modbat/mbt/MBT.scala

@@ -213,7 +213,7 @@ object MBT {
     } catch {
       case e: ClassNotFoundException => {
 	Log.error("Class \"" + className + "\" not found.")
-	System.exit(1)
+	  throw e
       }
     }
   }
@@ -301,12 +301,13 @@ object MBT {
   // if modelInstance == null: initial model
   def launch(modelInstance: Model): MBT = {
     val model = mkModel(modelInstance)
+
     if (Transition.pendingTransitions.isEmpty) {
       Log.error("Model " + model.getClass.getName + " has no transitions.")
       Log.error("Make sure at least one transition exists of type")
       Log.error("  \"a\" -> \"b\" := { code } // or, for an empty transition:")
       Log.error("  \"a\" -> \"b\" := skip")
-      System.exit(1)
+      throw new NoTransitionsException(model.getClass.getName)
     }
     val inst = new MBT(model, Transition.getTransitions)
     Transition.clear