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-11-26 16:11:17 +03:00
parent 253de8526a
commit 269615abcb
15 changed files with 43 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
.idea/workspace.xml generated
View File

@@ -8,16 +8,20 @@
<component name="ChangeListManager"> <component name="ChangeListManager">
<list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment=""> <list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment="">
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" 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/Utils/Utils.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Utils/Utils.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/properties" beforeDir="false" afterPath="$PROJECT_DIR$/properties" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/ProjectData/Files/DBProjectFile.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/Files/DBProjectFile.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Common/Constants.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Constants.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/ProjectData/Files/ProjectFile.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/Files/ProjectFile.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/ProjectData/Project/db_project_info.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/Project/db_project_info.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/ProjectData/Project/db_project_info.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/Project/db_project_info.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Repository/Component/Sapfor/Sapfor.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Repository/Component/Sapfor/Sapfor.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/ProjectData/SapforData/Functions/FuncCall.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/SapforData/Functions/FuncCall.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/TestingSystem/Common/Group/Group.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/TestingSystem/Common/Group/Group.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/ProjectData/SapforData/Functions/FuncCallH.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/ProjectData/SapforData/Functions/FuncCallH.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/TestingSystem/Common/Test/Test.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/TestingSystem/Common/Test/Test.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Repository/Component/Visualiser.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Repository/Component/Visualiser.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/TestingSystem/Common/TestingServer.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/TestingSystem/Common/TestingServer.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/DVMConvertProject.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/DVMConvertProject.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/ConvertCorrectnessTests.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/ConvertCorrectnessTests.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/CreateTestFromDirectory.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/CreateTestFromDirectory.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_GetGraphFunctions.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_GetGraphFunctions.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_InlineProcedure.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_InlineProcedure.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_InlineProcedures.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/SPF_InlineProcedures.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/SapforPass.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/SapforPass.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/SapforTransformation.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/SapforTransformation.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/Transformation.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/Transformation.java" afterDir="false" />
</list> </list>
<option name="SHOW_DIALOG" value="false" /> <option name="SHOW_DIALOG" value="false" />
<option name="HIGHLIGHT_CONFLICTS" value="true" /> <option name="HIGHLIGHT_CONFLICTS" value="true" />

2
properties
View File

@@ -12,7 +12,7 @@
"AutoUpdateSearch": true, "AutoUpdateSearch": true,
"ConfirmPassesStart": true, "ConfirmPassesStart": true,
"ShowPassesDone": true, "ShowPassesDone": true,
"FocusPassesResult": true, "FocusPassesResult": false,
"GlobalDBName": "db7.sqlite", "GlobalDBName": "db7.sqlite",
"ProjectDBName": "new_project_base.sqlite", "ProjectDBName": "new_project_base.sqlite",
"BugReportsDBName": "bug_reports.sqlite", "BugReportsDBName": "bug_reports.sqlite",

4
src/Common/Constants.java
View File

@@ -58,8 +58,8 @@ public class Constants {
public static final String attachments = "attachments"; public static final String attachments = "attachments";
public static final String statistic = "statistic"; public static final String statistic = "statistic";
public static final String unknown_metric = " — "; public static final String unknown_metric = " — ";
public static final String old_tests_db_name = "tests2025"; public static final String old_tests_db_name = "tests2026";
public static final String tests_db_name = "tests2026"; public static final String tests_db_name = "tests2027";
public static final String dateNaN = "NaN"; public static final String dateNaN = "NaN";
//пробный коммит. изменение комментария.++ //пробный коммит. изменение комментария.++
//кронтаб и перезагрузка //кронтаб и перезагрузка

21
src/ProjectData/Project/db_project_info.java
View File

@@ -1014,7 +1014,7 @@ public class db_project_info extends DBObject {
} }
return null; return null;
} }
public void migrateFilesSettings(db_project_info target, boolean migrate_arrays, boolean migrate_headers, boolean sapforStyle) throws Exception { public void migrateFilesSettings(db_project_info target, boolean migrate_arrays, boolean sapforStyle) throws Exception {
Pair<LinkedHashMap<String, DBProjectFile>, LinkedHashMap<String, DBProjectFile>> sortedFiles = sortFiles(); Pair<LinkedHashMap<String, DBProjectFile>, LinkedHashMap<String, DBProjectFile>> sortedFiles = sortFiles();
//-- //--
LinkedHashMap<String, DBProjectFile> programs = sortedFiles.getKey(); LinkedHashMap<String, DBProjectFile> programs = sortedFiles.getKey();
@@ -1040,16 +1040,13 @@ public class db_project_info extends DBObject {
version_file.importSettings(file, sapforStyle); version_file.importSettings(file, sapforStyle);
target.db.Update(version_file); target.db.Update(version_file);
} else { } else {
if (//!file.state.equals(FileState.Excluded)&& File toCopy = Paths.get(target.Home.getAbsolutePath(), file.name).toFile();
(!file.fileType.equals(FileType.header) || migrate_headers)) { if (!toCopy.exists())
File toCopy = Paths.get(target.Home.getAbsolutePath(), file.name).toFile(); Files.copy(file.file.toPath(), toCopy.toPath());
if (!toCopy.exists()) //--
Files.copy(file.file.toPath(), toCopy.toPath()); DBProjectFile new_version_file = new DBProjectFile(toCopy, target);
//-- new_version_file.importSettings(file, sapforStyle);
DBProjectFile new_version_file = new DBProjectFile(toCopy, target); target.db.Insert(new_version_file);
new_version_file.importSettings(file, sapforStyle);
target.db.Insert(new_version_file);
}
} }
} }
//--- //---
@@ -1098,7 +1095,7 @@ public class db_project_info extends DBObject {
//теперь копируем инфу по файлам. //теперь копируем инфу по файлам.
if (cloneData) { if (cloneData) {
db_project_info res = new db_project_info(dst); db_project_info res = new db_project_info(dst);
migrateFilesSettings(res, false, true, false); migrateFilesSettings(res, true, false);
} }
} }
public void Clone(File dst) throws Exception { public void Clone(File dst) throws Exception {

5
src/ProjectData/SapforData/Functions/FuncCall.java
View File

@@ -8,7 +8,7 @@ import Visual_DVM_2021.Passes.Pass_2021;
public class FuncCall extends FileObjectWithMessages { public class FuncCall extends FileObjectWithMessages {
public String funcName = ""; //не нужны дополнительные поля.имя функции это уже ключ. public String funcName = ""; //не нужны дополнительные поля.имя функции это уже ключ.
public boolean canBeInlined = false; public boolean canBeInlined = false;
public FuncInfo parent = null; public int parent_offset = 0;
public FuncCall(DBProjectFile father_in, String funcName_in, int line_in) { public FuncCall(DBProjectFile father_in, String funcName_in, int line_in) {
super(father_in, line_in); super(father_in, line_in);
funcName = funcName_in; funcName = funcName_in;
@@ -35,7 +35,4 @@ public class FuncCall extends FileObjectWithMessages {
UI.Info("Для подстановки функций требуется выполнить проход " + Utils.DQuotes(PassCode_2021.SPF_GetGraphFunctions.getDescription())); UI.Info("Для подстановки функций требуется выполнить проход " + Utils.DQuotes(PassCode_2021.SPF_GetGraphFunctions.getDescription()));
} }
} }
public int getInlineOffset(){
return parent.line-line;
}
} }

2
src/ProjectData/SapforData/Functions/FuncCallH.java
View File

@@ -15,6 +15,7 @@ public class FuncCallH extends FuncCall {
line = funcCall_in.line; line = funcCall_in.line;
funcName = funcCall_in.funcName; funcName = funcCall_in.funcName;
canBeInlined = funcCall_in.canBeInlined; canBeInlined = funcCall_in.canBeInlined;
parent_offset = funcCall_in.parent_offset;
} }
//особый случай. только для мейна //особый случай. только для мейна
//его объявление - его же и вызов. //его объявление - его же и вызов.
@@ -24,6 +25,7 @@ public class FuncCallH extends FuncCall {
line = funcInfo.line; line = funcInfo.line;
funcName = funcInfo.funcName; funcName = funcInfo.funcName;
canBeInlined = true; canBeInlined = true;
parent_offset = 0;
} }
@Override @Override
public String getSelectionText() { public String getSelectionText() {

2
src/Repository/Component/Visualiser.java
View File

@@ -62,7 +62,7 @@ public class Visualiser extends Component {
//http://www.seostella.com/ru/article/2012/02/05/formatirovanie-daty-v-java.html //http://www.seostella.com/ru/article/2012/02/05/formatirovanie-daty-v-java.html
@Override @Override
public void GetVersionInfo() { public void GetVersionInfo() {
version = 1034; version = 1036;
String pattern = "MMM dd yyyy HH:mm:ss"; String pattern = "MMM dd yyyy HH:mm:ss";
DateFormat df = new SimpleDateFormat(pattern, Locale.ENGLISH); DateFormat df = new SimpleDateFormat(pattern, Locale.ENGLISH);
date_text = df.format(getClassBuildTime()); date_text = df.format(getClassBuildTime());

2
src/Visual_DVM_2021/Passes/All/DVMConvertProject.java
View File

@@ -143,7 +143,7 @@ public class DVMConvertProject extends ComponentsRepositoryPass<db_project_info>
@Override @Override
protected void performDone() throws Exception { protected void performDone() throws Exception {
target.joinExistingVersion(version, getDescription()); target.joinExistingVersion(version, getDescription());
target.migrateFilesSettings(target.last_version, false, false, false); target.migrateFilesSettings(target.last_version, false, false);
} }
@Override @Override
public JMenuItem createMenuItem() { public JMenuItem createMenuItem() {

2
src/Visual_DVM_2021/Passes/All/SPF_CreateParallelVariant.java
View File

@@ -64,7 +64,7 @@ public class SPF_CreateParallelVariant extends SapforTransformation {
@Override @Override
protected void performDone() throws Exception { protected void performDone() throws Exception {
Global.transformationPermission = TransformationPermission.VariantsOnly; Global.transformationPermission = TransformationPermission.VariantsOnly;
target.migrateFilesSettings(target.last_version, true, false, true); target.migrateFilesSettings(target.last_version, true, true);
if (Current.hasUI()) if (Current.hasUI())
variant.UpdateStats(sapfor.getPredictorStats(), target.last_version.name); variant.UpdateStats(sapfor.getPredictorStats(), target.last_version.name);
} }

2
src/Visual_DVM_2021/Passes/All/SPF_GetGraphFunctions.java
View File

@@ -85,7 +85,7 @@ public class SPF_GetGraphFunctions extends SapforAnalysis {
int c_line = Integer.parseInt(splited[idx.Inc()]); int c_line = Integer.parseInt(splited[idx.Inc()]);
//- //-
FuncCall fc = new FuncCall(file, call_name, c_line); FuncCall fc = new FuncCall(file, call_name, c_line);
fc.parent = nf; fc.parent_offset = nf.line - fc.line;
nf.calls.add(fc); nf.calls.add(fc);
} }
} }

2
src/Visual_DVM_2021/Passes/All/SPF_InlineProcedure.java
View File

@@ -16,7 +16,7 @@ public class SPF_InlineProcedure extends SapforFilesModification {
protected boolean canStart(Object... args) throws Exception { protected boolean canStart(Object... args) throws Exception {
if (super.canStart(args) && (call = (args.length > 0) ? (FuncCall) args[0] : null) != null) { if (super.canStart(args) && (call = (args.length > 0) ? (FuncCall) args[0] : null) != null) {
addOpt1 = call.funcName + "|" + Current.getFile().name; addOpt1 = call.funcName + "|" + Current.getFile().name;
addOpt2 = String.valueOf(call.getInlineOffset()); addOpt2 = String.valueOf(call.parent_offset);
Global.changeSetting(SettingName.PARSE_FOR_INLINE, "1"); Global.changeSetting(SettingName.PARSE_FOR_INLINE, "1");
// Pass_2021.passes.get(PassCode_2021.UpdateSetting).Do(SettingName.PARSE_FOR_INLINE, "1"); // Pass_2021.passes.get(PassCode_2021.UpdateSetting).Do(SettingName.PARSE_FOR_INLINE, "1");
SPF_ParseFilesWithOrder.silent = true; SPF_ParseFilesWithOrder.silent = true;

2
src/Visual_DVM_2021/Passes/All/SPF_InlineProcedures.java
View File

@@ -31,7 +31,7 @@ public class SPF_InlineProcedures extends SapforTransformation {
Result.add(String.valueOf(selected_children.size())); Result.add(String.valueOf(selected_children.size()));
for (FuncCall fc : selected_children) { for (FuncCall fc : selected_children) {
Result.add(fc.file); Result.add(fc.file);
Result.add(String.valueOf(fc.getInlineOffset())); Result.add(String.valueOf(fc.parent_offset));
} }
} }
} }

12
src/Visual_DVM_2021/Passes/SapforPass.java
View File

@@ -1,19 +1,19 @@
package Visual_DVM_2021.Passes; package Visual_DVM_2021.Passes;
import Common.Current; import Common.Current;
import Common.UI.UI; import Common.UI.UI;
import ProjectData.ProjectView;
public class SapforPass extends SilentSapforPass { public class SapforPass extends SilentSapforPass {
//отличается наличием журнала и сообщений //отличается наличием журнала и сообщений
@Override @Override
protected void performPreparation() throws Exception { protected void performPreparation() throws Exception {
// target.CleanInterruptFile(); // target.CleanInterruptFile();
} }
@Override @Override
protected void performFinish() throws Exception { protected void performFinish() throws Exception {
target.db.BeginTransaction(); target.db.BeginTransaction();
try { try {
unpackMessages(); unpackMessages();
} } catch (PassException ex) {
catch (PassException ex){
Log.Writeln_(ex.getMessage()); Log.Writeln_(ex.getMessage());
} }
target.db.Commit(); target.db.Commit();
@@ -24,11 +24,13 @@ public class SapforPass extends SilentSapforPass {
@Override @Override
protected void showFinish() throws Exception { protected void showFinish() throws Exception {
UI.getMainWindow().getProjectWindow().RefreshProjectTreeAndMessages(); UI.getMainWindow().getProjectWindow().RefreshProjectTreeAndMessages();
Current.set(Current.ProjectView, ProjectView.Files);
UI.getMainWindow().getProjectWindow().ShowProjectView();
UI.getMainWindow().getProjectWindow().ShowProjectSapforLog(); UI.getMainWindow().getProjectWindow().ShowProjectSapforLog();
} }
@Override @Override
public void Interrupt() throws Exception { public void Interrupt() throws Exception {
// target.CreateInterruptFile(); // target.CreateInterruptFile();
Current.getSapfor().Interrupt(); Current.getSapfor().Interrupt();
} }
} }

2
src/Visual_DVM_2021/Passes/SapforTransformation.java
View File

@@ -55,7 +55,7 @@ public class SapforTransformation extends SapforPass {
@Override @Override
protected void performDone() throws Exception { protected void performDone() throws Exception {
//миграция типов файлов. //миграция типов файлов.
target.migrateFilesSettings(target.last_version, true, false, true); target.migrateFilesSettings(target.last_version, true , true);
if (resetAnalysesAfter()) if (resetAnalysesAfter())
sapfor.ResetAllAnalyses(); sapfor.ResetAllAnalyses();
} }

2
src/Visual_DVM_2021/Passes/Transformation.java
View File

@@ -37,7 +37,7 @@ public class Transformation extends CurrentProjectPass {
protected void performDone() throws Exception { protected void performDone() throws Exception {
//миграция типов файлов. //миграция типов файлов.
//это несапфоровские дела.тут копируем хедеры сами. //это несапфоровские дела.тут копируем хедеры сами.
target.migrateFilesSettings(target.last_version, true, true, false); target.migrateFilesSettings(target.last_version, true, false);
} }
@Override @Override
protected void performFail() throws Exception { protected void performFail() throws Exception {