Merge branch 'graphs4value:main' into datastructure

author: Oszkár Semeráth <semerath@mit.bme.hu> 2023-07-24 14:37:16 +0200
committer: GitHub <noreply@github.com> 2023-07-24 14:37:16 +0200
commit: 8789304690384d19ad829286560aec5ed0917976 (patch)
tree: b157e78e8b6a3f2fb3d0eee6e1aa10d2c16e0204 /subprojects/language-ide/src/main/java
parent: decreasing steps in fast fuzz tests (diff)
parent: Merge pull request #27 from kris7t/ordered-result-set (diff)
download: refinery-8789304690384d19ad829286560aec5ed0917976.tar.gz
refinery-8789304690384d19ad829286560aec5ed0917976.tar.zst
refinery-8789304690384d19ad829286560aec5ed0917976.zip
8 files changed, 43 insertions, 0 deletions
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
index fb620065..122fe874 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
@@ -1,4 +1,10 @@
 /*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+/*
 * generated by Xtext 2.25.0
 */
 package tools.refinery.language.ide;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
index 5b88d41f..9d77e022 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
@@ -1,4 +1,10 @@
 /*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+/*
 * generated by Xtext 2.25.0
 */
 package tools.refinery.language.ide;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java
index fe722ca1..4511223b 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.language.ide.contentassist;
 import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
index 8f04ed00..e194ee31 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.language.ide.contentassist;
 import java.util.Objects;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java
index 3ece6f67..146bd8da 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.language.ide.contentassist;
 import com.google.inject.Inject;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java
index 80dfee5c..f906d881 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.language.ide.contentassist;
 import com.google.inject.Inject;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java
index c6c7f41f..fdc17c4f 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java
@@ -1,4 +1,10 @@
 /*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+/*
 * generated by Xtext 2.29.0.M2
 */
 package tools.refinery.language.ide.contentassist.antlr;
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
index 7703e4e3..e8f97d51 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.language.ide.syntaxcoloring;
 import com.google.common.collect.ImmutableList;
author	Oszkár Semeráth <semerath@mit.bme.hu>	2023-07-24 14:37:16 +0200
committer	GitHub <noreply@github.com>	2023-07-24 14:37:16 +0200
commit	8789304690384d19ad829286560aec5ed0917976 (patch)
tree	b157e78e8b6a3f2fb3d0eee6e1aa10d2c16e0204 /subprojects/language-ide/src/main/java
parent	decreasing steps in fast fuzz tests (diff)
parent	Merge pull request #27 from kris7t/ordered-result-set (diff)
download	refinery-8789304690384d19ad829286560aec5ed0917976.tar.gz refinery-8789304690384d19ad829286560aec5ed0917976.tar.zst refinery-8789304690384d19ad829286560aec5ed0917976.zip

diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java index fb620065..122fe874 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
@@ -1,4 +1,10 @@
1	/*	1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
		6
		7	/*
2	* generated by Xtext 2.25.0	8	* generated by Xtext 2.25.0
3	*/	9	*/
4	package tools.refinery.language.ide;	10	package tools.refinery.language.ide;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java index 5b88d41f..9d77e022 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
@@ -1,4 +1,10 @@
1	/*	1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
		6
		7	/*
2	* generated by Xtext 2.25.0	8	* generated by Xtext 2.25.0
3	*/	9	*/
4	package tools.refinery.language.ide;	10	package tools.refinery.language.ide;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java index fe722ca1..4511223b 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/FuzzyMatcher.java
@@ -1,3 +1,8 @@
		1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
1	package tools.refinery.language.ide.contentassist;	6	package tools.refinery.language.ide.contentassist;
2		7
3	import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher;	8	import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java index 8f04ed00..e194ee31 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
@@ -1,3 +1,8 @@
		1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
1	package tools.refinery.language.ide.contentassist;	6	package tools.refinery.language.ide.contentassist;
2		7
3	import java.util.Objects;	8	import java.util.Objects;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java index 3ece6f67..146bd8da 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingPartialProblemContentAssistParser.java
@@ -1,3 +1,8 @@
		1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
1	package tools.refinery.language.ide.contentassist;	6	package tools.refinery.language.ide.contentassist;
2		7
3	import com.google.inject.Inject;	8	import com.google.inject.Inject;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java index 80dfee5c..f906d881 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/TokenSourceInjectingProblemParser.java
@@ -1,3 +1,8 @@
		1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
1	package tools.refinery.language.ide.contentassist;	6	package tools.refinery.language.ide.contentassist;
2		7
3	import com.google.inject.Inject;	8	import com.google.inject.Inject;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java index c6c7f41f..fdc17c4f 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/antlr/ProblemTokenSource.java
@@ -1,4 +1,10 @@
1	/*	1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
		6
		7	/*
2	* generated by Xtext 2.29.0.M2	8	* generated by Xtext 2.29.0.M2
3	*/	9	*/
4	package tools.refinery.language.ide.contentassist.antlr;	10	package tools.refinery.language.ide.contentassist.antlr;


diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java index 7703e4e3..e8f97d51 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
@@ -1,3 +1,8 @@
		1	/*
		2	* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
		3	*
		4	* SPDX-License-Identifier: EPL-2.0
		5	*/
1	package tools.refinery.language.ide.syntaxcoloring;	6	package tools.refinery.language.ide.syntaxcoloring;
2		7
3	import com.google.common.collect.ImmutableList;	8	import com.google.common.collect.ImmutableList;