M/VisualSapfor
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

no message

Browse Source
This commit is contained in:
02090095
2023-09-27 14:13:43 +03:00
parent 42338700f4
commit bd7778414a
7 changed files with 37 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/SapforTestingSystem/Json/Scenario_json.java
View File

@@ -1,14 +1,15 @@
package SapforTestingSystem.Json;
import Visual_DVM_2021.Passes.PassCode_2021;
import com.google.gson.annotations.Expose;
import javafx.util.Pair;
import java.util.List;
import java.util.Vector;
public class Scenario_json {
@Expose
public String flags;
@Expose
public List<PassCode_2021> codes = new Vector<>();
@Expose
public List<String> tests = new Vector<>();
@Expose
public List<Pair<String,String>> packages= new Vector<>(); //пары пакеты + флаги
}

11
src/SapforTestingSystem/SapforScenario/SapforScenario.java
View File

@@ -1,19 +1,18 @@
package SapforTestingSystem.SapforScenario;
import Common.Current;
import Common.Database.iDBObject;
import TestingSystem.TasksPackage.TasksPackageState;
import com.sun.org.glassfish.gmbal.Description;
public class SapforScenario extends iDBObject {
@Description("DEFAULT ''")
public String passesNames = ""; //имена преобразований через ;
public String passesNames = ""; //переведенные имена преобразований через ; для отображения
@Description("DEFAULT ''")
public String testsNames = "";//имена тестов через ;
public String testsNames = "";//имена тестов через ; для отображения
//---
public String sapfor_version = "?";
public String sapfor_version = "?"; //тестируемая версия SAPFOR
//---
public String workspace = "";
public String workspace = ""; //домашняя папка
//---
public int tasksCount = 0;
public int tasksCount = 0; //Общее число задач
//---
public double Time; //время выполнения.
public long StartDate = 0; //дата начала выполнения

29
src/SapforTestingSystem/SapforTasksPackage/SapforTasksPackage.java
View File

@@ -11,45 +11,30 @@ import com.sun.org.glassfish.gmbal.Description;
import java.util.Vector;
public class SapforTasksPackage extends iDBObject {
public int sapforscenario_id = Utils.Nan;
//----
public int FREE_FORM = 0; //"Свободный выходной стиль"; -f90
public int STATIC_SHADOW_ANALYSIS = 0;//"Оптимизация теневых обменов"; -sh
public int MAX_SHADOW_WIDTH = 50; // "Максимальный размер теневых граней"; (%) -shwidth значение поля
public int STATIC_PRIVATE_ANALYSIS = 0; //"Статический анализ приватностей" -priv
public int KEEP_SPF_DIRECTIVES = 0; //"Сохранять SPF директивы при построении параллельных вариантов"; -keepSPF
public int KEEP_DVM_DIRECTIVES = 0;// "Учитывать DVM директивы"; -keepDVM
@Description("DEFAULT ''")
public String sapforconfiguration_id = "";
//---
@Description("DEFAULT ''")
public String flags = "";
@Description("DEFAULT 0")
public int versions_tree_built = 0;
@Description("DEFAULT ''")
public String sapforconfiguration_id = "";
//--
@Description("IGNORE")
public Vector<Test> tests = null;
@Description("IGNORE")
public Vector<PassCode_2021> codes = null;
//--
@Override
public void SynchronizeFields(DBObject src) {
super.SynchronizeFields(src);
SapforTasksPackage tasksPackage = (SapforTasksPackage) src;
//---
flags = tasksPackage.flags;
//---
FREE_FORM = tasksPackage.FREE_FORM;
STATIC_SHADOW_ANALYSIS = tasksPackage.FREE_FORM;
MAX_SHADOW_WIDTH = tasksPackage.MAX_SHADOW_WIDTH;
STATIC_PRIVATE_ANALYSIS = tasksPackage.STATIC_PRIVATE_ANALYSIS;
KEEP_SPF_DIRECTIVES = tasksPackage.KEEP_SPF_DIRECTIVES;
KEEP_DVM_DIRECTIVES = tasksPackage.KEEP_DVM_DIRECTIVES;
}
public SapforTasksPackage(SapforTasksPackage src) {
this.SynchronizeFields(src);
}
public SapforTasksPackage() {
}
//----
@Description("IGNORE")
public Vector<Test> tests = null;
@Description("IGNORE")
public Vector<PassCode_2021> codes = null;
public SapforTasksPackage(SapforConfiguration configuration_in, Vector<Test> tests_in) {
}
@Override