#1 Eclipse ESCET initial contribution

 - Initial contribution by Eindhoven University of Technology (TU/e).
 - See IPZilla CQ 22636.

.gitattributes

+################################################################################
+# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the terms
+# of the MIT License which is available at https://opensource.org/licenses/MIT
+#
+# SPDX-License-Identifier: MIT
+################################################################################# 
+
+# Set the default behavior, convert to native line endings on checkout.
+* text=auto
+
+# Declare files that will always have certain line endings on checkout.
+*.bash text eol=lf
+*.bat text eol=crlf
+*.cmd text eol=crlf
+*.sh text eol=lf
+Makefile text eol=lf
+
+# Denote all files that are truly binary.
+*.7z        binary
+*.bmp       binary
+*.class     binary
+*.doc       binary
+*.docx      binary
+*.eps       binary
+*.exe       binary
+*.fig       binary
+*.gif       binary
+*.gz        binary
+*.ico       binary
+*.jar       binary
+*.jpg       binary
+*.pdf       binary
+*.png       binary
+*.ppt       binary
+*.pptx      binary
+*.ps        binary
+*.slx       binary
+*.tar       binary
+*.tgz       binary
+*.xls       binary
+*.xlsx      binary
+*.zip       binary

.gitconfig

+################################################################################
+# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the terms
+# of the MIT License which is available at https://opensource.org/licenses/MIT
+#
+# SPDX-License-Identifier: MIT
+################################################################################# 
+
+[branch]
+    autosetuprebase=always

.gitignore

+################################################################################
+# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the terms
+# of the MIT License which is available at https://opensource.org/licenses/MIT
+#
+# SPDX-License-Identifier: MIT
+################################################################################# 
+
+/**/target/
+/**/.polyglot.*
+/**/.META-INF_MANIFEST.MF
+/**/feature.xml.takari_issue_192
+/**/pom.tycho
+/**/.polyglot.feature.xml

.mvn/extensions.xml

+<!--
+    Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+
+    See the NOTICE file(s) distributed with this work for additional
+    information regarding copyright ownership.
+
+    This program and the accompanying materials are made available under the terms
+    of the MIT License which is available at https://opensource.org/licenses/MIT
+
+    SPDX-License-Identifier: MIT
+ -->
+<extensions>
+    <extension>
+        <groupId>org.eclipse.tycho.extras</groupId>
+        <artifactId>tycho-pomless</artifactId>
+        <version>1.7.0</version>
+    </extension>
+</extensions>

.project

+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.eclipse.escet.root</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.m2e.core.maven2Builder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.m2e.core.maven2Nature</nature>
+	</natures>
+	<filteredResources>
+		<filter>
+			<id>1579099775841</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-chi</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775841</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-cif</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775857</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-common</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775857</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-products</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775873</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-releng</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775873</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-setext</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1579099775888</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-tooldef</arguments>
+			</matcher>
+		</filter>
+	</filteredResources>
+</projectDescription>

.settings/org.eclipse.core.resources.prefs

+eclipse.preferences.version=1
+encoding/<project>=UTF-8

.settings/org.eclipse.m2e.core.prefs

+activeProfiles=
+eclipse.preferences.version=1
+resolveWorkspaceProjects=true
+version=1

CONTRIBUTING.asciidoc

+# Contributing to Eclipse ESCET
+
+Thanks for your interest in this project.
+
+
+## Project description
+
+The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET) project
+provides a toolkit for the development of supervisory controllers. The toolkit
+has a strong focus on industrial applicability, e.g. to cyber physical
+systems. The toolkit includes tooling to support the entire development
+process of (supervisory) controllers, including among others specification,
+supervisory controller synthesis, simulation-based validation and
+visualization, formal verification, real-time testing, and code generation.
+
+For more information, see:
+
+ * Project home: https://projects.eclipse.org/projects/technology.escet
+ * Website: https://eclipse.org/escet
+
+
+## Developer resources
+
+For more information regarding source code management, builds, setting up a
+developer environment, coding standards, how to contribute, and more, see:
+
+ * https://projects.eclipse.org/projects/technology.escet/developer
+
+The project maintains the following source code repositories:
+
+ * https://git.eclipse.org/c/escet/escet.git
+
+This project uses Bugzilla to track ongoing development and issues:
+
+ * Search for issues: https://bugs.eclipse.org/bugs/buglist.cgi?product=ESCET
+ * Create a new report: https://bugs.eclipse.org/bugs/enter_bug.cgi?product=ESCET
+
+Be sure to search for existing issues before you create another one. Remember
+that contributions are always welcome!
+
+To contribute source code (e.g. patches), please use Gerrit:
+
+ * https://git.eclipse.org/r/#/q/project:escet/escet
+
+
+## Eclipse Contributor Agreement
+
+Before your contribution can be accepted by the project team, contributors must
+electronically sign the Eclipse Contributor Agreement (ECA).
+
+ * https://www.eclipse.org/legal/ECA.php
+
+Commits that are provided by non-committers must have a Signed-off-by field in
+the footer indicating that the author is aware of the terms by which the
+contribution has been provided to the project. The non-committer must
+additionally have an Eclipse Foundation account and must have a signed Eclipse
+Contributor Agreement (ECA) on file.
+
+For more information, please see the Eclipse Committer Handbook:
+
+ * https://www.eclipse.org/projects/handbook/#resources-commit
+
+
+## Contact
+
+Contact the project developers via the project's 'dev' list.
+
+ * https://accounts.eclipse.org/mailing-list/escet-dev
+
+As an end user, you can ask questions on the project's forum:
+
+ * https://www.eclipse.org/forums/index.php/f/527/

LICENSE.txt

+Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+
+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.

NOTICE.asciidoc

+# Notices for Eclipse ESCET
+
+This content is produced and maintained by the Eclipse Supervisory Control
+Engineering Toolkit (Eclipse ESCET) project.
+
+ * Project home: https://projects.eclipse.org/projects/technology.escet
+ * Website: https://eclipse.org/escet
+ * Issue tracker: https://bugs.eclipse.org/bugs/describecomponents.cgi?product=escet
+ * Downloads: https://download.eclipse.org/escet
+ * Archived downloads: https://archive.eclipse.org/escet
+ * Forum: https://www.eclipse.org/forums/index.php/f/527/
+ * Developers mailing list: https://accounts.eclipse.org/mailing-list/escet-dev
+
+
+## Trademarks
+
+Eclipse ESCET and ESCET are trademarks of the Eclipse Foundation. Eclipse,
+and the Eclipse Logo are registered trademarks of the Eclipse Foundation.
+
+
+## Copyright
+
+All content is the property of the respective authors or their employers.
+For more information regarding authorship of content, please consult the
+listed source code repository logs.
+
+
+## Declared Project Licenses
+
+This program and the accompanying materials are made available under the
+terms of the MIT License which is available at
+https://opensource.org/licenses/MIT
+
+SPDX-License-Identifier: MIT
+
+
+## Source Code
+
+The project maintains the following source code repositories:
+
+ * https://git.eclipse.org/c/escet/escet.git
+
+
+## Third-party Content
+
+com.github.difflib
+
+ * Project: https://github.com/java-diff-utils/java-diff-utils
+ * Source: https://github.com/java-diff-utils/java-diff-utils
+ * License: Apache License 2.0
+
+com.github.javabdd
+
+ * Project: https://github.com/com-github-javabdd/com.github.javabdd
+ * Source: https://github.com/com-github-javabdd/com.github.javabdd
+ * License: GNU Library General Public License v2 (LGPLv2) or later
+
+javax.inject
+
+ * License: Apache License 2.0
+
+org.apache.batik
+
+ * License: Apache License 2.0
+
+org.apache.commons.exec
+
+ * License: Apache License 2.0
+
+org.apache.commons.io
+
+ * License: Apache License 2.0
+
+org.apache.commons.lang
+
+ * License: Apache License 2.0
+
+org.apache.commons.lang3
+
+ * License: Apache License 2.0
+
+org.apache.commons.math3
+
+ * License: Apache License 2.0
+
+org.apache.xalan
+
+ * License: Apache License 2.0
+
+org.apache.xerces
+
+ * License: Apache License 2.0
+
+org.eclipse.sdk
+
+ * License: Eclipse Public License 2.0
+
+org.eclipse.emf
+
+ * License: Eclipse Public License 2.0
+
+org.junit
+
+ * License: Eclipse Public License 1.0
+ * License: Common Public License Version 1.0
+
+org.knowm.xchart
+
+ * Project: https://knowm.org/open-source/xchart/
+ * Source: https://github.com/knowm/XChart
+ * License: Apache License 2.0
+
+org.w3c.css.sac
+
+ * License: Apache License 2.0, Public Domain, W3C
+
+org.w3c.dom.svg
+
+ * License: Apache License 2.0
+
+## Cryptography
+
+Content may contain encryption software. The country in which you are
+currently may have restrictions on the import, possession, and use, and/or
+re-export to another country, of encryption software. BEFORE using any
+encryption software, please check the country's laws, regulations and
+policies concerning the import, possession, or use, and re-export of
+encryption software, to see if this is permitted.

build-docs.launch

+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
+<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
+<stringAttribute key="M2_GOALS" value="clean package --projects releng/org.eclipse.escet.target,chi/org.eclipse.escet.chi.documentation,cif/org.eclipse.escet.cif.documentation,products/org.eclipse.escet.documentation,setext/org.eclipse.escet.setext.documentation,tooldef/org.eclipse.escet.tooldef.documentation --also-make-dependents"/>
+<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
+<booleanAttribute key="M2_OFFLINE" value="false"/>
+<stringAttribute key="M2_PROFILES" value=""/>
+<listAttribute key="M2_PROPERTIES">
+<listEntry value="tycho.pomless.aggregator.names=releng,chi,cif,common,setext,tooldef,products"/>
+</listAttribute>
+<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
+<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
+<intAttribute key="M2_THREADS" value="1"/>
+<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="true"/>
+<stringAttribute key="M2_USER_SETTINGS" value=""/>
+<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
+<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
+<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
+</launchConfiguration>

build.cmd

+@echo off
+
+::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
+:: Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+::
+:: See the NOTICE file(s) distributed with this work for additional
+:: information regarding copyright ownership.
+::
+:: This program and the accompanying materials are made available under the terms
+:: of the MIT License which is available at https://opensource.org/licenses/MIT
+::
+:: SPDX-License-Identifier: MIT
+::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
+
+.\mvn_escet.cmd clean verify

build.launch

+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
+<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
+<stringAttribute key="M2_GOALS" value="clean verify"/>
+<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
+<booleanAttribute key="M2_OFFLINE" value="false"/>
+<stringAttribute key="M2_PROFILES" value=""/>
+<listAttribute key="M2_PROPERTIES">
+<listEntry value="tycho.pomless.aggregator.names=releng,chi,cif,common,setext,tooldef,products"/>
+</listAttribute>
+<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
+<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
+<intAttribute key="M2_THREADS" value="1"/>
+<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="false"/>
+<stringAttribute key="M2_USER_SETTINGS" value=""/>
+<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
+<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
+<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
+</launchConfiguration>

build.sh

+#!/usr/bin/env sh
+
+################################################################################
+# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the terms
+# of the MIT License which is available at https://opensource.org/licenses/MIT
+#
+# SPDX-License-Identifier: MIT
+################################################################################
+
+./mvn_escet.sh clean verify

chi/.project

+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.eclipse.escet.chi.root</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+	</buildSpec>
+	<natures>
+	</natures>
+	<filteredResources>
+		<filter>
+			<id>1582720518267</id>
+			<name></name>
+			<type>10</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-org.eclipse.escet.*</arguments>
+			</matcher>
+		</filter>
+	</filteredResources>
+</projectDescription>

chi/org.eclipse.escet.chi.codegen.tests/.checkstyle

+<?xml version="1.0" encoding="UTF-8"?>
+
+<fileset-config file-format-version="1.2.0" simple-config="true" sync-formatter="false">
+  <local-check-config name="Eclipse ESCET Checkstyle" location=".settings/checkstyle.xml" type="project" description="Eclipse ESCET Checkstyle.&#10;&#10;Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation&#10;&#10;See the NOTICE file(s) distributed with this work for additional&#10;information regarding copyright ownership.&#10;&#10;This program and the accompanying materials are made available under the terms&#10;of the MIT License which is available at https://opensource.org/licenses/MIT&#10;&#10;SPDX-License-Identifier: MIT">
+    <additional-data name="protect-config-file" value="false"/>
+  </local-check-config>
+  <fileset name="all" enabled="true" check-config-name="Eclipse ESCET Checkstyle" local="true">
+    <file-match-pattern match-pattern="." include-pattern="true"/>
+  </fileset>
+</fileset-config>

chi/org.eclipse.escet.chi.codegen.tests/.classpath

+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="output" path="target/classes"/>
+</classpath>

chi/org.eclipse.escet.chi.codegen.tests/.project

+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.eclipse.escet.chi.codegen.tests</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.ManifestBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.SchemaBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>net.sf.eclipsecs.core.CheckstyleBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.pde.PluginNature</nature>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+		<nature>net.sf.eclipsecs.core.CheckstyleNature</nature>
+	</natures>
+</projectDescription>

chi/org.eclipse.escet.chi.codegen.tests/.settings/checkstyle.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE module PUBLIC "-//Checkstyle//DTD Checkstyle Configuration 1.3//EN" "https://checkstyle.org/dtds/configuration_1_3.dtd">
+
+<!--
+    This configuration file was written by the eclipse-cs plugin configuration editor
+-->
+<!--
+    Checkstyle-Configuration: Eclipse ESCET Checkstyle
+    Description: 
+Eclipse ESCET Checkstyle.
+
+Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
+
+See the NOTICE file(s) distributed with this work for additional
+information regarding copyright ownership.
+
+This program and the accompanying materials are made available under the terms
+of the MIT License which is available at https://opensource.org/licenses/MIT
+
+SPDX-License-Identifier: MIT
+-->
+<module name="Checker">
+  <property name="severity" value="warning"/>
+  <module name="TreeWalker">
+    <module name="AnnotationUseStyle"/>
+    <module name="MissingOverride"/>
+    <module name="AnnotationLocation">
+      <property name="allowSamelineSingleParameterlessAnnotation" value="false"/>
+    </module>
+    <module name="AtclauseOrder"/>
+    <module name="JavadocStyle">
+      <property name="scope" value="anoninner"/>
+      <property name="checkEmptyJavadoc" value="true"/>
+      <property name="endOfSentenceFormat" value="([.?!:][ \t\n\r\f&lt;])|([.?!:]$)|(\{@inheritDoc\})"/>
+      <message key="javadoc.noperiod" value="First sentence should end with a period, question mark, exclamation mark, colon, or '{@inheritDoc}'."/>
+    </module>
+    <module name="NonEmptyAtclauseDescription"/>
+    <module name="JavadocTagContinuationIndentation">
+      <message key="tag.continuation.indent" value="Line continuation has incorrect indentation level, expected level should be {0} spaces more than previous line."/>
+    </module>
+    <module name="JavadocParagraph">
+      <message key="javadoc.paragraph.line.before" value="&lt;p&gt; tag should be preceded an with empty line."/>
+    </module>
+    <module name="ConstantName">
+      <message key="name.invalidPattern" value="Constant name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="LocalVariableName">
+      <property name="format" value="^_?[a-z][a-zA-Z0-9]*_?$"/>
+      <message key="name.invalidPattern" value="Local variable name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="LocalFinalVariableName">
+      <property name="format" value="^([A-Z][A-Z0-9]*(_[A-Z0-9]+)*)|(^_?[a-z][a-zA-Z0-9]*_?$)$"/>
+      <message key="name.invalidPattern" value="Local final variable name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="MemberName">
+      <message key="name.invalidPattern" value="Member name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="MethodName">
+      <message key="name.invalidPattern" value="Method name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="PackageName">
+      <property name="format" value="^[a-z]+(\.[a-z][a-z0-9]*)*$"/>
+      <message key="name.invalidPattern" value="Package name ''{0}'' must match pattern ''{1}''."/>
+    </module>
+    <module name="ParameterName">
+      <property name="format" value="^_?[a-z][a-zA-Z0-9]*_?$"/>
+      <property name="accessModifiers" value="private"/>
+    </module>