add gwt dependency and working foundation

Author: Traumlos

build.gradle

@@ -25,6 +25,8 @@ buildscript {
 
 plugins {
     id 'application'
+    id 'java'
+    id 'org.docstr.gwt' version '2.1.7'
 }
 
 apply plugin: 'io.github.fvarrui.javapackager.plugin'
@@ -154,6 +156,13 @@ dependencies {
             'xml-apis:xml-apis:1.4.01',
             'xml-apis:xml-apis-ext:1.3.04',
             'commons-cli:commons-cli:1.4'
+    compileOnly group: 'org.gwtproject', name: 'gwt-dev', version: '2.12.2' // has vulnerabilities even in the latest version
+    compileOnly group: 'org.gwtproject', name: 'gwt-user', version: '2.12.2'
+}
+
+// relevant for later insert the main file for GWT here later
+gwt {
+    modules = ["webapp.JGEXWebApp"]
 }
 
 application {
@@ -232,4 +241,10 @@ task runGproverMain2(type: JavaExec) {
     File runningDir = new File('src/docs')
     workingDir = runningDir
     mainClass = 'gprover.Main2'
+}
+
+// this copies files from the webapp folder to the war folder to be usable by GWT
+tasks.register("prepareWebApp", Copy) {
+    from("src/main/webapp")
+    into("build/gwt/war")
 }

src/main/java/webapp/JGEXWebApp.gwt.xml

@@ -0,0 +1,10 @@
+<module rename-to="jgexwebapp">
+    <inherits name="com.google.gwt.user.User"/>
+    <entry-point class="webapp.JGEXWebApp"/>
+    <source path=""/>
+    <source path=""/>
+    <add-linker name="xsiframe"/>
+    <set-configuration-property name="devModeRedirectEnabled" value="true"/>
+    <!-- enable source maps -->
+    <set-property name="compiler.useSourceMaps" value="true" />
+</module>

src/main/java/webapp/JGEXWebApp.java

@@ -0,0 +1,83 @@
+package webapp;
+
+import com.google.gwt.core.client.EntryPoint;
+import com.google.gwt.dom.client.Style;
+import com.google.gwt.event.dom.client.ClickEvent;
+import com.google.gwt.event.dom.client.ClickHandler;
+import com.google.gwt.user.client.Command;
+import com.google.gwt.user.client.DOM;
+import com.google.gwt.user.client.Window;
+import com.google.gwt.user.client.ui.*;
+
+public class JGEXWebApp implements EntryPoint {
+    private int count = 0;
+
+    @Override
+    public void onModuleLoad() {
+        // Main Layout Panel
+        DockLayoutPanel rootPanel = new DockLayoutPanel(Style.Unit.PX);
+        rootPanel.setSize("100%", "100%");
+
+        // Menu Bar
+        MenuBar menuBar = new MenuBar();
+        MenuBar fileMenu = new MenuBar(true);  // "true" makes it a drop-down menu
+        fileMenu.addStyleName("dropdown-menu"); // Add CSS class for styling
+        fileMenu.addItem("Neew", (Command) () -> Window.alert("New File Clicked"));
+        fileMenu.addItem("Open", (Command) () -> Window.alert("Open File Clicked"));
+        fileMenu.addItem("Save", (Command) () -> Window.alert("Save File Clicked"));
+        fileMenu.addItem("Exit", (Command) () -> Window.alert("Exit Clicked"));
+
+        // Add the "File" menu with the sub-menu
+        menuBar.addItem("File", fileMenu);
+
+        menuBar.addItem("Examples", (Command) () -> Window.alert("Examples Clicked"));
+        menuBar.addItem("Construct", (Command) () -> Window.alert("Construct Clicked"));
+        menuBar.addItem("Constraint", (Command) () -> Window.alert("Constraint Clicked"));
+        menuBar.addItem("Action", (Command) () -> Window.alert("Action Clicked"));
+        menuBar.addItem("Prove", (Command) () -> Window.alert("Prove Clicked"));
+        menuBar.addItem("Lemmas", (Command) () -> Window.alert("Lemmas Clicked"));
+        menuBar.addItem("Options", (Command) () -> Window.alert("Options Clicked"));
+        menuBar.addItem("Help", (Command) () -> Window.alert("Help Clicked"));
+
+        // Wrap menu in a container
+        SimplePanel menuContainer = new SimplePanel();
+        menuContainer.setWidget(menuBar);
+        menuContainer.setStyleName("menu-bar-border"); // Optional: Add custom styling
+
+        rootPanel.addNorth(menuContainer, 30);
+
+        // Central Content Panel
+        VerticalPanel contentPanel = new VerticalPanel();
+        contentPanel.setHorizontalAlignment(HasHorizontalAlignment.ALIGN_CENTER);
+        contentPanel.setSpacing(10);
+
+        Label label = new Label("Count: 0");
+        Button button = new Button("Click me!");
+        Button resetButton = new Button("Reset count");
+
+        resetButton.addClickHandler(new ClickHandler() {
+            @Override
+            public void onClick(ClickEvent event) {
+                count = 0;
+                label.setText("Count: " + count);
+            }
+        });
+
+        button.addClickHandler(new ClickHandler() {
+            @Override
+            public void onClick(ClickEvent event) {
+                count++;
+                label.setText("Count: " + count);
+            }
+        });
+
+        contentPanel.add(button);
+        contentPanel.add(label);
+        contentPanel.add(resetButton);
+
+        rootPanel.add(contentPanel);
+
+        RootLayoutPanel.get().clear();
+        RootLayoutPanel.get().add(rootPanel);
+    }
+}

src/main/java/webapp/package-info.java

@@ -0,0 +1 @@
+package webapp;

src/main/webapp/index.html

@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <meta charset=UTF-8>
+    <script type=text/javascript src=./jgexwebapp/jgexwebapp.nocache.js></script>
+    <title>JGEX WebApp</title>
+    <link rel="stylesheet" type="text/css" href="layout.css">
+</head>
+<body>
+    <div id=gwtContainer></div>
+</body>
+</html>

src/main/webapp/layout.css

@@ -0,0 +1,10 @@
+.menu-bar-border {
+    border: 1px solid #000000;
+    padding: 4px;
+}
+
+.dropdown-menu {
+    background-color: #a5a5a5;
+    border: 1px solid #2b2b2b;
+    padding: 10px;
+}