15 files changed, 449 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.classpath b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.classpath
new file mode 100644
index 00000000..659559e1
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.classpath
@@ -0,0 +1,35 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry kind="src" output="bin/main" path="src/main/java">
+                <attributes>
+                        <attribute name="gradle_scope" value="main"/>
+                        <attribute name="gradle_used_by_scope" value="main,test"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="src" output="bin/main" path="src/main/resources">
+                <attributes>
+                        <attribute name="gradle_scope" value="main"/>
+                        <attribute name="gradle_used_by_scope" value="main,test"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="src" output="bin/main" path="src/main/xtext-gen">
+                <attributes>
+                        <attribute name="gradle_scope" value="main"/>
+                        <attribute name="gradle_used_by_scope" value="main,test"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="src" output="bin/main" path="src/main/xtend-gen">
+                <attributes>
+                        <attribute name="gradle_scope" value="main"/>
+                        <attribute name="gradle_used_by_scope" value="main,test"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
+        <classpathentry kind="con" path="org.eclipse.jst.j2ee.internal.web.container"/>
+        <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer">
+                <attributes>
+                        <attribute name="org.eclipse.jst.component.dependency" value="/WEB-INF/lib"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="output" path="bin/default"/>
+</classpath>
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.gitignore b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.gitignore
new file mode 100644
index 00000000..84c048a7
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.gitignore
@@ -0,0 +1 @@
+/build/
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.project b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.project
new file mode 100644
index 00000000..9b5a8e63
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.project
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>org.eclipse.viatra.solver.language.web</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.wst.common.project.facet.core.builder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.wst.validation.validationbuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+                <nature>org.eclipse.wst.common.project.facet.core.nature</nature>
+                <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
+        </natures>
+</projectDescription>
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.core.resources.prefs b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000..99f26c02
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..7adc0fb9
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,10 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=11
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle
new file mode 100644
index 00000000..a3bfc039
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle
@@ -0,0 +1,35 @@
+plugins {
+        id 'war'
+}
+
+dependencies {
+        compile project(':org.eclipse.viatra.solver.language')
+        compile project(':org.eclipse.viatra.solver.language.ide')
+        compile "org.eclipse.xtext:org.eclipse.xtext.xbase.web:${xtextVersion}"
+        compile "org.eclipse.xtext:org.eclipse.xtext.web.servlet:${xtextVersion}"
+        compile "org.eclipse.xtend:org.eclipse.xtend.lib:${xtextVersion}"
+        compile "org.webjars:requirejs:2.3.6"
+        compile "org.webjars:requirejs-text:2.0.15"
+        compile "org.webjars:jquery:3.6.0"
+        compile "org.webjars:codemirror:5.41.0"
+        providedCompile "org.eclipse.jetty:jetty-annotations:9.4.42.v20210604"
+        providedCompile "org.eclipse.jetty:jetty-rewrite:9.4.42.v20210604"
+        providedCompile "org.slf4j:slf4j-simple:1.7.31"
+}
+
+task jettyRun(type:JavaExec) {
+        dependsOn(sourceSets.main.runtimeClasspath)
+        classpath = sourceSets.main.runtimeClasspath.filter{it.exists()}
+        main = 'org.eclipse.viatra.solver.language.web.ServerLauncher'
+        standardInput = System.in
+        group = 'run'
+        description = 'Starts an example Jetty server with your language'
+}
+
+eclipse {
+        project {
+                file.whenMerged {
+                        natures.remove('org.eclipse.wst.common.modulecore.ModuleCoreNature')
+                }
+        }
+}
\ No newline at end of file
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
new file mode 100644
index 00000000..5de708f0
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
@@ -0,0 +1,36 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.web;
+
+import com.google.inject.Injector;
+import javax.servlet.ServletException;
+import javax.servlet.annotation.WebServlet;
+import org.eclipse.xtext.util.DisposableRegistry;
+import org.eclipse.xtext.web.servlet.XtextServlet;
+
+/**
+ * Deploy this class into a servlet container to enable DSL-specific services.
+ */
+@WebServlet(name = "XtextServices", urlPatterns = "/xtext-service/*")
+public class ProblemServlet extends XtextServlet {
+        
+        private static final long serialVersionUID = 1L;
+        
+        DisposableRegistry disposableRegistry;
+        
+        public void init() throws ServletException {
+                super.init();
+                Injector injector = new ProblemWebSetup().createInjectorAndDoEMFRegistration();
+                this.disposableRegistry = injector.getInstance(DisposableRegistry.class);
+        }
+        
+        public void destroy() {
+                if (disposableRegistry != null) {
+                        disposableRegistry.dispose();
+                        disposableRegistry = null;
+                }
+                super.destroy();
+        }
+        
+}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java
new file mode 100644
index 00000000..0eea7f1e
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java
@@ -0,0 +1,11 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.web;
+
+
+/**
+ * Use this class to register additional components to be used within the web application.
+ */
+public class ProblemWebModule extends AbstractProblemWebModule {
+}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java
new file mode 100644
index 00000000..8d5778af
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java
@@ -0,0 +1,23 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.web;
+
+import com.google.inject.Guice;
+import com.google.inject.Injector;
+import org.eclipse.viatra.solver.language.ProblemRuntimeModule;
+import org.eclipse.viatra.solver.language.ProblemStandaloneSetup;
+import org.eclipse.viatra.solver.language.ide.ProblemIdeModule;
+import org.eclipse.xtext.util.Modules2;
+
+/**
+ * Initialization support for running Xtext languages in web applications.
+ */
+public class ProblemWebSetup extends ProblemStandaloneSetup {
+        
+        @Override
+        public Injector createInjector() {
+                return Guice.createInjector(Modules2.mixin(new ProblemRuntimeModule(), new ProblemIdeModule(), new ProblemWebModule()));
+        }
+        
+}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
new file mode 100644
index 00000000..d25f4ae9
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
@@ -0,0 +1,65 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.web;
+
+import java.net.InetSocketAddress;
+import org.eclipse.jetty.annotations.AnnotationConfiguration;
+import org.eclipse.jetty.server.Server;
+import org.eclipse.jetty.util.log.Slf4jLog;
+import org.eclipse.jetty.webapp.Configuration;
+import org.eclipse.jetty.webapp.MetaInfConfiguration;
+import org.eclipse.jetty.webapp.WebAppContext;
+import org.eclipse.jetty.webapp.WebInfConfiguration;
+import org.eclipse.jetty.webapp.WebXmlConfiguration;
+
+/**
+ * This program starts an HTTP server for testing the web integration of your DSL.
+ * Just execute it and point a web browser to http://localhost:8080/
+ */
+public class ServerLauncher {
+        public static void main(String[] args) {
+                Server server = new Server(new InetSocketAddress("localhost", 1313));
+                WebAppContext ctx = new WebAppContext();
+                ctx.setResourceBase("src/main/webapp");
+                ctx.setWelcomeFiles(new String[] {"index.html"});
+                ctx.setContextPath("/");
+                ctx.setConfigurations(new Configuration[] {
+                        new AnnotationConfiguration(),
+                        new WebXmlConfiguration(),
+                        new WebInfConfiguration(),
+                        new MetaInfConfiguration()
+                });
+                ctx.setAttribute(WebInfConfiguration.CONTAINER_JAR_PATTERN,
+                        ".*/org\\.eclipse\\.viatra\\.solver\\.language\\.web/.*,.*\\.jar");
+                ctx.setInitParameter("org.eclipse.jetty.servlet.Default.useFileMappedBuffer", "false");
+                server.setHandler(ctx);
+                Slf4jLog log = new Slf4jLog(ServerLauncher.class.getName());
+                try {
+                        server.start();
+                        log.info("Server started " + server.getURI() + "...");
+                        new Thread() {
+
+                                public void run() {
+                                        try {
+                                                log.info("Press enter to stop the server...");
+                                                int key = System.in.read();
+                                                if (key != -1) {
+                                                        server.stop();
+                                                } else {
+                                                        log.warn(
+                                                                        "Console input is not available. In order to stop the server, you need to cancel process manually.");
+                                                }
+                                        } catch (Exception e) {
+                                                log.warn(e);
+                                        }
+                                }
+
+                        }.start();
+                        server.join();
+                } catch (Exception exception) {
+                        log.warn(exception.getMessage());
+                        System.exit(1);
+                }
+        }
+}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html
new file mode 100644
index 00000000..bf55f237
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html
@@ -0,0 +1,43 @@
+<!DOCTYPE html>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<meta http-equiv="Content-Language" content="en-us">
+<title>Example Web Editor</title>
+<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.41.0/lib/codemirror.css" />
+<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.41.0/addon/hint/show-hint.css" />
+<link rel="stylesheet" type="text/css" href="xtext/2.26.0.M1/xtext-codemirror.css" />
+<link rel="stylesheet" type="text/css" href="style.css" />
+<body>
+    <div class="container">
+        <div class="header">
+            <h1>Example Problem Web Editor</h1>
+        </div>
+        <div class="content">
+            <div class="xtext-editor"
+                 data-editor-xtext-lang="problem"
+                 data-editor-enable-formatting-action="true"
+                 data-editor-send-full-text="false"
+            ><pre>class Family
+    contains Person[0..*] members.
+
+class Person
+    refers Person[0..*] children opposite parent,
+    refers Person[0..1] parent opposite children.
+
+error loop(Person p) := children+(p, p).
+
+error multipleRoots(Person p, Person q) :=
+    !equals(p, q), !parent(p, _), !parent(q, _).
+
+Family(family).
+members(family, anne).
+members(family, bob).
+members(family, ciri).
+children(anne, ciri).
+?children(bob, ciri).
+
+scope Family = 1, Person += 5..10.</pre></div>
+        </div>
+    </div>
+    <script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script>
+    <script type="text/javascript" src="script.js"></script>
+</body>
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/script.js b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/script.js
new file mode 100644
index 00000000..fcaca4a4
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/script.js
@@ -0,0 +1,20 @@
+var baseUrl = window.location.pathname;
+var fileIndex = baseUrl.indexOf("index.html");
+if (fileIndex > 0)
+    baseUrl = baseUrl.slice(0, fileIndex)
+require.config({
+    baseUrl: baseUrl,
+    paths: {
+        "text": "webjars/requirejs-text/2.26.0.M1/text",
+        "jquery": "webjars/jquery/3.6.0/jquery.min",
+        "xtext/xtext-codemirror": "xtext/2.26.0.M1/xtext-codemirror",
+    },
+    packages: [{
+        name: "codemirror",
+        location: "webjars/codemirror/5.41.0",
+        main: "lib/codemirror"
+    }]
+});
+require(["xtext-resources/generated/mode-problem", "xtext/xtext-codemirror"], function(mode, xtext) {
+        window.xtextEditor = xtext.createEditor({baseUrl: baseUrl,});
+});
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css
new file mode 100644
index 00000000..f1551c3d
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css
@@ -0,0 +1,91 @@
+body {
+        width: 100%;
+        height: 100%;
+        overflow: hidden;
+        font: 16px Helvetica,sans-serif;
+}
+
+a {
+        color: #22a;
+        text-decoration: none;
+}
+
+a:hover {
+        text-decoration: underline;
+}
+
+.container {
+        display: block;
+        position: absolute;
+        top: 0;
+        bottom: 0;
+        left: 0;
+        right: 0;
+        margin: 24px 24px 36px 24px;
+}
+
+.header {
+        display: block;
+        position: absolute;
+        top: 0;
+        left: 0;
+        right: 0;
+        padding: 16px;
+        background: #dbdbdb;
+        border-radius: 16px;
+        color: #383838;
+}
+
+.header h1 {
+    font-size: 36px;
+    margin: 0;
+}
+
+.content {
+        display: block;
+        position: absolute;
+        top: 108px;
+        bottom: 0;
+        left: 0;
+        width: 50%;
+        box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35);
+        border-radius: 16px;
+}
+
+.xtext-editor {
+        display: block;
+        position: absolute;
+        top: 16px;
+        bottom: 16px;
+        left: 16px;
+        right: 16px;
+        border: 1px solid #aaa;
+}
+
+.problem-class {
+        color: #005032;
+}
+
+.problem-abstract {
+        color: #8b8816;
+}
+
+.problem-reference, .problem-containment, .problem-predicate {
+        color: #0000c0;
+}
+
+.problem-error {
+        color: #ab3000;
+}
+
+.problem-containment {
+        font-weight: bold;
+}
+
+.problem-parameter, .problem-variable {
+        color: #6a3e3e;
+}
+
+.problem-node {
+        text-decoration: underline;
+}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js
new file mode 100644
index 00000000..ab748b03
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js
@@ -0,0 +1,23 @@
+define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) {
+        var keywords = "abstract|class|contains|error|extends|false|opposite|pred|refers|scope|true|unknown";
+        CodeMirror.defineSimpleMode("xtext/problem", {
+                start: [
+                        {token: "comment", regex: "\\/\\/.*$"},
+                        {token: "comment", regex: "\\/\\*", next : "comment"},
+                        {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'},
+                        {token: "string", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"},
+                        {token: "constant.numeric", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"},
+                        {token: "lparen", regex: "[\\[(]"},
+                        {token: "rparen", regex: "[\\])]"},
+                        {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
+                ],
+                comment: [
+                        {token: "comment", regex: ".*?\\*\\/", next : "start"},
+                        {token: "comment", regex: ".+"}
+                ],
+                meta: {
+                        dontIndentStates: ["comment"],
+                        lineComment: "//"
+                }
+        });
+});
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/xtext-gen/org/eclipse/viatra/solver/language/web/AbstractProblemWebModule.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/xtext-gen/org/eclipse/viatra/solver/language/web/AbstractProblemWebModule.java
new file mode 100644
index 00000000..fefb7da3
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/xtext-gen/org/eclipse/viatra/solver/language/web/AbstractProblemWebModule.java
@@ -0,0 +1,14 @@
+/*
+ * generated by Xtext 2.26.0.M1
+ */
+package org.eclipse.viatra.solver.language.web;
+
+import org.eclipse.xtext.web.server.DefaultWebModule;
+
+/**
+ * Manual modifications go to {@link ProblemWebModule}.
+ */
+@SuppressWarnings("all")
+public abstract class AbstractProblemWebModule extends DefaultWebModule {
+
+}