Merge pull request #17 from TNO/16-provide-option-to-run-default-time-bound-analysis-automatically-on-textual-tmsc-trace

16 provide option to run default time bound analysis automatically on textual tmsc trace

Author: Yuri-Blankenstein-TNO

README.md

@@ -106,8 +106,8 @@ In your new development environment, consider changing the following settings:
 ### Building with Maven
 
 > [!CAUTION]
-> PPS should be built using a _Java 11 VM_.
-> The JDK can be downloaded from e.g. [Oracle](https://www.oracle.com/java/technologies/javase/jdk11-archive-downloads.html) or [Adoptium](https://adoptium.net/temurin/archive/?variant=openjdk11&jvmVariant=hotspot&version=11).
+> PPS should be built using a _Java 21 VM_.
+> The JDK can be downloaded from e.g. [Oracle](https://www.oracle.com/java/technologies/downloads/#java21) or [Adoptium](https://adoptium.net/temurin/releases?version=21&os=any&arch=any).
 >
 > To test which Java version is used by Maven, type `mvn -version` in a command shell.
 

plugins/nl.esi.pps.tmsc.xtext.ide/src-gen/nl/esi/pps/tmsc/xtext/ide/contentassist/antlr/TmscXtextParser.java

@@ -61,6 +61,10 @@ private static void init(ImmutableMap.Builder<AbstractElement, String> builder,
 			builder.put(grammarAccess.getTmscXtextModelAccess().getGroup_1_0_3_0(), "rule__TmscXtextModel__Group_1_0_3_0__0");
 			builder.put(grammarAccess.getTmscXtextModelAccess().getGroup_1_0_3_1(), "rule__TmscXtextModel__Group_1_0_3_1__0");
 			builder.put(grammarAccess.getTmscXtextModelAccess().getGroup_1_0_3_2(), "rule__TmscXtextModel__Group_1_0_3_2__0");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getGroup_1_1(), "rule__TmscXtextModel__Group_1_1__0");
+			builder.put(grammarAccess.getXTimeBoundAnalysisAccess().getGroup(), "rule__XTimeBoundAnalysis__Group__0");
+			builder.put(grammarAccess.getXTimeBoundAnalysisAccess().getGroup_2(), "rule__XTimeBoundAnalysis__Group_2__0");
+			builder.put(grammarAccess.getXTimeBoundAnalysisAccess().getGroup_2_1(), "rule__XTimeBoundAnalysis__Group_2_1__0");
 			builder.put(grammarAccess.getXInterfaceAccess().getGroup(), "rule__XInterface__Group__0");
 			builder.put(grammarAccess.getXInterfaceAccess().getGroup_1(), "rule__XInterface__Group_1__0");
 			builder.put(grammarAccess.getXInterfaceAccess().getGroup_3(), "rule__XInterface__Group_3__0");
@@ -134,13 +138,15 @@ private static void init(ImmutableMap.Builder<AbstractElement, String> builder,
 			builder.put(grammarAccess.getTmscXtextModelAccess().getTimeBoundAssignment_1_0_3_1_2(), "rule__TmscXtextModel__TimeBoundAssignment_1_0_3_1_2");
 			builder.put(grammarAccess.getTmscXtextModelAccess().getScheduledAssignment_1_0_3_2_2(), "rule__TmscXtextModel__ScheduledAssignment_1_0_3_2_2");
 			builder.put(grammarAccess.getTmscXtextModelAccess().getPropertiesAssignment_1_0_3_3(), "rule__TmscXtextModel__PropertiesAssignment_1_0_3_3");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getDependencySettingsAssignment_1_1(), "rule__TmscXtextModel__DependencySettingsAssignment_1_1");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getInterfacesAssignment_1_2(), "rule__TmscXtextModel__InterfacesAssignment_1_2");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getComponentsAssignment_1_3(), "rule__TmscXtextModel__ComponentsAssignment_1_3");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getFunctionsAssignment_1_4(), "rule__TmscXtextModel__FunctionsAssignment_1_4");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getHostsAssignment_1_5(), "rule__TmscXtextModel__HostsAssignment_1_5");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getExecutorsAssignment_1_6(), "rule__TmscXtextModel__ExecutorsAssignment_1_6");
-			builder.put(grammarAccess.getTmscXtextModelAccess().getEventsAssignment_1_7(), "rule__TmscXtextModel__EventsAssignment_1_7");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getAnalysesAssignment_1_1_3(), "rule__TmscXtextModel__AnalysesAssignment_1_1_3");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getDependencySettingsAssignment_1_2(), "rule__TmscXtextModel__DependencySettingsAssignment_1_2");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getInterfacesAssignment_1_3(), "rule__TmscXtextModel__InterfacesAssignment_1_3");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getComponentsAssignment_1_4(), "rule__TmscXtextModel__ComponentsAssignment_1_4");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getFunctionsAssignment_1_5(), "rule__TmscXtextModel__FunctionsAssignment_1_5");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getHostsAssignment_1_6(), "rule__TmscXtextModel__HostsAssignment_1_6");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getExecutorsAssignment_1_7(), "rule__TmscXtextModel__ExecutorsAssignment_1_7");
+			builder.put(grammarAccess.getTmscXtextModelAccess().getEventsAssignment_1_8(), "rule__TmscXtextModel__EventsAssignment_1_8");
+			builder.put(grammarAccess.getXTimeBoundAnalysisAccess().getDefaultTimeBoundAssignment_2_1_2(), "rule__XTimeBoundAnalysis__DefaultTimeBoundAssignment_2_1_2");
 			builder.put(grammarAccess.getXInterfaceAccess().getDescriptionAssignment_1_0(), "rule__XInterface__DescriptionAssignment_1_0");
 			builder.put(grammarAccess.getXInterfaceAccess().getNameAssignment_2(), "rule__XInterface__NameAssignment_2");
 			builder.put(grammarAccess.getXInterfaceAccess().getPropertiesAssignment_3_1_0(), "rule__XInterface__PropertiesAssignment_3_1_0");