From 7adab86f8e5ade965de2c9aec8b58deda19a4728 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 20 Nov 2018 18:16:16 +0100
Subject: [PATCH] Extended Galileo parser to throw exception for inspections

---
 src/storm-dft/parser/DFTGalileoParser.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm-dft/parser/DFTGalileoParser.cpp b/src/storm-dft/parser/DFTGalileoParser.cpp
index c85d31a6f..1622eb744 100644
--- a/src/storm-dft/parser/DFTGalileoParser.cpp
+++ b/src/storm-dft/parser/DFTGalileoParser.cpp
@@ -145,6 +145,9 @@ namespace storm {
                             success = builder.addDepElement(name, childNames, probability);
                         } else if (type.find("=") != std::string::npos) {
                             success = parseBasicElement(name, line, builder, valueParser);
+                        } else if (type.find("insp") != std::string::npos) {
+                            // Inspection as defined by DFTCalc
+                            STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Inspections (defined in line " << lineNo << ") are not supported.");
                         } else {
                             STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Type name: " << type << " in line " << lineNo << " not recognized.");
                             success = false;
@@ -294,7 +297,6 @@ namespace storm {
                     break;
                 case Exponential:
                     return builder.addBasicElement(parseName(name), firstValDistribution, dormancyFactor, false); // TODO set transient BEs
-                    break;
                 case Erlang:
                     if (storm::utility::isOne<ValueType>(secondValDistribution)) {
                         // Erlang distribution reduces to exponential distribution