ASTDiff GUI: Enhance API

pouryafard75 · pouryafard75 · commit 5007cdb6a57c · 2025-06-04T12:18:08.000-04:00
diff --git a/src/main/java/gui/webdiff/WebDiff.java b/src/main/java/gui/webdiff/WebDiff.java
@@ -37,9 +37,17 @@ public class WebDiff  {
     public static final String HIGHLIGHT_CSS_URL = "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css";
     public static final String HIGHLIGHT_JS_URL = "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js";
     public static final String HIGHLIGHT_JAVA_URL = "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/languages/java.min.js";
-    public final int port = 6789;
+    public int port = 6789;
 
-    private final String toolName = "RefactoringMiner";
+    private String toolName = "RefactoringMiner";
+
+    public void setPort(int port) {
+        this.port = port;
+    }
+
+    public void setToolName(String toolName) {
+        this.toolName = toolName;
+    }
 
     private final ProjectASTDiff projectASTDiff;
     private final String resourcesPath = "/web/";
@@ -63,7 +71,7 @@ public WebDiff(ProjectASTDiff projectASTDiff) {
     }
 
     public void run() {
-        killProcessOnPort(this.port);
+//        killProcessOnPort(this.port);
         configureSpark(comparator, this.port);
         awaitInitialization();
         System.out.println(String.format("Starting server: %s:%d.", "http://127.0.0.1", this.port));
@@ -138,6 +146,14 @@ public void configureSpark(final DirComparator comparator, int port) {
             );
             return render(view);
         });
+        get("/monaco-minimal/:id", (request, response) -> {
+            int id = Integer.parseInt(request.params(":id"));
+            MonacoView view = new MonacoView(
+                    toolName, comparator, request.pathInfo().split("/")[0], id
+            );
+            view.setButtons(false);
+            return render(view);
+        });
         get("/monaco-diff/:id", (request, response) -> {
             int id = Integer.parseInt(request.params(":id"));
             MonacoView view = new MonacoView(
@@ -146,6 +162,7 @@ public void configureSpark(final DirComparator comparator, int port) {
             view.setDecorate(false);
             return render(view);
         });
+
         get("/left/:id", (request, response) -> {
             int id = Integer.parseInt(request.params(":id"));
 //            String id = (request.params(":id"));
diff --git a/src/main/java/gui/webdiff/export/WebExporter.java b/src/main/java/gui/webdiff/export/WebExporter.java
@@ -23,15 +23,23 @@ public class WebExporter {
     final WebDiff webDiff;
     final String baseURL = "http://127.0.0.1";
     final String resourcePath = "src/main/resources/";
-    final Set<String> viewers_path = Set.of(
+    Set<String> viewers_path = Set.of(
             "monaco-page",
             "vanilla-diff"
     );
-    final Set<String> otherPages = Set.of(
+    Set<String> otherPages = Set.of(
             "singleView",
             "list"
     );
 
+    public void setViewers_path(Set<String> viewers_path) {
+        this.viewers_path = viewers_path;
+    }
+
+    public void setOtherPages(Set<String> otherPages) {
+        this.otherPages = otherPages;
+    }
+
     final String baseFolder = "web";
     final String resourceFolderNameInFinalExport = "resources";
 
diff --git a/src/main/java/gui/webdiff/viewers/monaco/MonacoCore.java b/src/main/java/gui/webdiff/viewers/monaco/MonacoCore.java
@@ -60,6 +60,7 @@ public class MonacoCore {
     private final String srcFileContent;
     private final String dstFileContent;
     private final List<Refactoring> refactorings;
+    private boolean minimal = false;
 
     public MonacoCore(DirComparator comparator, Diff diff, int id, boolean isMovedDiff, String srcFileContent, String dstFileContent, List<Refactoring> refactorings) {
         this.comparator = comparator;
@@ -80,7 +81,14 @@ public void setShowFilenames(boolean showFilenames) {
         this.showFilenames = showFilenames;
     }
 
+    public void setMinimal(boolean minimal)
+    {
+        this.minimal = minimal;
+        this.showFilenames = !minimal;
+    }
+
     public void addDiffContainers(HtmlCanvas html) throws IOException {
+
         int offset = (showFilenames) ? 80 : 0;
         html.div(class_("row h-100"));
 
@@ -89,7 +97,7 @@ public void addDiffContainers(HtmlCanvas html) throws IOException {
             html.h6(style("word-break: break-all; white-space: normal; overflow-wrap: break-word;"))
                     .content(srcFileName);
         }
-        String heightFormula = "";
+        String heightFormula = "height : 100%;";
         if (showFilenames)
             heightFormula = "height: calc(100% - " + offset + "px);";
         html.div(class_("edc").id(getLeftContainerId()).style(heightFormula + "border: 1px solid grey; overflow: auto;"))._div()
@@ -105,32 +113,6 @@ public void addDiffContainers(HtmlCanvas html) throws IOException {
                 ._div();
         String code = "mymonaco(" + makeDiffConfig() + ");";
         html.macros().script(code); // Pass the config to the main function
-
-
-//
-//        html.div(class_("row h-100"))
-//                .div(class_("col-6 h-100"));
-//        int offset = (showFilenames) ? 80 : 0;
-//        if (showFilenames) {
-//            html.h6(style("word-break: break-all; white-space: normal; overflow-wrap: break-word;"))
-//                    .content(srcFileName);
-//        }
-//
-//        String heightFormula = "height: calc(100% - " + offset + "px);";
-//        html.div(id(getLeftContainerId()).style(heightFormula + "border:1px solid grey;"))._div()
-//                ._div()
-//                .div(class_("col-6 h-100"));
-//
-//        if (showFilenames) {
-//            html.h6(style("word-break: break-all; white-space: normal; overflow-wrap: break-word;"))
-//                    .content(dstFileName);
-//        }
-//
-//
-//        html.div(id(getRightContainerId()).style(heightFormula + "border:1px solid grey;"))._div()
-//                ._div();
-//        String code = "monaco(" + makeDiffConfig() + ");";
-//        html.macros().script(code); // Pass the config to the main function
     }
 
     String getLeftJsConfig() {
@@ -643,6 +625,7 @@ public String getDiffName() {
 
     public String makeDiffConfig() {
         boolean spv = !showFilenames;
+        if (minimal) spv = false;
         return "{ "
                 + "moved: " + this.isMoved
                 + ", id: " + id
diff --git a/src/main/java/gui/webdiff/viewers/monaco/MonacoView.java b/src/main/java/gui/webdiff/viewers/monaco/MonacoView.java
@@ -20,7 +20,7 @@
 public class MonacoView extends AbstractDiffView implements Renderable {
     final MonacoCore core;
     boolean decorate = true;
-
+    boolean _buttons = true;
     public MonacoView(String toolName, DirComparator comparator, String routePath, int id) {
         super(toolName, 
             comparator.getProjectASTDiff().getMetaInfo(), 
@@ -71,7 +71,7 @@ public void renderOn(HtmlCanvas html) throws IOException {
             .render(new Header())
             .body(class_("h-100").style("overflow: hidden;"))
                 .div(class_("container-fluid h-100"))
-                .if_(decorate)
+                .if_(decorate && _buttons)
                     .div(class_("row"))
                     .render(new AbstractMenuBar(toolName, routePath, id, numOfDiffs, isMovedDiff, metaInfo){
                         @Override
@@ -96,6 +96,10 @@ public String getLegendValue() {
         ._html();
     }
 
+    public void setButtons(boolean b) {
+        this._buttons = b;
+        core.setMinimal(!b);
+    }
 
 
     private static class Header implements Renderable {
@@ -117,6 +121,7 @@ public void renderOn(HtmlCanvas html) throws IOException {
                     .macros().javascript("/dist/folding.js")
                     .macros().javascript("/dist/decorations.js")
                     .macros().javascript("/dist/monaco.js")
+                    .macros().javascript("/dist/listeners.js")
                 ._head();
         }
     }
