From 7d40091878a605355c25708f9d5ce5f32446ca70 Mon Sep 17 00:00:00 2001
From: 02090095 <vmk-post@yandex.ru>
Date: Fri, 29 Sep 2023 22:17:44 +0300
Subject: [PATCH] =?UTF-8?q?=D1=80=D0=B5=D1=84=D0=B0=D0=BA=D1=82=D0=BE?=
 =?UTF-8?q?=D1=80=D0=B8=D0=BD=D0=B3.=20=D0=B2=D0=B2=D0=B5=D0=BB=20=D0=BE?=
 =?UTF-8?q?=D0=B1=D0=B5=D1=80=D1=82=D0=BE=D1=87=D0=BD=D1=8B=D0=B5=20=D0=BC?=
 =?UTF-8?q?=D0=B5=D1=82=D0=BE=D0=B4=D1=8B=20=D1=80=D0=B0=D0=B1=D0=BE=D1=82?=
 =?UTF-8?q?=D1=8B=20=D1=81=20json=20=D0=BE=D0=B1=D1=8A=D0=B5=D0=BA=D1=82?=
 =?UTF-8?q?=D0=B0=D0=BC=D0=B8?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .idea/workspace.xml                           | 14 ++--
 properties                                    |  4 +-
 src/Common/Constants/Constants.java           |  1 +
 src/Common/Current.java                       |  2 +-
 src/Common/Global.java                        | 44 ++++++-------
 src/Common/PackageModeSupervisor.java         |  3 -
 src/Common/Properties.java                    |  3 +-
 .../Menus_2023/MainMenuBar/MainMenuBar.java   |  2 +
 src/Common/Utils/Utils.java                   | 65 ++++---------------
 .../SapforTestingPlanner.java                 |  4 +-
 .../All/AnalyseSapforPackageResults.java      |  9 +--
 .../Passes/All/SPF_CreateParallelVariant.java |  2 +-
 .../Passes/All/StartSapforTests.java          |  8 +--
 13 files changed, 58 insertions(+), 103 deletions(-)
 delete mode 100644 src/Common/PackageModeSupervisor.java

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 94a77bf8..a382cc42 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -7,13 +7,15 @@
   </component>
   <component name="ChangeListManager">
     <list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment="">
-      <change afterPath="$PROJECT_DIR$/src/SapforTestingSystem/Json/SapforPackage_json.java" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/Common/ModesSupervisors/PackageModeSupervisor.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/ModesSupervisors/PackageModeSupervisor.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/SapforTestingSystem/Json/Scenario_json.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/SapforTestingSystem/Json/SapforScenario_json.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/SapforTestingSystem/SapforConfiguration/SapforConfigurationInterface.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/SapforTestingSystem/SapforConfiguration/SapforConfigurationInterface.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/PerformSapforTasksPackage.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/PerformSapforTasksPackage.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/PerformScenario.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/PerformScenario.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/Constants/Constants.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Constants/Constants.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/Current.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Current.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/Global.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Global.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/PackageModeSupervisor.java" beforeDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Common/Utils/Utils.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Utils/Utils.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/StartSapforTests.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/StartSapforTests.java" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
diff --git a/properties b/properties
index a57552a0..015e8034 100644
--- a/properties
+++ b/properties
@@ -17,8 +17,8 @@
   "ProjectDBName": "new_project_base.sqlite",
   "BugReportsDBName": "bug_reports.sqlite",
   "TestsDBName": "tests.sqlite",
-  "ComponentsWindowWidth": 866,
-  "ComponentsWindowHeight": 300,
+  "ComponentsWindowWidth": 843,
+  "ComponentsWindowHeight": 250,
   "VisualiserPath": "C:\\Users\\misha\\Downloads",
   "Sapfor_FPath": "E:\\",
   "Visualizer_2Path": "C:\\Users\\misha\\Documents",
diff --git a/src/Common/Constants/Constants.java b/src/Common/Constants/Constants.java
index 49e16ff9..b5652e3b 100644
--- a/src/Common/Constants/Constants.java
+++ b/src/Common/Constants/Constants.java
@@ -2,6 +2,7 @@ package Common.Constants;
 import java.util.regex.Pattern;
 public class Constants {
     public static final int Nan = -1;
+    public static char toStrike = (char) 822;
     public static final Pattern VALID_EMAIL_ADDRESS_REGEX =
             Pattern.compile("^[A-Z0-9._%+-]+@[A-Z0-9.-]+\\.[A-Z]{2,6}$", Pattern.CASE_INSENSITIVE);
     public static char[] forbidden_file_name_characters = new char[]{
diff --git a/src/Common/Current.java b/src/Common/Current.java
index 20ba6c26..b8f71bbd 100644
--- a/src/Common/Current.java
+++ b/src/Common/Current.java
@@ -497,6 +497,6 @@ public enum Current {
         Normal,
         Server,
         Testing,
-        Package
+        Scenario
     }
 }
diff --git a/src/Common/Global.java b/src/Common/Global.java
index 37d7cb7d..25231d31 100644
--- a/src/Common/Global.java
+++ b/src/Common/Global.java
@@ -1,6 +1,5 @@
 package Common;
 import Common.Database.DataSet;
-import Common.ModesSupervisors.PackageModeSupervisor;
 import Common.UI.Menus_2023.ComponentsMenuBar.ComponentsMenuBar;
 import Common.UI.UI;
 import Common.Utils.Utils;
@@ -14,16 +13,15 @@ import Repository.Component.Sapfor.MessagesServer;
 import Repository.Component.Sapfor.Sapfor_F;
 import Repository.Component.Sapfor.TransformationPermission;
 import Repository.Server.ComponentsServer;
+import SapforTestingSystem.SapforTestingPlaner.SapforTestingPlanner;
 import TestingSystem.TestingServer;
 import Visual_DVM_2021.Passes.PassCode_2021;
 import Visual_DVM_2021.Passes.Pass_2021;
 import Visual_DVM_2021.UI.Interface.Loggable;
-import org.apache.commons.io.FileUtils;
 import org.fife.ui.rsyntaxtextarea.AbstractTokenMakerFactory;
 import org.fife.ui.rsyntaxtextarea.TokenMakerFactory;
 
 import java.io.File;
-import java.nio.charset.Charset;
 import java.nio.file.Paths;
 import java.util.Vector;
 public class Global {
@@ -106,15 +104,11 @@ public class Global {
     //------------------------------------------------------------------------
     public static Loggable Log;
     public static void SynschronizeProperties() {
-        //---- NEW -----
         try {
             File new_propertiesFile = Paths.get(Home, "properties").toFile();
-            if (new_propertiesFile.exists()) {
-                String packed = FileUtils.readFileToString(new_propertiesFile, Charset.defaultCharset());
-                properties = Utils.gson.fromJson(packed, GlobalProperties.class);
-            }
-            //пусть всегда в него пишет. с учетом того, что новые настройки могут появиться.
-            FileUtils.writeStringToFile(new_propertiesFile, Utils.jsonToPrettyFormat(Utils.gson.toJson(properties)));
+            if (new_propertiesFile.exists())
+                properties = (GlobalProperties) Utils.jsonFromFile(new_propertiesFile, GlobalProperties.class);
+            Utils.jsonToFile(properties, new_propertiesFile);
         } catch (Exception ex) {
             ex.printStackTrace();
         }
@@ -350,6 +344,21 @@ public class Global {
         testingServer.Start();
         System.exit(0);
     }
+    public static void ScenarioMode() throws Exception {
+        Log = new Loggable() {
+            @Override
+            public String getLogHomePath() {
+                return Home;
+            }
+            @Override
+            public String getLogName() {
+                return "Scenario";
+            }
+        };
+        Log.ClearLog();
+        SapforTestingPlanner planner = new SapforTestingPlanner();
+        //planner.Start();
+    }
     //---
     public static void Init(String... args) {
         System.out.println("VisualSapfor.jar started..");
@@ -370,19 +379,8 @@ public class Global {
                 case Testing:
                     TestingSystemMode();
                     break;
-                case Package:
-                    Log = new Loggable() {
-                        @Override
-                        public String getLogHomePath() {
-                            return Home;
-                        }
-                        @Override
-                        public String getLogName() {
-                            return "PackageMode";
-                        }
-                    };
-                    Log.ClearLog();
-                    new PackageModeSupervisor().Do();
+                case Scenario:
+                    ScenarioMode();
                     break;
                 case Undefined:
                     break;
diff --git a/src/Common/PackageModeSupervisor.java b/src/Common/PackageModeSupervisor.java
deleted file mode 100644
index 456e06ca..00000000
--- a/src/Common/PackageModeSupervisor.java
+++ /dev/null
@@ -1,3 +0,0 @@
-package Common;
-public class PackageModeSupervisor {
-}
diff --git a/src/Common/Properties.java b/src/Common/Properties.java
index 2492fbde..52574a04 100644
--- a/src/Common/Properties.java
+++ b/src/Common/Properties.java
@@ -1,7 +1,6 @@
 package Common;
 import Common.UI.Menus_2023.StableMenuItem;
 import Common.Utils.Utils;
-import org.apache.commons.io.FileUtils;
 
 import javax.swing.*;
 import java.io.File;
@@ -39,7 +38,7 @@ public abstract class Properties {
     }
     public void Update() {
         try {
-            FileUtils.write(getFile(), Utils.jsonToPrettyFormat(Utils.gson.toJson(this)));
+            Utils.jsonToFile(this, getFile());
         } catch (Exception e) {
             e.printStackTrace();
         }
diff --git a/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java b/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java
index ecd42fa1..d1714a34 100644
--- a/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java
+++ b/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java
@@ -38,6 +38,7 @@ public class MainMenuBar extends VisualiserMenuBar {
                 });
             }
         });
+        /*
         add(new MenuBarButton() {
             {
                 setIcon("/icons/Comparsion.png");
@@ -47,6 +48,7 @@ public class MainMenuBar extends VisualiserMenuBar {
                 });
             }
         });
+         */
         addPasses(PassCode_2021.ShowInstruction);
         //-
         setPreferredSize(new Dimension(0, 30));
diff --git a/src/Common/Utils/Utils.java b/src/Common/Utils/Utils.java
index c2a4cc45..ca75a3c2 100644
--- a/src/Common/Utils/Utils.java
+++ b/src/Common/Utils/Utils.java
@@ -34,7 +34,15 @@ import java.util.regex.Pattern;
 import java.util.stream.Collectors;
 import java.util.stream.IntStream;
 public class Utils {
-    public static Gson gson = new GsonBuilder().excludeFieldsWithoutExposeAnnotation().create();
+    public static final Gson gson = new GsonBuilder().excludeFieldsWithoutExposeAnnotation().create();
+    public static Object jsonFromFile(File file, Class json_class) throws Exception {
+        String packed = FileUtils.readFileToString(file, Charset.defaultCharset());
+        return Utils.gson.fromJson(packed, json_class);
+    }
+    public static void jsonToFile(Object json_object, File file) throws Exception {
+        FileUtils.writeStringToFile(file, Utils.jsonToPrettyFormat(Utils.gson.toJson(json_object)));
+    }
+    //--->>
     public static String hideRegularMetasymbols(String word) {
         String res = word.replace("\\", "\\\\");
         for (char c : Constants.regular_metasymbols)
@@ -896,72 +904,23 @@ public class Utils {
         }
         return res;
     }
-    public static char toStrike = (char) 822;
     public static String strikeThrough(String s) {
         StringBuilder res = new StringBuilder();
         for (char c : s.toCharArray()) {
             res.append(c);
-            if (c != toStrike)
-                res.append(toStrike);
+            if (c != Constants.toStrike)
+                res.append(Constants.toStrike);
         }
         return res.toString();
     }
     public static String noStrikeThrough(String s) {
         StringBuilder res = new StringBuilder();
         for (char c : s.toCharArray()) {
-            if (c != (toStrike))
+            if (c != (Constants.toStrike))
                 res.append(c);
         }
         return res.toString();
     }
-    public static String splitToolTip(String tip, int length) {
-        int DIALOG_TOOLTIP_MAX_SIZE = 75;
-        int SPACE_BUFFER = 10;
-        if (tip.length() <= length + SPACE_BUFFER) {
-            return tip;
-        }
-        Vector<String> parts = new Vector<>();
-        int maxLength = 0;
-        String overLong = tip.substring(0, length + SPACE_BUFFER);
-        int lastSpace = overLong.lastIndexOf(' ');
-        if (lastSpace >= length) {
-            parts.add(tip.substring(0, lastSpace));
-            maxLength = lastSpace;
-        } else {
-            parts.add(tip.substring(0, length));
-            maxLength = length;
-        }
-        while (maxLength < tip.length()) {
-            if (maxLength + length < tip.length()) {
-                parts.add(tip.substring(maxLength, maxLength + length));
-                maxLength += maxLength + length;
-            } else {
-                parts.add(tip.substring(maxLength));
-                break;
-            }
-        }
-        StringBuilder sb = new StringBuilder("<html>");
-        for (int i = 0; i < parts.size() - 1; i++) {
-            sb.append(parts.get(i) + "<br>");
-        }
-        sb.append(parts.get(parts.size() - 1));
-        sb.append(("</html>"));
-        return sb.toString();
-    }
-    /*
-    public static String appendString(String s, int sizeTo, char symbol) {
-        int delta = sizeTo - s.length();
-        StringBuilder res = new StringBuilder(s);
-        if (delta <= 0) {
-            for (int i = 0; i < sizeTo; ++i)
-                res.append(symbol);
-        }
-        for (int i = 0; i < delta; ++i) {
-            res.append(symbol);
-        }
-        return res.toString();
-    }
-     */
     public static void addEmptyLines(Vector<String> lines, int num) {
         IntStream.range(0, num).mapToObj(i -> "").forEach(lines::add);
     }
diff --git a/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java b/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java
index 3dcf0a9f..91525fdf 100644
--- a/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java
+++ b/src/SapforTestingSystem/SapforTestingPlaner/SapforTestingPlanner.java
@@ -1,11 +1,10 @@
 package SapforTestingSystem.SapforTestingPlaner;
-import Common.Global;
-import Common.Utils.Utils;
 import SapforTestingSystem.ThreadsPlanner.ThreadsPlanner;
 public class SapforTestingPlanner extends ThreadsPlanner {
     public SapforTestingPlanner() {
         super(2000, 4);
         //--
+        /*
         for (int i = 1; i <= 20; ++i) {
             int thread_number = i;
             addThread(() -> {
@@ -15,5 +14,6 @@ public class SapforTestingPlanner extends ThreadsPlanner {
                 }
             });
         }
+         */
     }
 }
diff --git a/src/Visual_DVM_2021/Passes/All/AnalyseSapforPackageResults.java b/src/Visual_DVM_2021/Passes/All/AnalyseSapforPackageResults.java
index fea28e5a..c7be6b23 100644
--- a/src/Visual_DVM_2021/Passes/All/AnalyseSapforPackageResults.java
+++ b/src/Visual_DVM_2021/Passes/All/AnalyseSapforPackageResults.java
@@ -1,13 +1,10 @@
 package Visual_DVM_2021.Passes.All;
 import Common.Global;
-import Common.Utils.Utils;
-import SapforTestingSystem.SapforTask.SapforTask;
 import SapforTestingSystem.Json.ScenarioResults_json;
+import SapforTestingSystem.SapforTask.SapforTask;
 import Visual_DVM_2021.Passes.Pass_2021;
-import org.apache.commons.io.FileUtils;
 
 import java.io.File;
-import java.nio.charset.Charset;
 public class AnalyseSapforPackageResults extends Pass_2021<ScenarioResults_json> {
     File packageWorkspace;
     File scenarioFile;
@@ -23,8 +20,8 @@ public class AnalyseSapforPackageResults extends Pass_2021<ScenarioResults_json>
         packageWorkspace = new File((String) args[0]);
         scenarioFile = new File(packageWorkspace, "results.txt");
         //--
-        String packed = FileUtils.readFileToString(scenarioFile, Charset.defaultCharset());
-        target = Utils.gson.fromJson(packed, ScenarioResults_json.class);
+      //  String packed = FileUtils.readFileToString(scenarioFile, Charset.defaultCharset());
+       // target = Utils.gson.fromJson(packed, ScenarioResults_json.class);
         //---
         return true;
     }
diff --git a/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java b/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java
index 9db94c1e..228d642d 100644
--- a/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java
+++ b/src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java
@@ -71,7 +71,7 @@ public class SPF_CreateParallelVariant extends SapforTransformation {
     @Override
     protected void performFinish() throws Exception {
         //в пакетном режиме вариант всегда один. поэтому, сообщения надо распаковать сразу.
-        if (Current.mode.equals(Current.Mode.Package))
+        if (Current.mode.equals(Current.Mode.Scenario))
             super.performFinish();
     }
     @Override
diff --git a/src/Visual_DVM_2021/Passes/All/StartSapforTests.java b/src/Visual_DVM_2021/Passes/All/StartSapforTests.java
index 4339a104..eafd6657 100644
--- a/src/Visual_DVM_2021/Passes/All/StartSapforTests.java
+++ b/src/Visual_DVM_2021/Passes/All/StartSapforTests.java
@@ -224,9 +224,9 @@ public class StartSapforTests extends Pass_2021<SapforScenario> {
         FileUtils.copyFile(Global.visualiser.getFile(), visualiser);
         ShowMessage2("Создание настроек");
         GlobalProperties properties = new GlobalProperties();
-        properties.Mode = Current.Mode.Package;
-        File propertiesFile = new File(target.workspace, "properties");
-        FileUtils.write(propertiesFile, Utils.jsonToPrettyFormat(Utils.gson.toJson(properties)));
+        properties.Mode = Current.Mode.Scenario;
+        //----
+        Utils.jsonToFile(properties, new File(target.workspace, "properties"));
         //----
         File scenarioFile = new File(target.workspace, "scenario.txt");
         SapforScenario_json scenario_json = new SapforScenario_json();
@@ -275,7 +275,7 @@ public class StartSapforTests extends Pass_2021<SapforScenario> {
             scenario_json.packages.add(package_json);
         }
         //--
-        FileUtils.write(scenarioFile, Utils.jsonToPrettyFormat(Utils.gson.toJson(scenario_json)));
+        Utils.jsonToFile(scenario_json, scenarioFile);
     }
     @Override
     protected void showFinish() throws Exception {