haslab · nmacedo · Feb 5, 2020 · Feb 5, 2020 · Aug 7, 2020 · Nov 13, 2020
diff --git a/.gitignore b/.gitignore
@@ -34,6 +34,10 @@ api/\.project
 api/\.settings/
 api/bin/
 
+
+#Private Data
+db-population/
+
 # others
 alloy-examples
 Alloy4FunMeteor/\.meteor/

diff --git a/.mvn/wrapper/.gitignore b/.mvn/wrapper/.gitignore
@@ -0,0 +1 @@
+maven-wrapper.jar
diff --git a/.mvn/wrapper/MavenWrapperDownloader.java b/.mvn/wrapper/MavenWrapperDownloader.java
@@ -0,0 +1,84 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ *  http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+
+import java.io.IOException;
+import java.io.InputStream;
+import java.net.Authenticator;
+import java.net.PasswordAuthentication;
+import java.net.URL;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.nio.file.Paths;
+import java.nio.file.StandardCopyOption;
+
+public final class MavenWrapperDownloader {
+    private static final String WRAPPER_VERSION = "3.2.0";
+
+    private static final boolean VERBOSE = Boolean.parseBoolean(System.getenv("MVNW_VERBOSE"));
+
+    public static void main(String[] args) {
+        log("Apache Maven Wrapper Downloader " + WRAPPER_VERSION);
+
+        if (args.length != 2) {
+            System.err.println(" - ERROR wrapperUrl or wrapperJarPath parameter missing");
+            System.exit(1);
+        }
+
+        try {
+            log(" - Downloader started");
+            final URL wrapperUrl = new URL(args[0]);
+            final String jarPath = args[1].replace("..", ""); // Sanitize path
+            final Path wrapperJarPath = Paths.get(jarPath).toAbsolutePath().normalize();
+            downloadFileFromURL(wrapperUrl, wrapperJarPath);
+            log("Done");
+        } catch (IOException e) {
+            System.err.println("- Error downloading: " + e.getMessage());
+            if (VERBOSE) {
+                e.printStackTrace();
+            }
+            System.exit(1);
+        }
+    }
+
+    private static void downloadFileFromURL(URL wrapperUrl, Path wrapperJarPath)
+            throws IOException {
+        log(" - Downloading to: " + wrapperJarPath);
+        if (System.getenv("MVNW_USERNAME") != null && System.getenv("MVNW_PASSWORD") != null) {
+            final String username = System.getenv("MVNW_USERNAME");
+            final char[] password = System.getenv("MVNW_PASSWORD").toCharArray();
+            Authenticator.setDefault(new Authenticator() {
+                @Override
+                protected PasswordAuthentication getPasswordAuthentication() {
+                    return new PasswordAuthentication(username, password);
+                }
+            });
+        }
+        try (InputStream inStream = wrapperUrl.openStream()) {
+            Files.copy(inStream, wrapperJarPath, StandardCopyOption.REPLACE_EXISTING);
+        }
+        log(" - Downloader complete");
+    }
+
+    private static void log(String msg) {
+        if (VERBOSE) {
+            System.out.println(msg);
+        }
+    }
+
+}
diff --git a/.mvn/wrapper/maven-wrapper.properties b/.mvn/wrapper/maven-wrapper.properties
@@ -0,0 +1,18 @@
+# Licensed to the Apache Software Foundation (ASF) under one
+# or more contributor license agreements.  See the NOTICE file
+# distributed with this work for additional information
+# regarding copyright ownership.  The ASF licenses this file
+# to you under the Apache License, Version 2.0 (the
+# "License"); you may not use this file except in compliance
+# with the License.  You may obtain a copy of the License at
+#
+#   http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing,
+# software distributed under the License is distributed on an
+# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+# KIND, either express or implied.  See the License for the
+# specific language governing permissions and limitations
+# under the License.
+distributionUrl=https://repo.maven.apache.org/maven2/org/apache/maven/apache-maven/3.9.3/apache-maven-3.9.3-bin.zip
+wrapperUrl=https://repo.maven.apache.org/maven2/org/apache/maven/wrapper/maven-wrapper/3.2.0/maven-wrapper-3.2.0.jar
diff --git a/LICENSE b/LICENSE
@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2017 INESC TEC
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/README.md b/README.md
@@ -63,6 +63,9 @@ Linter is also installed and configured but not included in the CI pipeline, to
 
 To include the linter in the CI pipeline (first make sure all linter errors are fixed) and then add the following to the [package.json](meteor/package.json) `scripts`: `"pretest": "npm run lint --silent"`
 
+# Datasets
+  * [Data](https://github.com/haslab/Alloy4Fun/wiki/EM-19-10) from the 19/29 formal methods course at Universidade do Minho (as reported in the ABZ'20 submission).
+
 # Team
 Alloy4fun has been developed by [INESC TEC](http://inesctec.pt) with members from:
  * [HASLab](https://haslab.uminho.pt)

diff --git a/api/.dockerignore b/api/.dockerignore
@@ -0,0 +1,5 @@
+*
+!target/*-runner
+!target/*-runner.jar
+!target/lib/*
+!target/quarkus-app/*
diff --git a/api/.env.example b/api/.env.example
@@ -0,0 +1,4 @@
+quarkus.console.color=true
+quarkus.log.console.darken=1
+
+quarkus.mongodb.connection-string=mongodb://localhost:27017
diff --git a/api/.gitignore b/api/.gitignore
@@ -0,0 +1,46 @@
+#Maven
+target/
+pom.xml.tag
+pom.xml.releaseBackup
+pom.xml.versionsBackup
+release.properties
+.flattened-pom.xml
+mvn
+mvn.cmd
+.mvn
+
+# Eclipse
+.project
+.classpath
+.settings/
+bin/
+
+# IntelliJ
+.idea
+*.ipr
+*.iml
+*.iws
+
+# NetBeans
+nb-configuration.xml
+
+# Visual Studio Code
+.vscode
+.factorypath
+
+# OSX
+.DS_Store
+
+# Vim
+*.swp
+*.swo
+
+# patch
+*.orig
+*.rej
+
+# Local environment
+.env
+
+# Plugin directory
+/.quarkus/cli/plugins/
diff --git a/api/Dockerfile b/api/Dockerfile
diff --git a/api/README.md b/api/README.md
@@ -0,0 +1,59 @@
+# alloy4fun-api
+
+This project uses Quarkus, the Supersonic Subatomic Java Framework.
+
+If you want to learn more about Quarkus, please visit its website: https://quarkus.io/ .
+
+## Running the application in dev mode
+
+You can run your application in dev mode that enables live coding using:
+
+```shell script
+./mvnw compile quarkus:dev
+```
+
+> **_NOTE:_**  Quarkus ships with a Dev UI, which is available in dev mode only at http://localhost:8080/q/dev/.
+
+## Packaging and running the application
+
+The application can be packaged using:
+
+```shell script
+./mvnw package
+```
+
+It produces the `quarkus-run.jar` file in the `target/quarkus-app/` directory.
+Be aware that it’s not an _über-jar_ as the dependencies are copied into the `target/quarkus-app/lib/` directory.
+
+The application is now runnable using `java -jar target/quarkus-app/quarkus-run.jar`.
+
+If you want to build an _über-jar_, execute the following command:
+
+```shell script
+./mvnw package -Dquarkus.package.type=uber-jar
+```
+
+The application, packaged as an _über-jar_, is now runnable using `java -jar target/*-runner.jar`.
+
+## Creating a native executable
+
+You can create a native executable using:
+
+```shell script
+./mvnw package -Pnative
+```
+
+Or, if you don't have GraalVM installed, you can run the native executable build in a container using:
+
+```shell script
+./mvnw package -Pnative -Dquarkus.native.container-build=true
+```
+
+You can then execute your native executable with: `./target/alloy4fun-api-1.0-SNAPSHOT-runner`
+
+If you want to learn more about building native executables, please consult https://quarkus.io/guides/maven-tooling.
+
+## Related Guides
+
+- MongoDB client ([guide](https://quarkus.io/guides/mongodb)): Connect to MongoDB in either imperative or reactive style
+
diff --git a/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.jar.md5 b/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.jar.md5
@@ -0,0 +1 @@
+44cddd0fe1b7faf21d0f405159efb586
diff --git a/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.jar.sha1 b/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.jar.sha1
@@ -0,0 +1 @@
+2e0ce7bb46e8aecb513e360f458ea571ad5591ec
diff --git a/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.pom.md5 b/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.pom.md5
@@ -0,0 +1 @@
+4d3951fb98c0618070ecb2f0a3e1ef9c
diff --git a/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.pom.sha1 b/api/lib/org/alloytools/Alloy/6.1.0/Alloy-6.1.0.pom.sha1
@@ -0,0 +1 @@
+b96c749559bee344721d4247f4209c3c1951b90a
diff --git a/api/lib/org/alloytools/Alloy/maven-metadata-local.xml b/api/lib/org/alloytools/Alloy/maven-metadata-local.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<metadata>
+  <groupId>org.alloytools</groupId>
+  <artifactId>Alloy</artifactId>
+  <versioning>
+    <release>6.1.0</release>
+    <versions>
+      <version>6.1.0</version>
+    </versions>
+    <lastUpdated>20230909084833</lastUpdated>
+  </versioning>
+</metadata>
diff --git a/api/lib/org/alloytools/Alloy/maven-metadata-local.xml.md5 b/api/lib/org/alloytools/Alloy/maven-metadata-local.xml.md5
@@ -0,0 +1 @@
+8070ef7af3b760447df889fc2ba13a3b
diff --git a/api/lib/org/alloytools/Alloy/maven-metadata-local.xml.sha1 b/api/lib/org/alloytools/Alloy/maven-metadata-local.xml.sha1
@@ -0,0 +1 @@
+c8638d62a0efb63769ac5c38b9dfa98f47e63960
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar.md5 b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar.md5
@@ -0,0 +1 @@
+2375fd2faac1e93e40b13b5d1e61d16c
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar.sha1 b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.jar.sha1
@@ -0,0 +1 @@
+3fe33e0c09c57b9efc2dd8cd915badd1354f4e74
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>pt.haslab</groupId>
+  <artifactId>TAR</artifactId>
+  <version>1.1.1</version>
+  <description>POM was created from install:install-file</description>
+</project>
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom.md5 b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom.md5
@@ -0,0 +1 @@
+1274f3e2c48a4efe5cf82729a643ceee
diff --git a/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom.sha1 b/api/lib/pt/haslab/TAR/1.1.1/TAR-1.1.1.pom.sha1
@@ -0,0 +1 @@
+37462a4691670f375a708154f575702e6a5fafb9
diff --git a/api/lib/pt/haslab/TAR/maven-metadata-local.xml b/api/lib/pt/haslab/TAR/maven-metadata-local.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<metadata>
+  <groupId>pt.haslab</groupId>
+  <artifactId>TAR</artifactId>
+  <versioning>
+    <release>1.1.1</release>
+    <versions>
+      <version>1.1.1</version>
+    </versions>
+    <lastUpdated>20230908171751</lastUpdated>
+  </versioning>
+</metadata>
diff --git a/api/lib/pt/haslab/TAR/maven-metadata-local.xml.md5 b/api/lib/pt/haslab/TAR/maven-metadata-local.xml.md5
@@ -0,0 +1 @@
+44858ccce06c471b4cfb5b860d5e019a
diff --git a/api/lib/pt/haslab/TAR/maven-metadata-local.xml.sha1 b/api/lib/pt/haslab/TAR/maven-metadata-local.xml.sha1
@@ -0,0 +1 @@
+60429110538abf35f8771ed6b86b877a407faede
diff --git a/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar b/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar
diff --git a/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar.md5 b/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar.md5
@@ -0,0 +1 @@
+4d6ed60ba25b33b27f960b0b00264faf
diff --git a/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar.sha1 b/api/lib/pt/haslab/specassistant-deployment/1.0.0/specassistant-deployment-1.0.0.jar.sha1
@@ -0,0 +1 @@
+fd3e39704651577fbb41312f33ab4cc21ea82ccf