Automatic Copyright Header Checking (#9)

Author: ArquintL

.github/license-check/config.json

@@ -0,0 +1,61 @@
+[
+    {
+        "include": [
+            "**/*.ts",
+            "**/*.scala",
+            "server/build.sbt"
+        ],
+        "exclude": [
+            "client/node_modules/**",
+            "client/src/evaluate/index.ts",
+            "client/src/evaluate/runEvaluation.ts",
+            "client/src/test/index.ts",
+            "client/src/test/runTest.ts",
+            "server/gobra/**",
+            "server/project/project/**",
+            "server/project/target/**",
+            "server/target/**"
+        ],
+        "license": "./.github/license-check/headers/MPLv2-ETH.txt"
+    },
+    {
+        "include": [
+            "client/src/evaluate/index.ts",
+            "client/src/evaluate/runEvaluation.ts",
+            "client/src/test/index.ts",
+            "client/src/test/runTest.ts",
+            "client/webpack.config.js"
+        ],
+        "license": "./.github/license-check/headers/MIT-Microsoft.txt"
+    },
+    {
+        "include": [
+            "**/*.gobra",
+            "**/*.go"
+        ],
+        "exclude": [
+            "server/gobra/**"
+        ],
+        "license": "./.github/license-check/headers/CC0.txt"
+    },
+    {
+        "include": [
+            "client/node_modules/**",
+            "client/.vscode-test/**",
+            "client/images/**",
+            "client/tmp/**",
+            "client/evaluationResults.txt",
+            "client/package-notes.md",
+            "server/gobra/**",
+            "server/project/build.properties",
+            "server/project/plugins.sbt",
+            "server/project/project/**",
+            "server/project/target/**",
+            "server/target/**",
+            "**/*.json",
+            ".github/check-license/**",
+            "**/README.md",
+            "**/LICENSE"
+        ]
+    }
+]

.github/license-check/headers/CC0.txt

@@ -0,0 +1,2 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/

.github/license-check/headers/MIT-Microsoft.txt

@@ -0,0 +1,17 @@
+// Copyright (c) Microsoft Corporation
+//
+// All rights reserved. 
+//
+// MIT License
+//
+// 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.

.github/license-check/headers/MPLv2-ETH.txt

@@ -0,0 +1,5 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+//
+// Copyright (c) %regexp:\d{4}%-%year% ETH Zurich.

.github/workflows/license-check.yml

@@ -0,0 +1,23 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+#
+# Copyright (c) 2011-2020 ETH Zurich.
+
+name: license-check
+
+on:
+  pull_request:
+
+jobs:
+  check-license-headers:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Gobra-IDE
+        uses: actions/checkout@v2
+      - name: Check license headers
+        uses: viperproject/check-license-header@v1
+        with:
+          path: ./
+          config: ./.github/license-check/config.json
+          strict: true

README.md

@@ -33,3 +33,6 @@ JDK version 11 is working (assuming [Homebrew](https://brew.sh) is used):
 3. Press Ctrl+Shift+B resp. Cmd+Shift+B to compile the client.
 4. Open the 'Run and Debug' view container and run the 'Launch Client' task.
     This will automatically start the server as well
+
+## Locally checking license headers:
+Run `npx github:viperproject/check-license-header#v1 check --config .github/license-check/config.json --strict` in the repository's root directory to check whether all files adhere to the license configuration