From a46cd3184f1c21eb58fd16a3fe85fec9c431d24f Mon Sep 17 00:00:00 2001 From: Armin Date: Mon, 7 Aug 2023 17:58:54 +0200 Subject: [PATCH 1/6] Update VerificationHandler.java --- .../ui/taskhandler/VerificationHandler.java | 31 +++++++++---------- 1 file changed, 15 insertions(+), 16 deletions(-) diff --git a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java index 5bbb649dd..8c7ea256f 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java +++ b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java @@ -89,7 +89,7 @@ public VerificationHandler(IFile file) { super(file); } - public void execute(Verification verification) throws IOException { + public List execute(Verification verification) throws IOException { // Setting target folder setTargetFolder(verification); // @@ -199,13 +199,11 @@ public void execute(Verification verification) throws IOException { ThreeStateBoolean verificationResult = result.getResult(); stopwatch.stop(); - TimeUnit timeUnit = TimeUnit.MILLISECONDS; - long elapsed = stopwatch.elapsed(timeUnit); - String elapsedString = elapsed + " " + timeUnit; + long elapsed = stopwatch.elapsed(TimeUnit.MILLISECONDS); retrievedVerificationResults.add( new VerificationResult( - serializedFormula, verificationResult, arguments, elapsedString)); + serializedFormula, verificationResult, arguments, elapsed)); // Checking if some of the unchecked properties are already covered if (trace != null && isOptimize) { @@ -258,6 +256,8 @@ public void execute(Verification verification) throws IOException { for (VerificationResult verificationResult : retrievedVerificationResults) { serializer.serialize(targetFolderUri, traceFileName, verificationResult); } + + return retrievedVerificationResults; } protected Result execute(AbstractVerification verificationTask, File modelFile, @@ -389,24 +389,23 @@ public void serialize(String resultFolderUri, String resultFileName, fileUtil.saveString(resultFolderUri + File.separator + fileName, jsonResult); } - @SuppressWarnings("unused") public static class VerificationResult { - private String query; - private ThreeStateBoolean result; - private String[] parameters; - private String executionTime; - - public VerificationResult(String query, ThreeStateBoolean result) { - this(query, result, null, null); - } + public String query; + public ThreeStateBoolean result; + public String[] parameters; + public long executionTimeMS; + public String constraint; + public String description; + public String name; + public String subject; public VerificationResult(String query, ThreeStateBoolean result, - String[] parameters, String executionTime) { + String[] parameters, long executionTimeMS) { this.query = query; this.result = result; this.parameters = parameters; - this.executionTime = executionTime; + this.executionTimeMS = executionTimeMS; } } From 32daa5c33e8710eb6d43aec2551b92128a547e14 Mon Sep 17 00:00:00 2001 From: Armin Date: Mon, 7 Aug 2023 18:29:43 +0200 Subject: [PATCH 2/6] Updated JRE to 17 --- plugins/core/de.uni_paderborn.uppaal/.classpath | 2 +- .../core/de.uni_paderborn.uppaal/META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.action.language.ide/.classpath | 6 +++++- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.action.language.ui/.classpath | 6 +++++- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.action.language/.classpath | 6 +++++- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.action.model/.classpath | 2 +- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.codegeneration.java/.classpath | 10 +++++++--- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.dialog/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.expression.language/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.expression.model/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.genmodel.language.ide/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.genmodel.language.ui/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.genmodel.language/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.genmodel.model/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.language.util/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.property.language.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.property.language.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.property.language/.classpath | 2 +- .../.launch/Launch Runtime Eclipse.launch | 11 ++++++----- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.property.model/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.querygenerator.gui/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.querygenerator/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.statechart.language/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.statechart.model/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.statechart.traverser/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.trace.language.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.trace.language.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../core/hu.bme.mit.gamma.trace.language/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.trace.model/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.transformation.util/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.ui/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- plugins/core/hu.bme.mit.gamma.ui/META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 10 +++++++--- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.uppaal.serializer/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.uppaal.transformation/.classpath | 10 +++++++--- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.uppaal.util/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../hu.bme.mit.gamma.uppaal.util/META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.uppaal.verification/.classpath | 8 ++++++-- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.util/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../core/hu.bme.mit.gamma.util/META-INF/MANIFEST.MF | 2 +- plugins/core/hu.bme.mit.gamma.validation/.classpath | 10 +++++++--- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../hu.bme.mit.gamma.validation/META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.verification.util/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 10 +++++++--- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.scenario.language.ide/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.scenario.language.ui/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.scenario.language/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.scenario.model/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/setup/hu.bme.mit.gamma.setup/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../setup/hu.bme.mit.gamma.setup/META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../META-INF/MANIFEST.MF | 6 +++--- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.theta.verification/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 9 ++++++--- .../META-INF/MANIFEST.MF | 2 +- plugins/xsts/hu.bme.mit.gamma.xsts.model/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 10 ++++++++++ .../hu.bme.mit.gamma.xsts.model/META-INF/MANIFEST.MF | 2 +- .../.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../hu.bme.mit.gamma.xsts.transformation/.classpath | 6 +++++- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 7 ++++--- .../META-INF/MANIFEST.MF | 2 +- 233 files changed, 809 insertions(+), 377 deletions(-) create mode 100644 plugins/core/hu.bme.mit.gamma.genmodel.model/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/core/hu.bme.mit.gamma.property.model/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/core/hu.bme.mit.gamma.trace.model/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.settings/org.eclipse.jdt.core.prefs create mode 100644 plugins/xsts/hu.bme.mit.gamma.xsts.model/.settings/org.eclipse.jdt.core.prefs diff --git a/plugins/core/de.uni_paderborn.uppaal/.classpath b/plugins/core/de.uni_paderborn.uppaal/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/core/de.uni_paderborn.uppaal/.classpath +++ b/plugins/core/de.uni_paderborn.uppaal/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/core/de.uni_paderborn.uppaal/META-INF/MANIFEST.MF b/plugins/core/de.uni_paderborn.uppaal/META-INF/MANIFEST.MF index deeb44ab6..04ea06ba9 100644 --- a/plugins/core/de.uni_paderborn.uppaal/META-INF/MANIFEST.MF +++ b/plugins/core/de.uni_paderborn.uppaal/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 0.4.0.qualifier Bundle-ClassPath: . Bundle-Vendor: Paderborn University Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: de.uni_paderborn.uppaal.derivedfeatures, uppaal, uppaal.core, diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.action.language.ide/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.action.language.ide/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF index 9db9e7a34..e34f1c921 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.eclipse.xtext.ide, org.eclipse.xtext.xbase.ide, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.action.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.action.language.ide.contentassist.antlr Automatic-Module-Name: hu.bme.mit.gamma.action.language.ide diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.action.language.ui/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.action.language.ui/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF index 6d0b82f55..03b581589 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF @@ -18,7 +18,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language.ui, org.eclipse.compare, org.eclipse.xtext.builder Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.action.language.ui.contentassist, hu.bme.mit.gamma.action.language.ui.internal, hu.bme.mit.gamma.action.language.ui.quickfix diff --git a/plugins/core/hu.bme.mit.gamma.action.language/.classpath b/plugins/core/hu.bme.mit.gamma.action.language/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.action.language/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF index 2eaa3bee9..2e98805b1 100644 --- a/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF @@ -22,7 +22,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtext.util, org.eclipse.core.resources -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Import-Package: org.apache.log4j Bundle-ActivationPolicy: lazy Automatic-Module-Name: hu.bme.mit.gamma.action.language diff --git a/plugins/core/hu.bme.mit.gamma.action.model/.classpath b/plugins/core/hu.bme.mit.gamma.action.model/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/core/hu.bme.mit.gamma.action.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.action.model/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF index 9d72843d3..d933fc6dd 100644 --- a/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF @@ -10,7 +10,7 @@ Require-Bundle: org.eclipse.core.runtime, org.eclipse.emf.ecore;visibility:=reexport, hu.bme.mit.gamma.expression.model;visibility:=reexport Bundle-ActivationPolicy: lazy -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.action.derivedfeatures, hu.bme.mit.gamma.action.model, hu.bme.mit.gamma.action.model.impl, diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF index 9ad4c675b..cfe75f669 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Command Handler of Java Code Generator Bundle-SymbolicName: hu.bme.mit.gamma.codegeneration.java.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui.workbench;bundle-version="3.107.1", org.eclipse.core.resources;bundle-version="3.10.1", org.eclipse.core.commands, diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.classpath b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF index 11fd44355..d563ec67a 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.codegeneration.java.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.codegenerator.java.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java/.classpath b/plugins/core/hu.bme.mit.gamma.codegeneration.java/.classpath index 12ec8e1af..1e2706948 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java/.classpath +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java/.classpath @@ -1,9 +1,13 @@ - + + + + + - + - + diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.codegeneration.java/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF index 80a034f84..68cccc2da 100644 --- a/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF @@ -19,6 +19,6 @@ Require-Bundle: org.eclipse.emf.ecore, hu.bme.mit.gamma.statechart.model, hu.bme.mit.gamma.yakindu.transformation.traceability, hu.bme.mit.gamma.codegeneration.java.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.codegenerator.java Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.classpath index 9fb7dbcaa..02b6e4df1 100644 --- a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.classpath @@ -1,6 +1,6 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF index fa5e08540..c3c529445 100644 --- a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.composition.xsts.uppaal.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.composition.xsts.uppaal.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.dialog/.classpath b/plugins/core/hu.bme.mit.gamma.dialog/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.dialog/.classpath +++ b/plugins/core/hu.bme.mit.gamma.dialog/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.dialog/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.dialog/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.dialog/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.dialog/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF index 6c578bf19..e646dde4c 100644 --- a/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Gamma Dialog Bundle-SymbolicName: hu.bme.mit.gamma.dialog;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.xtend.lib, org.eclipse.ui, org.eclipse.core.runtime diff --git a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF index 4ed0e5949..bd6a76ed0 100644 --- a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.eventpriority.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.eventpriority.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.expression.language.ide/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ide/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.expression.language.ide/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF index 3f6fb213d..52ecb61d4 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF @@ -10,7 +10,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.eclipse.xtext.ide, org.eclipse.xtext.xbase.ide, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.expression.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.expression.language.ide.contentassist.antlr Automatic-Module-Name: hu.bme.mit.gamma.expression.language.ide diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.expression.language.ui/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ui/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.expression.language.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF index c21bb5757..7bef19f6a 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF @@ -17,7 +17,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.eclipse.compare, org.eclipse.xtext.builder Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.expression.language.ui.quickfix, hu.bme.mit.gamma.expression.language.ui.internal, hu.bme.mit.gamma.expression.language.ui.contentassist diff --git a/plugins/core/hu.bme.mit.gamma.expression.language/.classpath b/plugins/core/hu.bme.mit.gamma.expression.language/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.expression.language/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.expression.language/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.expression.language/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.expression.language/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF index 53f4df57c..0efeb62e1 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF @@ -12,7 +12,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.model, org.eclipse.xtext.xbase.lib;bundle-version="2.14.0", org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtext.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.expression.language, hu.bme.mit.gamma.expression.language.formatting, hu.bme.mit.gamma.expression.language.generator, diff --git a/plugins/core/hu.bme.mit.gamma.expression.model/.classpath b/plugins/core/hu.bme.mit.gamma.expression.model/.classpath index dc9f3ae4e..77e4cb429 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.expression.model/.classpath @@ -1,6 +1,6 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.expression.model/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.expression.model/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.model/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.expression.model/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF index e33e480aa..e5926d727 100644 --- a/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.expression.derivedfeatures, hu.bme.mit.gamma.expression.model, hu.bme.mit.gamma.expression.model.impl, diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF index bb44edee3..e8e2cff96 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Command Handler of Gamma Generator Models Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui, org.eclipse.emf.ecore, org.eclipse.core.resources, diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.classpath index b29a82b44..e56a6141c 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.classpath @@ -3,7 +3,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF index f038b2670..b0fdb24a6 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.eclipse.xtext.ide, org.eclipse.xtext.xbase.ide, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.genmodel.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.genmodel.language.ide.contentassist.antlr Automatic-Module-Name: hu.bme.mit.gamma.genmodel.language.ide diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.classpath index 2f3538eee..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.classpath @@ -3,7 +3,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF index 6497e2ded..a4e3cc2d0 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF @@ -20,7 +20,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language.ui, org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional, org.eclipse.xtext.xbase.lib;bundle-version="2.14.0" Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.genmodel.language.ui.contentassist, hu.bme.mit.gamma.genmodel.language.ui.quickfix, hu.bme.mit.gamma.genmodel.language.ui.internal diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language/.classpath b/plugins/core/hu.bme.mit.gamma.genmodel.language/.classpath index b29a82b44..e56a6141c 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language/.classpath @@ -3,7 +3,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.genmodel.language/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF index 0d9909af5..9b9de6e44 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF @@ -15,7 +15,7 @@ Require-Bundle: hu.bme.mit.gamma.genmodel.model, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtext.util, org.eclipse.xtend.lib;bundle-version="2.14.0" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.genmodel.language.formatting, hu.bme.mit.gamma.genmodel.language.generator, hu.bme.mit.gamma.genmodel.language.scoping, diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.model/.classpath b/plugins/core/hu.bme.mit.gamma.genmodel.model/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.genmodel.model/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.model/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.genmodel.model/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/core/hu.bme.mit.gamma.genmodel.model/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF index da13ebaec..b08cce7c5 100644 --- a/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.genmodel.derivedfeatures, hu.bme.mit.gamma.genmodel.model, hu.bme.mit.gamma.genmodel.model.impl, diff --git a/plugins/core/hu.bme.mit.gamma.language.util/.classpath b/plugins/core/hu.bme.mit.gamma.language.util/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.language.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.language.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.language.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.language.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.language.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.language.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF index 3c0312ea7..0802234e3 100644 --- a/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.language.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.language.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.core.resources, org.eclipse.xtext, org.eclipse.equinox.registry, diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.property.language.ide/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.property.language.ide/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.property.language.ide/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.property.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF index 62fe1aea2..95dbf3696 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF @@ -14,6 +14,6 @@ Require-Bundle: hu.bme.mit.gamma.property.model, org.eclipse.xtext.ide, org.eclipse.xtext.xbase.ide, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.property.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.property.language.ide.contentassist.antlr diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.property.language.ui/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.property.language.ui/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.property.language.ui/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.property.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF index abd35f1b1..baaf2ec5c 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF @@ -24,7 +24,7 @@ Require-Bundle: hu.bme.mit.gamma.property.model, org.eclipse.xtext.xbase.lib;bundle-version="2.14.0", org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.property.language.ui.contentassist, hu.bme.mit.gamma.property.language.ui.internal, hu.bme.mit.gamma.property.language.ui.quickfix, diff --git a/plugins/core/hu.bme.mit.gamma.property.language/.classpath b/plugins/core/hu.bme.mit.gamma.property.language/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.property.language/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.property.language/.launch/Launch Runtime Eclipse.launch b/plugins/core/hu.bme.mit.gamma.property.language/.launch/Launch Runtime Eclipse.launch index 0f2230f2c..a59052e05 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language/.launch/Launch Runtime Eclipse.launch +++ b/plugins/core/hu.bme.mit.gamma.property.language/.launch/Launch Runtime Eclipse.launch @@ -13,25 +13,26 @@ - + + - - + + - + - + diff --git a/plugins/core/hu.bme.mit.gamma.property.language/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.property.language/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.property.language/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF index ee2ba8796..d63b027ea 100644 --- a/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF @@ -18,7 +18,7 @@ Require-Bundle: hu.bme.mit.gamma.property.model, org.eclipse.xtext.util, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtend.lib;bundle-version="2.14.0" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.property.language, hu.bme.mit.gamma.property.language.formatting, hu.bme.mit.gamma.property.language.generator, diff --git a/plugins/core/hu.bme.mit.gamma.property.model/.classpath b/plugins/core/hu.bme.mit.gamma.property.model/.classpath index 099e24f14..e42e8e96e 100644 --- a/plugins/core/hu.bme.mit.gamma.property.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.property.model/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.property.model/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.property.model/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/core/hu.bme.mit.gamma.property.model/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF index 4bf8b6b5c..165cb7018 100644 --- a/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF @@ -7,7 +7,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.property.derivedfeatures, hu.bme.mit.gamma.property.model, hu.bme.mit.gamma.property.model.impl, diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF index c7b2c88f1..36733f3fe 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Command Handler of UPPAAL Query Generator Bundle-SymbolicName: hu.bme.mit.gamma.querygenerator.gui.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui, org.eclipse.core.resources, org.eclipse.equinox.registry, diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.classpath b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF index d8fb6dc24..9c3ca7a4c 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF @@ -19,6 +19,6 @@ Require-Bundle: com.google.inject;bundle-version="3.0.0", hu.bme.mit.gamma.language.util, hu.bme.mit.gamma.verification.util, hu.bme.mit.gamma.theta.verification -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.querygenerator Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator/.classpath b/plugins/core/hu.bme.mit.gamma.querygenerator/.classpath index e640c9e86..5a7b99efe 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator/.classpath +++ b/plugins/core/hu.bme.mit.gamma.querygenerator/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.querygenerator/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.querygenerator/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF index 9eb331043..18c99f76d 100644 --- a/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF @@ -18,6 +18,6 @@ Require-Bundle: org.eclipse.emf.ecore, hu.bme.mit.gamma.uppaal.util, hu.bme.mit.gamma.xsts.transformation.util, hu.bme.mit.gamma.transformation.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.querygenerator Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF index aa0a95c8a..472e59462 100644 --- a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.serializer.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.serializer.commandhandler -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui, org.eclipse.emf.ecore, org.eclipse.core.resources, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF index 76e9ed29a..de07f07e1 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.statechart.contract.testgeneration.java Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.testgeneration.java -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF index 27a2021e5..49370ec18 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.statechart.contract.tracegeneration Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.tracegeneration -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF index 9d8f6284e..3e22d1d66 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF @@ -12,7 +12,7 @@ Require-Bundle: hu.bme.mit.gamma.statechart.language, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", hu.bme.mit.gamma.action.language, hu.bme.mit.gamma.expression.language -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.statechart.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.statechart.language.ide.contentassist.antlr Automatic-Module-Name: hu.bme.mit.gamma.statechart.language.ide diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF index 56232f445..b76a28b0d 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF @@ -20,7 +20,7 @@ Require-Bundle: hu.bme.mit.gamma.statechart.language, hu.bme.mit.gamma.expression.language.ui, hu.bme.mit.gamma.language.util Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.statechart.language.ui.contentassist, hu.bme.mit.gamma.statechart.language.ui.internal, hu.bme.mit.gamma.statechart.language.ui.quickfix, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.language/.classpath index 0fa64c8e5..667bea179 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.language/.classpath @@ -2,7 +2,11 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.language/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.language/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF index 2fdbe7bc3..988cad967 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF @@ -24,7 +24,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtext.util, org.eclipse.core.resources -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Import-Package: org.apache.log4j Bundle-ActivationPolicy: lazy Automatic-Module-Name: hu.bme.mit.gamma.statechart.language diff --git a/plugins/core/hu.bme.mit.gamma.statechart.model/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.model/.classpath index dc9f3ae4e..77e4cb429 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.model/.classpath @@ -1,6 +1,6 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.model/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.model/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.model/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.model/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF index 647fd6a67..bd3168aec 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: org.eclipse.core.runtime, hu.bme.mit.gamma.action.model;visibility:=reexport, hu.bme.mit.gamma.expression.model;visibility:=reexport Bundle-ActivationPolicy: lazy -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.statechart.composite, hu.bme.mit.gamma.statechart.composite.impl, hu.bme.mit.gamma.statechart.composite.util, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF index ec2140b31..146275b8f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.statechart.phase.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.statechart.phase.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.statechart.traverser/.classpath b/plugins/core/hu.bme.mit.gamma.statechart.traverser/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.traverser/.classpath +++ b/plugins/core/hu.bme.mit.gamma.statechart.traverser/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.statechart.traverser/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.statechart.traverser/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.traverser/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.statechart.traverser/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF index 3c42da62f..e55eca10d 100644 --- a/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.statechart.traverser Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.statechart.traverser -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/META-INF/MANIFEST.MF index 03ce8781f..8ebde0a50 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.environment.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.trace.environment.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.trace.environment.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ide/.classpath b/plugins/core/hu.bme.mit.gamma.trace.language.ide/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ide/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ide/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.language.ide/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.language.ide/META-INF/MANIFEST.MF index b4bdc8e2f..b05a0f24c 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ide/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ide/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.eclipse.xtext.ide, org.eclipse.xtext.xbase.ide, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.trace.language.ide.contentassist.antlr, hu.bme.mit.gamma.trace.language.ide.contentassist.antlr.internal Automatic-Module-Name: hu.bme.mit.gamma.trace.language.ide diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ui/.classpath b/plugins/core/hu.bme.mit.gamma.trace.language.ui/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ui/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.language.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.language.ui/META-INF/MANIFEST.MF index 6b58443f8..4f8823856 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.language.ui/META-INF/MANIFEST.MF @@ -21,7 +21,7 @@ Require-Bundle: hu.bme.mit.gamma.language.util, org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional, org.eclipse.xtext.xbase.lib;bundle-version="2.14.0" Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.trace.language.ui.contentassist, hu.bme.mit.gamma.trace.language.ui.internal, hu.bme.mit.gamma.trace.language.ui.quickfix, diff --git a/plugins/core/hu.bme.mit.gamma.trace.language/.classpath b/plugins/core/hu.bme.mit.gamma.trace.language/.classpath index 12798281b..be6ae95ec 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.language/.classpath @@ -3,7 +3,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.trace.language/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.language/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.language/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.language/META-INF/MANIFEST.MF index 70b6bbbfa..c4dfabd5a 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.language/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.language/META-INF/MANIFEST.MF @@ -17,7 +17,7 @@ Require-Bundle: hu.bme.mit.gamma.expression.language, org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.eclipse.xtext.util, org.eclipse.xtend.lib;bundle-version="2.14.0" -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.trace.language, hu.bme.mit.gamma.trace.language.formatting, hu.bme.mit.gamma.trace.language.generator, diff --git a/plugins/core/hu.bme.mit.gamma.trace.model/.classpath b/plugins/core/hu.bme.mit.gamma.trace.model/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.model/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.model/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.trace.model/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.model/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/core/hu.bme.mit.gamma.trace.model/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF index 62bf75fa4..f191615f3 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.trace.derivedfeatures, hu.bme.mit.gamma.trace.model, hu.bme.mit.gamma.trace.model.impl, diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.classpath index 3d9ca66d5..90249aeb9 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF/MANIFEST.MF index e352710a4..69d0df570 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF/MANIFEST.MF @@ -4,7 +4,7 @@ Bundle-Name: Command Handler of Java JUnit Test Generator Bundle-SymbolicName: hu.bme.mit.gamma.trace.testgeneration.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui, org.eclipse.core.resources, org.eclipse.equinox.registry, diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.classpath b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.classpath +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/META-INF/MANIFEST.MF index 9c149654d..f50d8ee7a 100644 --- a/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.trace.testgeneration.java Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.trace.testgeneration.java -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.transformation.util/.classpath b/plugins/core/hu.bme.mit.gamma.transformation.util/.classpath index e640c9e86..5a7b99efe 100644 --- a/plugins/core/hu.bme.mit.gamma.transformation.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.transformation.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.transformation.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.transformation.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.transformation.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.transformation.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.transformation.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.transformation.util/META-INF/MANIFEST.MF index b68a5d573..e97fe05a6 100644 --- a/plugins/core/hu.bme.mit.gamma.transformation.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.transformation.util/META-INF/MANIFEST.MF @@ -21,6 +21,6 @@ Require-Bundle: org.eclipse.emf.ecore, hu.bme.mit.gamma.property.model, hu.bme.mit.gamma.eventpriority.transformation, hu.bme.mit.gamma.statechart.phase.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.transformation.util Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.ui/.classpath b/plugins/core/hu.bme.mit.gamma.ui/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/.classpath +++ b/plugins/core/hu.bme.mit.gamma.ui/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.ui/META-INF/MANIFEST.MF index 66fe8a41a..5855450d4 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.ui/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.ui Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.ui -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.gson, org.eclipse.equinox.registry, org.eclipse.core.resources, diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/META-INF/MANIFEST.MF index 594fb39c4..c08bc6218 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Command Handler of Gamma Composite System to UPPAAL Transformer Bundle-SymbolicName: hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.core.commands, org.eclipse.jface, org.eclipse.ui.workbench, diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.classpath index 12ec8e1af..1e2706948 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.classpath @@ -1,9 +1,13 @@ - + + + + + - + - + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/META-INF/MANIFEST.MF index 5570cfc28..32bc3c602 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.composition.transformation/META-INF/MANIFEST.MF @@ -24,6 +24,6 @@ Require-Bundle: de.uni_paderborn.uppaal, org.eclipse.viatra.query.runtime, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.uppaal.composition.transformation Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/META-INF/MANIFEST.MF index 84d5f84e0..ef7e7a87c 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.serializer/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.serializer/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: UPPAAL EMF Serializer to XML Bundle-SymbolicName: hu.bme.mit.gamma.uppaal.serializer Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.classpath index d837b662e..a1b331a26 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.classpath @@ -1,7 +1,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/META-INF/MANIFEST.MF index a16c816c9..e98340491 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation.traceability/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.uppaal.transformation.traceability, hu.bme.mit.gamma.uppaal.transformation.traceability.impl, hu.bme.mit.gamma.uppaal.transformation.traceability.util diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.classpath index 12ec8e1af..1e2706948 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.classpath @@ -1,9 +1,13 @@ - + + + + + - + - + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/META-INF/MANIFEST.MF index 3013f2279..933c26b61 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.transformation/META-INF/MANIFEST.MF @@ -16,6 +16,6 @@ Require-Bundle: hu.bme.mit.gamma.expression.model, de.uni_paderborn.uppaal, hu.bme.mit.gamma.statechart.model, hu.bme.mit.gamma.uppaal.transformation.traceability -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.uppaal.transformation Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.util/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.util/META-INF/MANIFEST.MF index 771f5b8e6..f166a299b 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.uppaal.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.uppaal.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.verification/.classpath b/plugins/core/hu.bme.mit.gamma.uppaal.verification/.classpath index 26f288ccb..1e2706948 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.verification/.classpath +++ b/plugins/core/hu.bme.mit.gamma.uppaal.verification/.classpath @@ -1,9 +1,13 @@ - + + + + + - + diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.verification/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.uppaal.verification/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.verification/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.uppaal.verification/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.uppaal.verification/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.uppaal.verification/META-INF/MANIFEST.MF index 7be026ab3..c19c4e280 100644 --- a/plugins/core/hu.bme.mit.gamma.uppaal.verification/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.uppaal.verification/META-INF/MANIFEST.MF @@ -22,6 +22,6 @@ Require-Bundle: com.google.guava, hu.bme.mit.gamma.verification.util, hu.bme.mit.gamma.theta.verification, hu.bme.mit.gamma.querygenerator -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.uppaal.backannotation Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.util/.classpath b/plugins/core/hu.bme.mit.gamma.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.util/META-INF/MANIFEST.MF index bba687094..0b1c58a87 100644 --- a/plugins/core/hu.bme.mit.gamma.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.core.runtime, org.eclipse.core.resources, org.eclipse.emf.ecore, diff --git a/plugins/core/hu.bme.mit.gamma.validation/.classpath b/plugins/core/hu.bme.mit.gamma.validation/.classpath index 7d9246e1f..7359b62f7 100644 --- a/plugins/core/hu.bme.mit.gamma.validation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.validation/.classpath @@ -1,8 +1,12 @@ - + + + + + - - + + diff --git a/plugins/core/hu.bme.mit.gamma.validation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.validation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.validation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.validation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.validation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.validation/META-INF/MANIFEST.MF index a05ce5632..58c6cdbbb 100644 --- a/plugins/core/hu.bme.mit.gamma.validation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.validation/META-INF/MANIFEST.MF @@ -12,6 +12,6 @@ Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, hu.bme.mit.gamma.expression.model, hu.bme.mit.gamma.action.model, hu.bme.mit.gamma.statechart.model -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.validation Import-Package: org.apache.log4j diff --git a/plugins/core/hu.bme.mit.gamma.verification.util/.classpath b/plugins/core/hu.bme.mit.gamma.verification.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/core/hu.bme.mit.gamma.verification.util/.classpath +++ b/plugins/core/hu.bme.mit.gamma.verification.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.verification.util/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.verification.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.verification.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.verification.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.verification.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.verification.util/META-INF/MANIFEST.MF index abee16c8a..d9bcf7de1 100644 --- a/plugins/core/hu.bme.mit.gamma.verification.util/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.verification.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.verification.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.verification.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.verification.result, hu.bme.mit.gamma.verification.util Require-Bundle: org.eclipse.emf.ecore, diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.classpath b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.classpath +++ b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/META-INF/MANIFEST.MF index 72b07cd73..c2f5545b1 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: Command Handler of the Yakindu Interface Transformer Bundle-SymbolicName: hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.ui, org.eclipse.core.resources, org.eclipse.equinox.registry, diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.classpath b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.classpath index d837b662e..a1b331a26 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.classpath +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.classpath @@ -1,7 +1,7 @@ - + diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/META-INF/MANIFEST.MF index 75946bb94..15308475f 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation.traceability/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.yakindu.transformation.traceability, hu.bme.mit.gamma.yakindu.transformation.traceability.impl, hu.bme.mit.gamma.yakindu.transformation.traceability.util diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.classpath b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.classpath index 12ec8e1af..1e2706948 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.classpath +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.classpath @@ -1,9 +1,13 @@ - + + + + + - + - + diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/META-INF/MANIFEST.MF index 6d5d39456..ebb2c03bf 100644 --- a/plugins/core/hu.bme.mit.gamma.yakindu.transformation/META-INF/MANIFEST.MF +++ b/plugins/core/hu.bme.mit.gamma.yakindu.transformation/META-INF/MANIFEST.MF @@ -19,6 +19,6 @@ Require-Bundle: hu.bme.mit.gamma.statechart.model, org.eclipse.viatra.query.runtime, org.eclipse.xtext.xbase.lib, org.eclipse.emf.ecore -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.yakindu.transformation Import-Package: org.apache.log4j diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.classpath index 2f3538eee..be6ae95ec 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.classpath @@ -3,7 +3,11 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/META-INF/MANIFEST.MF index 9268a1650..3d2a78c52 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ide/META-INF/MANIFEST.MF @@ -11,7 +11,7 @@ Require-Bundle: org.eclipse.xtext.ide, hu.bme.mit.gamma.expression.language, hu.bme.mit.gamma.scenario.model, hu.bme.mit.gamma.scenario.language -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.scenario.language.ide.contentassist.antlr.internal, hu.bme.mit.gamma.scenario.language.ide.contentassist.antlr, hu.bme.mit.gamma.scenario.language.ide.contentassist.antlr.internal, diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.classpath index 2f3538eee..be6ae95ec 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.classpath @@ -3,7 +3,11 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/META-INF/MANIFEST.MF index 7081ed107..5f60fa149 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language.ui/META-INF/MANIFEST.MF @@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.xtext.ui, hu.bme.mit.gamma.scenario.language, hu.bme.mit.gamma.scenario.language.ide Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.scenario.language.ui.quickfix, hu.bme.mit.gamma.scenario.language.ui.internal, hu.bme.mit.gamma.scenario.language.ui.contentassist diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.language/.classpath index 9487c6209..4ce2002fd 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.language/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.language/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.language/META-INF/MANIFEST.MF index d8cd72449..150885975 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.language/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.language/META-INF/MANIFEST.MF @@ -16,7 +16,7 @@ Require-Bundle: org.eclipse.xtext, hu.bme.mit.gamma.expression.language, hu.bme.mit.gamma.statechart.language, org.eclipse.core.resources -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.scenario.language, hu.bme.mit.gamma.scenario.language.formatting, hu.bme.mit.gamma.scenario.language.generator, diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.model/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.model/.classpath index 9404e3d0f..95a34493b 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.model/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.model/.classpath @@ -1,7 +1,11 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.model/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.model/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.model/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.model/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.model/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.model/META-INF/MANIFEST.MF index 75f0a4829..cf35b9bff 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.model/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.model/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.scenario.model, hu.bme.mit.gamma.scenario.model.derivedfeatures, hu.bme.mit.gamma.scenario.model.impl, diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/META-INF/MANIFEST.MF index 1925119b8..eebec0840 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.generator/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.scenario.statechart.generator Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.scenario.statechart.generator -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.scenario.statechart.generator, hu.bme.mit.gamma.scenario.statechart.generator.serializer Require-Bundle: com.google.guava, diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/META-INF/MANIFEST.MF index f3462321b..6e0a7b544 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.statechart.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.scenario.statechart.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.scenario.statechart.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: hu.bme.mit.gamma.statechart.model, hu.bme.mit.gamma.scenario.model, com.google.guava, diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.classpath b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.classpath +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.settings/org.eclipse.jdt.core.prefs b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/META-INF/MANIFEST.MF b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/META-INF/MANIFEST.MF index 26f5ed0dd..bbad405f2 100644 --- a/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/META-INF/MANIFEST.MF +++ b/plugins/scenario/hu.bme.mit.gamma.scenario.trace.generator/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.scenario.trace.generator Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.scenario.trace.generator -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/setup/hu.bme.mit.gamma.setup/.classpath b/plugins/setup/hu.bme.mit.gamma.setup/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/setup/hu.bme.mit.gamma.setup/.classpath +++ b/plugins/setup/hu.bme.mit.gamma.setup/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/setup/hu.bme.mit.gamma.setup/.settings/org.eclipse.jdt.core.prefs b/plugins/setup/hu.bme.mit.gamma.setup/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/setup/hu.bme.mit.gamma.setup/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/setup/hu.bme.mit.gamma.setup/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/setup/hu.bme.mit.gamma.setup/META-INF/MANIFEST.MF b/plugins/setup/hu.bme.mit.gamma.setup/META-INF/MANIFEST.MF index be213b54e..ea2e66952 100644 --- a/plugins/setup/hu.bme.mit.gamma.setup/META-INF/MANIFEST.MF +++ b/plugins/setup/hu.bme.mit.gamma.setup/META-INF/MANIFEST.MF @@ -31,5 +31,5 @@ Require-Bundle: org.eclipse.core.runtime, hu.bme.mit.gamma.genmodel.model, hu.bme.mit.gamma.action.language Automatic-Module-Name: hu.bme.mit.gamma.setup -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Bundle-Vendor: BME-FTSRG diff --git a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.classpath b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.classpath +++ b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/META-INF/MANIFEST.MF b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/META-INF/MANIFEST.MF index 38093385b..488e2b914 100644 --- a/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/META-INF/MANIFEST.MF +++ b/plugins/vis/hu.bme.mit.gamma.plantuml.transformation/META-INF/MANIFEST.MF @@ -7,7 +7,7 @@ Bundle-Vendor: BME-FTSRG Require-Bundle: org.eclipse.xtext.xbase.lib, net.sourceforge.plantuml.lib, hu.bme.mit.gamma.trace.model -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.statechart.plantuml.transformation Import-Package: org.apache.log4j Export-Package: hu.bme.mit.gamma.plantuml.serialization, diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.classpath b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.classpath index d837b662e..a1b331a26 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.classpath @@ -1,7 +1,7 @@ - + diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF index eaea80940..fe875d8ea 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF @@ -1,12 +1,12 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 -Bundle-Name: Gamma Low-level Statechart To XSTS Transformation Traceability Metamodel +Bundle-Name: %pluginName Bundle-SymbolicName: hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability;singleton:=true Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . -Bundle-Vendor: BME-FTSRG +Bundle-Vendor: %providerName Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability, hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability.impl, hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability.util diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.classpath b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.classpath index 27c2a395f..5f171b067 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/META-INF/MANIFEST.MF index 71d5bbab7..9a814139a 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation/META-INF/MANIFEST.MF @@ -21,6 +21,6 @@ Require-Bundle: hu.bme.mit.gamma.expression.model, org.eclipse.xtend.lib.macro, hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability, hu.bme.mit.gamma.xsts.transformation.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Automatic-Module-Name: hu.bme.mit.gamma.lowlevel.xsts.transformation Import-Package: org.apache.log4j diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.classpath b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/META-INF/MANIFEST.MF index 6ce1984fc..bd457dfda 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.model/META-INF/MANIFEST.MF @@ -7,7 +7,7 @@ Bundle-Version: 2.7.0.qualifier Bundle-ClassPath: . Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.statechart.lowlevel.derivedfeatures, hu.bme.mit.gamma.statechart.lowlevel.model, hu.bme.mit.gamma.statechart.lowlevel.model.impl, diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.classpath b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.classpath index e801ebfb4..3628e3368 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/META-INF/MANIFEST.MF index 540ac5164..4ca377853 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/META-INF/MANIFEST.MF @@ -4,7 +4,7 @@ Bundle-Name: Command Handler for the XSTS Transformation Bundle-SymbolicName: hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler;singleton:=true Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: org.eclipse.core.commands;bundle-version="3.9.0", org.eclipse.core.resources;bundle-version="3.12.0", org.eclipse.ui.workbench;bundle-version="3.110.0", diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.classpath b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.classpath index 2398dfe58..02b6e4df1 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/META-INF/MANIFEST.MF index 3f4652ef2..2491c3822 100644 --- a/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.statechart.lowlevel.transformation/META-INF/MANIFEST.MF @@ -4,7 +4,7 @@ Bundle-Name: Gamma Statechart to Low-level Statechart Transformation Bundle-SymbolicName: hu.bme.mit.gamma.statechart.lowlevel.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/xsts/hu.bme.mit.gamma.theta.verification/.classpath b/plugins/xsts/hu.bme.mit.gamma.theta.verification/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/xsts/hu.bme.mit.gamma.theta.verification/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.theta.verification/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.theta.verification/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.theta.verification/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.theta.verification/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.theta.verification/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.theta.verification/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.theta.verification/META-INF/MANIFEST.MF index ee102164a..2e700fdb5 100644 --- a/plugins/xsts/hu.bme.mit.gamma.theta.verification/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.theta.verification/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.theta.verification Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.theta.verification -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.classpath b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.classpath index 2398dfe58..02b6e4df1 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.settings/org.eclipse.jdt.core.prefs index f4d933e4e..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/.settings/org.eclipse.jdt.core.prefs @@ -1,7 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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.source=11 +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/META-INF/MANIFEST.MF index 4eb0c95fb..a07558e39 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.codegeneration.java/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.xsts.codegeneration.java Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.xsts.codegeneration.java -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.model/.classpath b/plugins/xsts/hu.bme.mit.gamma.xsts.model/.classpath index 71ac142d9..e42e8e96e 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.model/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.model/.classpath @@ -2,7 +2,7 @@ - + diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.model/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.xsts.model/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..d4540a53f --- /dev/null +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.model/.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=17 +org.eclipse.jdt.core.compiler.compliance=17 +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=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.model/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.xsts.model/META-INF/MANIFEST.MF index ff61a2967..cca942a2e 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.model/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.model/META-INF/MANIFEST.MF @@ -10,7 +10,7 @@ Require-Bundle: org.eclipse.core.runtime, Bundle-ActivationPolicy: lazy Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.xsts.derivedfeatures, hu.bme.mit.gamma.xsts.model, hu.bme.mit.gamma.xsts.model.impl, diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.classpath b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/META-INF/MANIFEST.MF index 9ef67dc91..cec7b0128 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation.util/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.xsts.transformation.util Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.xsts.transformation.util -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.classpath b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.classpath index 47ce7cd07..5cf859b24 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.classpath @@ -1,6 +1,10 @@ - + + + + + diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.settings/org.eclipse.jdt.core.prefs index 7adc0fb9a..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,10 +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.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/META-INF/MANIFEST.MF index e6dab79e7..d812f884a 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.xsts.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.xsts.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.classpath b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.classpath index 9fb7dbcaa..02b6e4df1 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.classpath +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.classpath @@ -1,6 +1,6 @@ - + diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs index c9545f06a..d4540a53f 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 -org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 +org.eclipse.jdt.core.compiler.compliance=17 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 +org.eclipse.jdt.core.compiler.source=17 diff --git a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/META-INF/MANIFEST.MF index 21735e0ef..5216818df 100644 --- a/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.xsts.uppaal.transformation/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: hu.bme.mit.gamma.xsts.uppaal.transformation Bundle-Version: 2.7.0.qualifier Bundle-Vendor: BME-FTSRG Automatic-Module-Name: hu.bme.mit.gamma.xsts.uppaal.transformation -Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-RequiredExecutionEnvironment: JavaSE-17 Require-Bundle: com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, From e78ea520049be35c8ebaa6c15afa5a4a7523b3da Mon Sep 17 00:00:00 2001 From: Armin Date: Mon, 7 Aug 2023 18:29:58 +0200 Subject: [PATCH 3/6] Extended verification results --- .../ui/taskhandler/VerificationHandler.java | 39 +++++++++---------- .../src/hu/bme/mit/gamma/util/JavaUtil.xtend | 4 ++ 2 files changed, 22 insertions(+), 21 deletions(-) diff --git a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java index 8c7ea256f..bc545a68e 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java +++ b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java @@ -199,11 +199,16 @@ public List execute(Verification verification) throws IOExce ThreeStateBoolean verificationResult = result.getResult(); stopwatch.stop(); - long elapsed = stopwatch.elapsed(TimeUnit.MILLISECONDS); + long elapsedMS = stopwatch.elapsed(TimeUnit.MILLISECONDS); - retrievedVerificationResults.add( - new VerificationResult( - serializedFormula, verificationResult, arguments, elapsed)); + VerificationResult resultTemp = new VerificationResult(); + resultTemp.query = serializedFormula; + resultTemp.result = verificationResult; + resultTemp.parameters = arguments; + resultTemp.executionTimeMS = elapsedMS; + resultTemp.traceSvgPath = targetFolderUri + "/" + svgFileName + retrievedVerificationResults.size() + ".svg"; + + retrievedVerificationResults.add(resultTemp); // Checking if some of the unchecked properties are already covered if (trace != null && isOptimize) { @@ -390,24 +395,16 @@ public void serialize(String resultFolderUri, String resultFileName, } public static class VerificationResult { + public String name = ""; + public String subject = ""; + public String description = ""; + public String constraint = ""; - public String query; - public ThreeStateBoolean result; - public String[] parameters; - public long executionTimeMS; - public String constraint; - public String description; - public String name; - public String subject; - - public VerificationResult(String query, ThreeStateBoolean result, - String[] parameters, long executionTimeMS) { - this.query = query; - this.result = result; - this.parameters = parameters; - this.executionTimeMS = executionTimeMS; - } - + public String traceSvgPath = ""; + public long executionTimeMS = -1; + public String query = ""; + public ThreeStateBoolean result = ThreeStateBoolean.UNDEF; + public String[] parameters = { }; } } diff --git a/plugins/core/hu.bme.mit.gamma.util/src/hu/bme/mit/gamma/util/JavaUtil.xtend b/plugins/core/hu.bme.mit.gamma.util/src/hu/bme/mit/gamma/util/JavaUtil.xtend index 7fef402a5..d5cbae0cc 100644 --- a/plugins/core/hu.bme.mit.gamma.util/src/hu/bme/mit/gamma/util/JavaUtil.xtend +++ b/plugins/core/hu.bme.mit.gamma.util/src/hu/bme/mit/gamma/util/JavaUtil.xtend @@ -59,6 +59,10 @@ class JavaUtil { return last } + def Iterable exceptLast(Collection collection) { + return collection.take(collection.size - 1) + } + def boolean isUnique(Iterable collection) { val set = newHashSet for (element : collection) { From 956b24d28f2647b8c0971f7c65cd7ccbb9b1db43 Mon Sep 17 00:00:00 2001 From: Armin Zavada Date: Wed, 30 Aug 2023 18:19:18 +0200 Subject: [PATCH 4/6] Refactored verification results --- .../ui/taskhandler/VerificationHandler.java | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) diff --git a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java index 8a9009250..9217a6f62 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java +++ b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java @@ -72,6 +72,8 @@ public class VerificationHandler extends TaskHandler { + public final List retrievedVerificationResults = new ArrayList<>(); + protected boolean serializeTraces; // Denotes whether traces are serialized protected boolean serializeTest; // Denotes whether test code is generated protected String testFolderUri; @@ -109,7 +111,7 @@ public VerificationHandler(IFile file, boolean serializeTraces) { // - public List execute(Verification verification) throws IOException, InterruptedException { + public void execute(Verification verification) throws IOException, InterruptedException { // Setting target folder setTargetFolder(verification); // @@ -160,7 +162,6 @@ public List execute(Verification verification) throws IOExce boolean isOptimize = verification.isOptimize(); // Retrieved traces - List retrievedVerificationResults = new ArrayList(); List retrievedTraces = new ArrayList(); // Map for collecting both supported property representations @@ -237,9 +238,6 @@ public List execute(Verification verification) throws IOExce traceUtil.addComment(trace, serializedFormula); } - TimeUnit timeUnit = TimeUnit.MILLISECONDS; - long elapsed = stopwatch.elapsed(timeUnit); - String elapsedString = elapsed + " " + timeUnit; long elapsedMS = stopwatch.elapsed(TimeUnit.MILLISECONDS); VerificationResult resultTemp = new VerificationResult(); @@ -285,8 +283,6 @@ public List execute(Verification verification) throws IOExce for (VerificationResult verificationResult : retrievedVerificationResults) { serializer.serialize(targetFolderUri, traceFileName, verificationResult); } - - return retrievedVerificationResults; } // @@ -468,12 +464,7 @@ public void serialize(String resultFolderUri, String resultFileName, fileUtil.saveString(resultFolderUri + File.separator + fileName, jsonResult); } - public static class VerificationResult { - public String name = ""; - public String subject = ""; - public String description = ""; - public String constraint = ""; - + public static class VerificationResult { public String traceSvgPath = ""; public long executionTimeMS = -1; public String query = ""; From 16b43dc8386cb5790cb017a5bd485a33b0358694 Mon Sep 17 00:00:00 2001 From: Armin Zavada Date: Fri, 8 Dec 2023 16:08:00 +0100 Subject: [PATCH 5/6] Added property accessors --- .../ui/taskhandler/VerificationHandler.java | 60 +++++++++++++++---- 1 file changed, 50 insertions(+), 10 deletions(-) diff --git a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java index 9217a6f62..7affd16e7 100644 --- a/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java +++ b/plugins/core/hu.bme.mit.gamma.ui/src/hu/bme/mit/gamma/ui/taskhandler/VerificationHandler.java @@ -241,11 +241,11 @@ public void execute(Verification verification) throws IOException, InterruptedEx long elapsedMS = stopwatch.elapsed(TimeUnit.MILLISECONDS); VerificationResult resultTemp = new VerificationResult(); - resultTemp.query = serializedFormula; - resultTemp.result = verificationResult; - resultTemp.parameters = arguments; - resultTemp.executionTimeMS = elapsedMS; - resultTemp.traceSvgPath = targetFolderUri + "/" + svgFileName + retrievedVerificationResults.size() + ".svg"; + resultTemp.setQuery(serializedFormula); + resultTemp.setResult(verificationResult); + resultTemp.setParameters(arguments); + resultTemp.setExecutionTimeMS(elapsedMS); + resultTemp.setTraceSvgPath(targetFolderUri + "/" + svgFileName + retrievedVerificationResults.size() + ".svg"); retrievedVerificationResults.add(resultTemp); @@ -465,11 +465,51 @@ public void serialize(String resultFolderUri, String resultFileName, } public static class VerificationResult { - public String traceSvgPath = ""; - public long executionTimeMS = -1; - public String query = ""; - public ThreeStateBoolean result = ThreeStateBoolean.UNDEF; - public String[] parameters = { }; + private String traceSvgPath = ""; + private long executionTimeMS = -1; + private String query = ""; + private ThreeStateBoolean result = ThreeStateBoolean.UNDEF; + private String[] parameters = { }; + + public String getTraceSvgPath() { + return traceSvgPath; + } + + public void setTraceSvgPath(String value) { + traceSvgPath = value; + } + + public long getExecutionTimeMS() { + return executionTimeMS; + } + + public void setExecutionTimeMS(long value) { + executionTimeMS = value; + } + + public String getQuery() { + return query; + } + + public void setQuery(String value) { + query = value; + } + + public ThreeStateBoolean getResult() { + return result; + } + + public void setResult(ThreeStateBoolean value) { + result = value; + } + + public String[] getParameters() { + return parameters; + } + + public void setParameters(String[] value) { + parameters = value; + } } } From aa0ea466d1301cb9ace83bf3a1d442f64d7fc3a1 Mon Sep 17 00:00:00 2001 From: Armin Zavada Date: Fri, 8 Dec 2023 16:09:03 +0100 Subject: [PATCH 6/6] Reverted incorrect name and vendor strings --- .../META-INF/MANIFEST.MF | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF index aac6045ec..ea4848591 100644 --- a/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF +++ b/plugins/xsts/hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF/MANIFEST.MF @@ -1,10 +1,10 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 -Bundle-Name: %pluginName +Bundle-Name: Gamma Low-level Statechart To XSTS Transformation Traceability Metamodel Bundle-SymbolicName: hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability;singleton:=true Bundle-Version: 2.9.0.qualifier Bundle-ClassPath: . -Bundle-Vendor: %providerName +Bundle-Vendor: BME-FTSRG Bundle-Localization: plugin Bundle-RequiredExecutionEnvironment: JavaSE-17 Export-Package: hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability,