Перевод в json получаемых координат графа процедур
This commit is contained in:
2025-04-13 21:39:24 +03:00
parent 74f9a68ceb
commit cb1f19cfb7
4 changed files with 7 additions and 6 deletions

View File

@@ -3,7 +3,7 @@ import Common.Utils.Vector_;
import java.util.Vector;
public class Constants {
public static final int version = 1239;
public static final int version = 1240;
public static final int planner_version = 24;
public static final int testingMaxKernels = 64;
//--

View File

@@ -213,8 +213,10 @@ public class SPF_GetGraphFunctionPositions extends SilentSapforPass {
*/
protected void unpack(String packed) throws Exception {
FunctionsGraphPositionsJson positionsJson = Utils_.gson.fromJson(packed, FunctionsGraphPositionsJson.class);
for (FunctionGraphPositionJson positionJson: positionsJson.allPositions)
for (FunctionGraphPositionJson positionJson: positionsJson.allPositions) {
target.functionsGraph.addVertex(positionJson.functionName);
target.functionsGraph.vertexCoordinates.put(positionJson.functionName, new Pair<>(positionJson.x, positionJson.y));
}
//теперь добавить ребер.
for (String funcName : target.functionsGraph.vertexMap.keySet()) {
FuncInfo fi = target.allFunctions.get(funcName);