Changeset 1580

Timestamp:

07/13/12 18:32:05 (12 years ago)

Author:

wschamai

Message:

NEW: first working version of an Automatic Scenario-Based Design Verification feature

File:

• trunk/modelicaml/org.openmodelica.modelicaml.common/src/org/openmodelica/modelicaml/common/constants/Constants.java (modified) (2 diffs)

trunk/modelicaml/org.openmodelica.modelicaml.common/src/org/openmodelica/modelicaml/common/constants/Constants.java

@@ -175 +175 @@
     public final static int MODE_VEM_GENERATION = 3;
     public final static int MODE_SCENARIOS_TO_REQUIREMENTS_RELATION_DISCOVERY = 4;
+    public final static int MODE_AUTOMATIC_SCENARIO_BASED_VERIFICATION = 5;
     
     // used by components tree plugin
@@ -260 +261 @@
     
     public final static String folderName_relationsDiscovery = "relationsDiscovery-gen";
-    
-    public final static String fileName_relationsDiscovery = "relationsDiscovery-gen";
+    public final static String fileName_relationsDiscovery = "relationsDiscovery";
+
+    public final static String folderName_automaticScenarioBasedDesignVerificationDiscovery = "aVerification-gen";
+    public final static String fileName_automaticScenarioBasedDesignVerification = "aVerification";
     
     // simulation