[INFO] [INFO] --< org.polarsys.chess:org.polarsys.chess.contracts.verificationService.test.runtime >-- [INFO] Building org.polarsys.chess.contracts.verificationService.test.runtime 1.0.0-SNAPSHOT [23/72] [INFO] ------------------------[ eclipse-test-plugin ]------------------------- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:build-qualifier (default-build-qualifier) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] The project's OSGi version is 1.0.0.202207181010 [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:validate-id (default-validate-id) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:validate-version (default-validate-version) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- xtend-maven-plugin:2.12.0:compile (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- maven-resources-plugin:3.0.0:resources (default-resources) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.pom (3.3 kB at 834 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.24/plexus-utils-3.0.24.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.24/plexus-utils-3.0.24.pom (4.1 kB at 258 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus/4.0/plexus-4.0.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus/4.0/plexus-4.0.pom (22 kB at 768 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-filtering/3.1.0/maven-filtering-3.1.0.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-filtering/3.1.0/maven-filtering-3.1.0.pom (5.8 kB at 213 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-components/22/maven-shared-components-22.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-components/22/maven-shared-components-22.pom (5.1 kB at 189 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.pom (5.6 kB at 193 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-components/21/maven-shared-components-21.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-components/21/maven-shared-components-21.pom (5.1 kB at 365 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/commons-io/commons-io/2.4/commons-io-2.4.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/commons-io/commons-io/2.4/commons-io-2.4.pom (10 kB at 5.1 MB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/commons/commons-parent/25/commons-parent-25.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/commons/commons-parent/25/commons-parent-25.pom (48 kB at 9.7 MB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom (965 B at 107 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.22/plexus-utils-3.0.22.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.22/plexus-utils-3.0.22.pom (3.8 kB at 255 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/sonatype/plexus/plexus-build-api/0.0.7/plexus-build-api-0.0.7.pom [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/sonatype/plexus/plexus-build-api/0.0.7/plexus-build-api-0.0.7.pom (3.2 kB at 103 kB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.24/plexus-utils-3.0.24.jar [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-filtering/3.1.0/maven-filtering-3.1.0.jar [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.jar [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/commons-io/commons-io/2.4/commons-io-2.4.jar [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar (32 kB at 8.0 MB/s) [INFO] Downloading from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/sonatype/plexus/plexus-build-api/0.0.7/plexus-build-api-0.0.7.jar [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/commons-io/commons-io/2.4/commons-io-2.4.jar (185 kB at 21 MB/s) [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/sonatype/plexus/plexus-build-api/0.0.7/plexus-build-api-0.0.7.jar (8.5 kB at 471 kB/s) [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-filtering/3.1.0/maven-filtering-3.1.0.jar (51 kB at 1.5 MB/s) [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/codehaus/plexus/plexus-utils/3.0.24/plexus-utils-3.0.24.jar (247 kB at 4.9 MB/s) [INFO] Downloaded from eclipse.maven.central.mirror: https://repo.eclipse.org/content/repositories/maven_central/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.jar (155 kB at 3.0 MB/s) [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/main/resources [INFO] [INFO] --- tycho-compiler-plugin:1.0.0:compile (default-compile) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Compiling 14 source files to /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/classes [INFO] [INFO] --- xtend-maven-plugin:2.12.0:xtend-install-debug-info (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [WARNING] Directory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/main/java is empty. Can't process. [WARNING] Directory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/xtend-gen is empty. Can't process. [INFO] Installing Xtend files into 0 class files as secondary (via SMAP) debug sources in: /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/classes [INFO] [INFO] --- xtend-maven-plugin:2.12.0:testCompile (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] skip compiling sources because the configured directory '[/home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/java]' does not exists. [INFO] [INFO] --- maven-resources-plugin:3.0.0:testResources (default-testResources) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/resources [INFO] [INFO] --- xtend-maven-plugin:2.12.0:xtend-test-install-debug-info (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [WARNING] Directory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/java is empty. Can't process. [WARNING] Directory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/xtend-gen is empty. Can't process. [INFO] Installing Xtend files into 0 class files as secondary (via SMAP) debug sources in: /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/test-classes [INFO] [INFO] --- target-platform-configuration:1.0.0:target-platform (default-target-platform) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:package-plugin (default-package-plugin) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Building jar: /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar [INFO] [INFO] --- tycho-p2-plugin:1.0.0:p2-metadata-default (default-p2-metadata-default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-surefire-plugin:1.0.0:test (default-test) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Expected eclipse log file: /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/data/.metadata/.log [INFO] Command line: [/opt/tools/java/oracle/jdk-8/1.8.0_202/jre/bin/java, -Dosgi.noShutdown=false, -Dosgi.os=linux, -Dosgi.ws=gtk, -Dosgi.arch=x86_64, -Dosgi.clean=true, -jar, /home/jenkins/.m2/repository/p2/osgi/bundle/org.eclipse.equinox.launcher/1.3.201.v20161025-1711/org.eclipse.equinox.launcher-1.3.201.v20161025-1711.jar, -data, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/data, -install, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work, -configuration, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/configuration, -application, org.eclipse.tycho.surefire.osgibooter.uitest, -testproperties, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/surefire.properties, -product, org.eclipse.platform.ide] (SWT:970): Gtk-WARNING **: 10:15:55.658: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.658: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.658: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.658: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.663: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.663: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.663: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.663: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.666: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.666: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.666: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.666: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.672: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.672: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.672: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.672: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.679: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.679: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.679: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.679: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.683: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.683: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.683: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.683: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.686: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.686: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.686: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.686: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.688: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.688: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.689: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.689: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.691: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.691: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.691: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.692: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.697: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.697: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.697: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.697: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.700: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.701: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.701: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.701: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.735: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.735: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.735: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:55.735: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) Logging using log4j and configuration /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/configuration/org.eclipse.osgi/65/0/.cp/log4j.properties 2022-07-18 10:15:55 ERROR Activator:95 - ERROR 2022-07-18 10:15:55 FATAL Activator:96 - FATAL (SWT:970): Gtk-WARNING **: 10:15:56.156: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.156: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.156: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.156: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.173: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.173: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.173: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.173: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.176: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.176: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.176: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.176: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.178: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.178: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.178: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.178: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.182: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.182: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.182: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.182: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.185: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.185: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.185: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.185: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.189: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.189: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.189: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.189: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.192: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.192: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.192: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.192: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.195: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.195: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.196: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.196: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.199: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.199: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.199: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.199: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.202: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.202: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.202: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.202: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.205: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.205: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.205: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.205: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.239: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.239: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.239: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.240: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.577: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.577: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.577: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:56.577: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.689: Negative content height -9 (allocation 1, extents 5x5) while allocating gadget (node button, owner GtkButton) (SWT:970): Gtk-WARNING **: 10:15:57.840: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.844: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.851: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.853: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.856: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.856: Negative content width -1 (allocation 1, extents 1x1) while allocating gadget (node trough, owner GtkProgressBar) (SWT:970): Gtk-WARNING **: 10:15:57.856: Negative content width -1 (allocation 1, extents 1x1) while allocating gadget (node trough, owner GtkProgressBar) (SWT:970): Gtk-WARNING **: 10:15:57.899: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.900: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.904: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.905: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.909: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:57.910: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.051 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews testcreateViews(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations (SWT:970): Gtk-WARNING **: 10:15:58.205: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:15:58.206: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.377 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations testFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped testFMEA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped testContractBasedFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless domain: org.eclipse.papyrus.cdo.core.resource.CDOAwareTransactionalEditingDomain@26de2bf8 umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@8e7f66b (name: System, visibility: <unset>) (isLeaf: false, isAbstract: false, isFinalSpecialization: false) (isActive: false) org.eclipse.core.internal.resources.ResourceException: Resource '/testImportModelFromOssFile' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4fa112b (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4fa112b (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4fa112b (value: true) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@305d496d (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@400309be (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@995bc09 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@345db32b output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44c5d326 (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@2462880a (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4ed43343 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66475bee output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@667bfb53 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56690d4e (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@394862eb (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@650cd607 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5c140896 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@593fd72f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@593fd72f intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72b9a49e (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@39505aa7 (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@39505aa7 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@39505aa7 (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@36b48350 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3729434b (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@689295a5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@576e3ef1 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4552994f (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@381ca9b5 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@44df3cae (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@62601b72 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@33a96e90 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c2a7d23 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c2a7d23 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@235f17a2 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@235f17a2 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@235f17a2 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61799717 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43c403ae (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7ca0d96e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@bcc376e output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26a0c82f (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@451a6626 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f8bac42 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@55168b9a output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@75d7d0a7 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@636aa36d (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@161eafe (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@60cafb13 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2b535d45 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37c81a7e getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37c81a7e intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63425c04 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63425c04 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63425c04 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52fabb67 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3679d661 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4f536e96 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5b45d4ad output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c637d21 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24516212 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@70a28fd0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@537ddd5 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42fa2227 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d949998 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@92c47f5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@324eea70 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@21360d04 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5989b160 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5989b160 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33e54d4d (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1048da10 (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1048da10 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1048da10 (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a84817a (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57bc7d80 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@269077d4 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a001db1 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24a1d2da (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1045ebb3 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@35ce10b8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3fa97e25 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@15344c08 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77eb7ae5 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77eb7ae5 state: org.eclipse.uml2.uml.internal.impl.StateImpl@12c4bb2a (name: input_1, visibility: <unset>) (isLeaf: false) state: org.eclipse.uml2.uml.internal.impl.StateImpl@45f4f928 (name: input_2, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::Selector::Select RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch 2022-07-18 10:16:07 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block Selector as K2 class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5facc67 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5facc67 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5facc67 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5860817e (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@487a2196 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@144d3296 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@70fe3951 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4d4eb3c7 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a246cd2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a246cd2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f2fb060 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f2fb060 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f2fb060 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27bd8eb7 (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3b66a480 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79380e73 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5c0428f1 (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1787ddf0 (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@194b3924 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5c0428f1 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@194b3924 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5bed9cd9 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e0a65ea putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7bfcf72e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6ab13fcc putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5d8d6d17 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@69d98805 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@69d98805 state: org.eclipse.uml2.uml.internal.impl.StateImpl@1d4c2b80 (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor 2022-07-18 10:16:07 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block MonitorPresence as K2 class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@79a89a88 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@79a89a88 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@79a89a88 (value: true) output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1fdc4233 (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@6437aeea (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4f6439e9 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@235cc47 output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f05dbe8 (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@269c7a1c (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@48d9a457 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@64221eff putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@35295308 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@229de032 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@229de032 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5ac27381 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5ac27381 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5ac27381 (value: true) output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6167e1ae (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5da715fc (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c1550dc (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@62c13215 output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3cf5d572 (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@59983fe5 (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3fed07ba (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5457cbc8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@461bca75 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2870c15a getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2870c15a state: org.eclipse.uml2.uml.internal.impl.StateImpl@153000a (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense 2022-07-18 10:16:07 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block SpeedSensor as K2 class. org.eclipse.core.internal.resources.ResourceException: Resource '/testExportBlocksAsK2' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e680576 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e680576 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e680576 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@521763ff (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7171443b (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@32cc7ce0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5cb65c93 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@35d7d461 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d046208 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d046208 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@77896020 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@77896020 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@77896020 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e8d89a5 (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f6f5d24 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@cf14159 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@158c4f8e (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17ce2c3b (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@429dc59b in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@158c4f8e (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@429dc59b putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4460bf18 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33e77825 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@55ae2596 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@79b393a5 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@386a7bf4 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52b96bb2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52b96bb2 state: org.eclipse.uml2.uml.internal.impl.StateImpl@77e2b744 (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor 2022-07-18 10:16:08 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block MonitorPresence as PYTHON class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4e2e36b (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4e2e36b (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4e2e36b (value: true) output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43a66540 (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@2f948434 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@60f329fb (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@51e2e099 output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@211e0380 (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2a2096b3 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5365cefd (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15c50a20 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4416091b putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@504c2d99 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@504c2d99 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@483c6594 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@483c6594 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@483c6594 (value: true) output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b0ccf8e (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@72f2c1e1 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@656f3075 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1d3647db output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@104b9b4c (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7452bd6d (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68a2c70a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47855d5a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@bd83f1d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@403712d9 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@403712d9 state: org.eclipse.uml2.uml.internal.impl.StateImpl@6c3d471d (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense 2022-07-18 10:16:08 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block SpeedSensor as PYTHON class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@790387fb (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@790387fb (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@790387fb (value: true) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31334053 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@311b1ed0 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4aa5e778 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f01a62f output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@649b5644 (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@d1f2999 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68e49165 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2a167288 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@148138f8 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@60268810 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c0542c8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@359ee7f2 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@28c54f41 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54ea396a getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54ea396a intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24ebbdf (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@135388c (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@135388c (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@135388c (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@362961e2 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@556f737a (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67121c14 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@35780776 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4823564a (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66f90897 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@117c4ae0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@64cabc0e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@360937db putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5881473f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5881473f intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b233c2e (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b233c2e (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b233c2e (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43880e04 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6a49a93a (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7487ff18 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@67e6e8a8 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@641d327e (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43ba47be (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@88e1fee (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@587d05ff output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@557e524c (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44e868ea (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3c617ef6 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c03c678 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2b480986 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52e8334b getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52e8334b intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@131656d4 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@131656d4 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@131656d4 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@651c6c59 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@a60ad99 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@317859de (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1155f2b3 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17ad3a64 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@182e516d (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b6b5d1f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5595faab output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2b959467 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41da0d41 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@706833c0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@ad2cfc4 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d635455 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@510e3062 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@510e3062 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57c5d2db (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6f1213e9 (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6f1213e9 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6f1213e9 (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57ba52d5 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16efa1ef (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5caa614c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@61f4d291 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@64dd0880 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@f563d2d (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@799d8a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47deb74e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4bcb2e3d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@677b5303 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@677b5303 state: org.eclipse.uml2.uml.internal.impl.StateImpl@4e13ac96 (name: input_1, visibility: <unset>) (isLeaf: false) state: org.eclipse.uml2.uml.internal.impl.StateImpl@6e56e744 (name: input_2, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::Selector::Select RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch 2022-07-18 10:16:08 INFO ModelToCodeTranslatorCore:170 - No errors. Export Block Selector as PYTHON class. org.eclipse.core.internal.resources.ResourceException: Resource '/testExportBlocksAsPy' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@3f88a08e (name: modelSystemView, visibility: <unset>) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@4580910d (name: SystemWithWatchdog, visibility: <unset>) (isLeaf: false, isAbstract: false, isFinalSpecialization: false) (isActive: false) org.eclipse.core.internal.resources.ResourceException: Resource '/testExportAsyncModelAsOss' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@554aa02a (name: modelSystemView, visibility: <unset>) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@497913c6 (name: SystemWithWatchdog, visibility: <unset>) (isLeaf: false, isAbstract: false, isFinalSpecialization: false) (isActive: false) org.eclipse.core.internal.resources.ResourceException: Resource '/testExportAsyncHybridModelAsOss' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@43c374dd (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@43c374dd (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@43c374dd (value: true) output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cbf3d59 (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@4b1f43c4 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13a2b3e6 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7aca44cb output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5fbafb3e (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6e0a826e (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68b131ca (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@40f5dc0b putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@489ebc20 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49640cbd getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49640cbd putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7d189da0 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7d189da0 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7d189da0 (value: true) output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@580a270d (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@53903bc9 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a5c4986 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78183beb output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71a349aa (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23bf6a24 (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2ba717ac (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@12d9a650 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79dc53b8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40da419f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40da419f state: org.eclipse.uml2.uml.internal.impl.StateImpl@79910842 (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6dd75a31 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6dd75a31 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6dd75a31 (value: true) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56261c (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2e130444 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7942d565 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@63f86f78 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@522fd3dd (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@64a8ccf8 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@b2ec4f5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2b8df947 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71066d0 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@257db5c6 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5889d4f0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c0a4967 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@18288ad0 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@768d95a0 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@768d95a0 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a275854 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@54a6f239 (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@54a6f239 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@54a6f239 (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2dd992fe (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e8d9a46 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6e488e3b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ec79227 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f68bd63 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5d155762 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@770623ad (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5572c1c0 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f4bfda8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14e363b getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14e363b intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d70ec58 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d70ec58 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d70ec58 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@25379102 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@18844fe (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1b806abb (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1db44d4 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@18fd7a6c (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b917239 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@43dc1e42 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@18fa1f09 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ba72860 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3b779f97 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@187aa8b5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@50b0eee4 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@20628ba putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2de6e4e3 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2de6e4e3 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c9813c4 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c9813c4 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c9813c4 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@70ce8ce0 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2a27d2e1 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@464df252 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@300c6f60 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34a14c0d (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@208520a2 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@9f38982 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5ad790b3 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@64287ec0 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d21c2d7 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@780bf968 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ebfacd2 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@39461fbb putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7d617ac9 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7d617ac9 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5f8ebe2c (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@17fda258 (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@17fda258 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@17fda258 (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6bd2a605 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@11473645 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b12859f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@258b4f18 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b173722 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@734ac71b (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5c5b8a90 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2357fd8c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@419b60e3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@b92a2bf getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@b92a2bf state: org.eclipse.uml2.uml.internal.impl.StateImpl@4c2ae7af (name: input_1, visibility: <unset>) (isLeaf: false) state: org.eclipse.uml2.uml.internal.impl.StateImpl@40498285 (name: input_2, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::Selector::Select RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@78e4264e (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@78e4264e (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@78e4264e (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@668416e4 (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1add9b57 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@43520814 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@372a9932 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@71df8a05 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6262cdc9 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6262cdc9 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@54ef1a03 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@54ef1a03 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@54ef1a03 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3aedc1ff (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48339a18 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6420ae1f putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2cd24aec (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@786484b0 (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c5322fe in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2cd24aec (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c5322fe putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4d62213d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73d98757 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2f44cc98 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ab54f5c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4682eefe putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37effaa5 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37effaa5 state: org.eclipse.uml2.uml.internal.impl.StateImpl@873ba05 (name: primary, visibility: <unset>) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor 2022-07-18 10:16:11 INFO ModelToCodeTranslatorCore:129 - No errors. Export Blocks as FEI class. org.eclipse.core.internal.resources.ResourceException: Resource '/testFaultExtensionsGenerator' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@20ae693e (name: modelSystemView, visibility: <unset>) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@53ffdb3d (name: System, visibility: public) (isLeaf: false, isAbstract: false, isFinalSpecialization: false) (isActive: false) org.eclipse.core.internal.resources.ResourceException: Resource '/testExportModelAsOss' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) RootElement::modelSystemView::PhisicalArchitecture::Selector::Select RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch RootElement::modelComponentView::Interval1_2 PrimitiveTypes::Real PrimitiveTypes::Boolean PrimitiveTypes::Real PrimitiveTypes::Boolean PrimitiveTypes::Real PrimitiveTypes::Boolean PrimitiveTypes::Boolean intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63af8c0d (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@214e30fc (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@391828c3 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@391828c3 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@391828c3 XXXX: in1_to_in1 -> !switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e0a6ae6 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4840309c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4840309c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4840309c XXXX: in1_to_in2 -> switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7085bcc5 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68e13d8a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68e13d8a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68e13d8a XXXX: in2_to_in1 -> switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72fd548e (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@57f03342 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db4a643 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db4a643 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db4a643 XXXX: in2_to_in2 -> !switch_current_use output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78bc6d74 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ee8d79b (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@45abd8ca (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c0ff857 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2743e56f (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@3f8faa13 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@24f948a0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6777c128 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5fa73834 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1d3acee1 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@736829ae (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2acfd86a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4c4f339f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@61331ddd getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@61331ddd cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@696fe814, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@77898284, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30f4816e] output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@359206e7 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e342f73 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a5f302a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@62a233aa output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4722b427 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@68425407 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@b7ff745 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78b3aae3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2ae2ba5e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@23ab75ce getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@23ab75ce cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7d2b458b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@78d72c41] output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2ac79ec (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@258c632f (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6478f6fb (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5eed7fa output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@64ecadb2 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@223f2f1b (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@153ca89 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72718c5e output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73f12e9f (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@286d800d (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3775000b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@491869c7 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@33e733ad putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4a257a54 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4a257a54 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@24ecafe8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@63aec9c4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@305b5e60] output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5e621b5a (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4b9709bb (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2155e6f7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d5ccb5a output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@732aaf60 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@83aa6f (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@eef96d6 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@55b28a4a output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73c57e33 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e0872f6 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c2300c7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5d0239d3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@56ef0a6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fb074ab getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fb074ab cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58491057, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bb412d2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5d168e3] output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f073bc7 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41e8c77 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@a867a67 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47798ca1 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41264e8a (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@312b0fed (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8c71eed (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d097d0 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70f1cb3e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fdc4dc3 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fdc4dc3 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6dc24734, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@247439cd] variables size: 3 variableName: current_use variableName not input port: current_use 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: output variableName not input port: output 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: output_is_present variableName not input port: output_is_present 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense PrimitiveTypes::Real PrimitiveTypes::Boolean PrimitiveTypes::Real putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c34eb5e (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069 XXXX: pr_to_pr -> true output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1474f21c (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@34b8d3b3 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@434df5d0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@416ad0fe output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72bd3edd (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6a4e72 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c25d8da (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3b5f0080 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@200f9ae0 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d27e05f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d27e05f cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3717fb3a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1fc16ea2] output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dc61691 (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6500ee38 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@71a03844 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@588ae598 output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5250286 (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@67b64d34 (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17243b9e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@188daac7 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3511ba62 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@198600a8 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@198600a8 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@510419f0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@51b079cb] variables size: 2 variableName: sensed_speed variableName not input port: sensed_speed 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: sensed_speed_is_present variableName not input port: sensed_speed_is_present 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor PrimitiveTypes::Boolean PrimitiveTypes::Boolean PrimitiveTypes::Boolean putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@70e623ad (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a XXXX: pr_to_pr -> true output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39836672 (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@37fe11fb (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@27d0457a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1b282868 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@39ba7d89 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c6a05c5 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c6a05c5 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3dde8d67] output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3477cd10 (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38dc7b14 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@71a07cdd putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2ee7de32 (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24f289b3 (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7f2d52e2 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2ee7de32 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7f2d52e2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@d999f4e (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d9fc681 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d906b90 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@38bf8682 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@791d0d34 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@217fdcff getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@217fdcff cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38b231d4] variables size: 1 variableName: absence_alarm variableName not input port: absence_alarm 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors org.eclipse.core.internal.resources.ResourceException: Resource '/testExportStateMachinesAsSmv' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@4fd238f0 (name: modelSystemView, visibility: <unset>) (URI: null) org.eclipse.core.internal.resources.ResourceException: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) MARTE_Library::TimeLibrary::IdealClock MARTE_Library::TimeLibrary::IdealClock MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@151a95eb (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4c5fe6d4 (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3fc86d87 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@674fddc3 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@737661d9 (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@be440ce (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@187b1e24 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@ba6403d (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1f01a45f (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5068798a (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@ce26fae (value: 5) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@84a7635 (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8 XXXX: t1 -> x>5 XXXX: t6 -> null XXXX: t3 -> null XXXX: t7 -> null XXXX: t4 -> null XXXX: t8 -> null MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@54ab79ef (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@11c9dfd6 (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@27b2c815 (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd XXXX: t0 -> x>6 XXXX: t5 -> null output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1db71a99 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4da56681 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6ef7748a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6f4f9e72 output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4a0922d0 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c7ed47e (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79f8b65f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a570b1c output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@694bbb24 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@33cc4f57 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@f3a4d3f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5de7b82f output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6941ba2c (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@38a6f6a4 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@65a8173a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5eefd60 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@611ab72b (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6e067e7a (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4b32a547 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@394554bc putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d521f50 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@554a9e78 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@554a9e78 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30bccf16, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ed568c9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5cb24c48, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f7df738, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@79ef59be] output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52073aad (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1283c3e2 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11224aa5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@42c34f4e output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@297ad7e9 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@25ea8df7 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@261e8c8d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e7f0e3f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1c54b86 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1c19f56a getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1c19f56a cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9447807, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@62d7fd25] output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a255089 (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@400b998a (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1d686a7b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@798e7562 output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@396fc3c2 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2534caac (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7bd157c3 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@71fe18be putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@36c8b490 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5af7deba getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5af7deba cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@10fa7a3f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@37fa4749] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@407ee180 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3164032 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66b38f16 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65ca5b06 output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@520fc4de (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@63a9197d (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1998e121 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2ebd8b7f output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2388342 (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@29711089 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77be6d6f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@351af694 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@73fe41e6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f698264 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f698264 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@74e56fc3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@271a3175, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5674e78e] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dc0667c (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@1b276328 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a9ebf55 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7ce80e42 output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12756425 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@326b6b60 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d100e6f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@11369f91 output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@285b85de (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4182dbde (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6cccd6f7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@49a316e8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3d221f77 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@32048c88 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@32048c88 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@36c0b070, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30ed7d93, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5899d4dd] variables size: 5 variableName: x variableName not input port: x 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: approach variableName not input port: approach 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: exit variableName not input port: exit 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: enter variableName not input port: enter 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: far variableName not input port: far 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type MARTE_Library::TimeLibrary::IdealClock MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14b7fa36 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5a9210e4 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6b5801d5 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9 MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26d167f3 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f2b94b2 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@15276c49 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7314802 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a13674 MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b9ff15a (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@eafce74 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3d3f6fb (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@bc96263 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a13674 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@bc96263 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7fa84761 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46 XXXX: t0 -> (approach)&&(z==2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b31d081 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45d39079 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b5eec2d (op: !) MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57528eca (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2292e979 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@54afa93d (op: <) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b5eec2d (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@54afa93d (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@61c35bf0 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d XXXX: t4 -> !(approach)&&z<2 intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@567e5cec (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b1ef917 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60688b95 MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12191346 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3624b4d5 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@a4e3547 (op: ==) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60688b95 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@a4e3547 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2e5e23b8 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49 XXXX: t1 -> (!approach)&&z==2 intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42d0bd6a (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b57223b MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5fd5f49c (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5fb1aff8 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@18cd6289 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a19cd51 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b57223b in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a19cd51 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7a98a99a (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a XXXX: t2 -> (far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f2b5267 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73b9d08f putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4c0b08e8 (op: !) MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26a42e77 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43f9e8ae (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@7ef975f6 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aa17e89 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4c0b08e8 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aa17e89 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6df1323c (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74 XXXX: t5 -> !(far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7df99472 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7feb19a2 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66798c32 MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a92c89c (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b798bb8 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7c78af7c (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@564aa4dd in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66798c32 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@564aa4dd putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2ae050a0 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde XXXX: t6 -> (!far)&&(z<2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b4532d3 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@58ea7e5f (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@30a60064 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78e43aac intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a155cc9 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5106d952 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@51234636 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@8cb27e4 output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7848d120 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1f634b32 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@543aac1e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@51f557a output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3b605528 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3e5fb3ad (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f84b224 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@404f942b MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@79bf501f (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3abe565e (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2031d6bf (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c63e05e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1f5f7465 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27bdf6fa getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27bdf6fa cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1f69364b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6b3bbeaa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5a545bfc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@259f50e2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7312f174] MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d99e7a8 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@62deb8b9 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6237cc7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1520b30e output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6776a2a5 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@70fac582 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d225a1e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7d0a3c77 output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fbbdaf9 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@94bcc59 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@764685c4 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5a83e6ff putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2b9e9344 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@45eacf52 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@45eacf52 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6d0ae0d2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c874312, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f1ff21d] MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e2900a6 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@682053a2 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@387fcba1 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@77bbb75 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@31e1b70c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@441f6487 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@441f6487 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a9870cd] MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@adcd2f5 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@78d8f625 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@211fefeb (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@411278ec output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2db55141 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@12e3e30c (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c5d360c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1edae273 output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@196297b0 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1494ec13 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@315c55db (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78dce0f9 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@750e2745 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d9fae5a getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d9fae5a cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7f105f3b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@40d59ef8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56d0a498] MARTE_Library::TimeLibrary::IdealClock model::modelSystemView::Controller::Contract1Type model::modelSystemView::Controller::Contract2Type non static attribute: z putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3de681fd (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@51a8eae7 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@28f602e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5590b73f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5cf02d19 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40f2e75f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40f2e75f cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b5bbe86] variables size: 3 variableName: z variableName not input port: z 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: lower variableName not input port: lower 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: raise variableName not input port: raise 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors MARTE_Library::TimeLibrary::IdealClock MARTE_Library::TimeLibrary::IdealClock MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d64d651 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e62ea89 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@19041f60 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b0d4f3d (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7dd701ea (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@425ddf5f (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a5c132e (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@c8416a2 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@41230df7 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61a997b5 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5d179d87 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@51534d15 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0 intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d736325 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@623cff7f (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1094c046 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d62a148 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6b9e8f8a (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6edc5281 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58fc39ec in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1094c046 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58fc39ec putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@30fcab5a (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4 XXXX: tr0 -> (!lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a5e0f24 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@627e8b08 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27438b6d (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@19fdd959 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1350c26d (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e02dc4 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@627e8b08 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e02dc4 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3e43c6f6 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a XXXX: tr1 -> (lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ae8d967 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6ce6cbab (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c7d0535 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a58bae (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4f4a595c (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@152b788d (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@31db93b0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c7d0535 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@31db93b0 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1e8c96de (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084 XXXX: tr6 -> (!lower)&&(y<2) XXXX: tr2 -> null XXXX: tr7 -> null intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e245f83 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@219bebd6 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@171425d5 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4af5672 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28dbd923 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@56e042b5 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@606cef31 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@171425d5 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@606cef31 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1e8e3988 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c XXXX: tr3 -> (!raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b2f6b57 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2028698f MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a1d4bbd (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2ad69139 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5a5332e7 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39545c33 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2028698f in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39545c33 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@49e4a807 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5 XXXX: tr4 -> (raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b34e301 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b4d7b1a (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46da09d3 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3dd1ef04 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@71313f54 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1540fc3 (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17d61aab in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46da09d3 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17d61aab putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@254d6e9a (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82 XXXX: tr8 -> (!raise)&&(y<2) MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52e9d5c5 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@42a90db5 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@14a6d0fd (op: >=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039 XXXX: tr5 -> y>=1 XXXX: tr9 -> null intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4695a375 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7b6d19d6 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c059d1a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5cd75d26 output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3732d3c2 (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2402df5b (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@14df6b8c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72072a5c output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@530a4b1d (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6140ae20 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@eac2a8f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@45b2b4cc intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44614dc4 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2034cac6 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4fa3741d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f67adf1 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@51a6ccb4 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@57c24ebc (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@315cbc5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@213fe673 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@461b4d8c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@295d39ed getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@295d39ed cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@de7632d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6278974f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@43ef420b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@33d93aa8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@591d9f5] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a331598 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6045700c (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b904380 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@67ce50d9 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6553066d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2375f4e7 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2375f4e7 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@680a6eb4] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7da0a289 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4d4b4614 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@768ffec7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26e26d03 output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5e2e27bc (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4942a18b (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@40b207a2 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@758df0c2 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5a313a08 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14f898a5 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14f898a5 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@180a6da, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@71f257c4] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39d8526 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@72f55f9 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64807eaf (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7a99582d output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@154256ed (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@683f4921 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@f2d278f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3fc55e77 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3837925c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68aed53f getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68aed53f cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@708b4aff, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@bc52975] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@177aceb2 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3d8cb210 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f20aa55 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a6b85df putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b25d77e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@555a129c getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@555a129c cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73d1dba4] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b87d627 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@17359f85 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a447a3c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e9e3b81 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b4dfc9b (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@20bf81c0 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@69e38a71 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66aee6ff putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@12737795 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@799daa67 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@799daa67 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@52e770e6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8bf00dc] output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e8cb294 (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@670593e3 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17ccd63f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3af76ff7 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5184622f (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1ad57977 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b59393c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a506b77 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@18b7f908 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f7e5d0c getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f7e5d0c cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@75a18a9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@23c51fc1] variables size: 3 variableName: y variableName not input port: y 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: up variableName not input port: up 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: down variableName not input port: down 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors org.eclipse.core.internal.resources.ResourceException: Resource '/testExportTimedStateMachinesAsSmv' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117) at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194) at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164) at org.junit.rules.RunRules.evaluate(RunRules.java:20) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85) at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268) at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55) at org.junit.runners.ParentRunner.run(ParentRunner.java:363) at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264) at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153) at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208) at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156) at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82) at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022) at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150) at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31) at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120) at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610) at org.eclipse.equinox.launcher.Main.run(Main.java:1519) at org.eclipse.equinox.launcher.Main.main(Main.java:1492) Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 21.796 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 7.223 sec testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.909 sec testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.168 sec testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.924 sec testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.78 sec testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.861 sec testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.859 sec testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.552 sec testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.45 sec testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.985 sec Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype testApplyCHESSStereotype(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.005 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively testApplyRecursively(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent testCheckContractRefinementOfCHESSComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations (SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:16:21.105: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) (SWT:970): Gtk-WARNING **: 10:16:21.116: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) (SWT:970): Gtk-WARNING **: 10:16:21.120: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton) (SWT:970): Gtk-WARNING **: 10:16:21.165: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) 2022-07-18 10:16:23 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.papyrus.gmfdiag.common.Diagram is already registred elementtype but it is not binded yet. It has been binded to Papyrus context. 2022-07-18 10:16:23 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.gmf.runtime.emf.type.core.default is already registred elementtype but it is not binded yet. It has been binded to Papyrus context. umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@131a6756 (name: modelSystemView, visibility: <unset>) (URI: null) num diagrams: 9 resultsGeneratorService SLF4J: Class path contains multiple SLF4J bindings. SLF4J: Found binding in [bundleresource://8.fwk1308244637/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: Found binding in [bundleresource://8.fwk1308244637:3/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation. SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory] 2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export 2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export 2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export 2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export 2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export diagramDescriptors (SWT:970): Gtk-WARNING **: 10:16:28.703: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:970): Gtk-WARNING **: 10:16:28.891: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) Tests run: 3, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 14.103 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations testExportStateMachinesAsMonolithicSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped testInstantiateParameterizedAchitecture(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped testGenerationDocumentation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) Time elapsed: 13.713 sec Results : Tests run: 35, Failures: 0, Errors: 0, Skipped: 24 2022-07-18 10:16:35 WARN resources:110 - org.eclipse.core.resources - 10035 - The workspace will exit with unsaved changes in this session. [INFO] All tests passed! [JENKINS] Recording test results [INFO] [INFO] --- maven-resources-plugin:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] ignoreDelta true [INFO] Copying 14 resources [INFO] Copying file README.txt [INFO] Copying file basicHeadless/Train_StateMachine1.smv [INFO] Copying file basicHeadless/Controller_StateMachine1.smv [INFO] Copying file basicHeadless/Gate_StateMachine1.smv [INFO] Copying file basic/Selector_SelectorIBD.svg [INFO] Copying file basic/Selector_Selector_Sm.svg [INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg [INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg [INFO] Copying file basic/SystemBDD.svg [INFO] Copying file basic/MonitorPresence_Monitor_Sm.svg [INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg [INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg [INFO] Copying file basic/System_SystemIBD.svg [INFO] Copying file basic/document.html [INFO] [INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar [INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom [INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml [INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml [INFO] [INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---