Changeset 209 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java

Timestamp:

09/28/11 03:03:13 (13 years ago)

Author:

sherbold

Message:

• greatly improved type checking and consistency of type checking for objects checked out of the GlobalDataContainer?

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java (modified) (1 diff)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java

@@ -44 +44 @@
                 if (dataObject == null) {
                         Console.println("Model " + modelname + "not found in storage.");
-                } else if (!(dataObject instanceof IStochasticProcess)) {
+                        return;
+                }
+                if (!(dataObject instanceof IStochasticProcess)) {
                         Console.println("Object " + modelname
                                         + " is not a stochastic process!");
-                } else {
-                        model = (IStochasticProcess) dataObject;
-                        String[] stateStrings = model.getSymbolStrings();
-                        if (sort) {
-                                Arrays.sort(stateStrings);
-                        }
-                        for (String stateString : stateStrings) {
-                                Console.println(stateString);
-                        }
+                        return;
+                }
+                model = (IStochasticProcess) dataObject;
+                String[] stateStrings = model.getSymbolStrings();
+                if (sort) {
+                        Arrays.sort(stateStrings);
+                }
+                for (String stateString : stateStrings) {
+                        Console.println(stateString);
                 }
         }