[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.202203011415 [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 185 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 317 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 11 MB/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 384 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 269 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 430 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 393 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 726 kB/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 3.0 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 60 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 1.9 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.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 229 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 1.7 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/org/codehaus/plexus/plexus-utils/3.0.24/plexus-utils-3.0.24.jar (247 kB at 10 MB/s) [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 7.7 MB/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.7 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 283 kB/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 2.5 MB/s) [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/data, -install, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-devel-to-master/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work, -configuration, /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-devel-to-master/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-devel-to-master/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/surefire.properties, -product, org.eclipse.platform.ide] (SWT:981): Gtk-WARNING **: 14:24:28.100: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.100: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.100: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.100: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.104: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.104: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.105: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.105: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.107: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.107: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.107: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.107: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.113: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.113: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.113: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.113: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.138: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.138: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.138: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.138: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.142: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.142: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.142: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.143: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.145: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.145: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.145: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.145: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.148: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.148: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.148: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.148: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.151: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.151: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.151: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.151: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.156: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.156: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.156: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.156: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.159: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.159: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.160: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.160: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.163: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.163: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.163: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.163: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.172: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.172: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.172: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.172: 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-devel-to-master/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/configuration/org.eclipse.osgi/58/0/.cp/log4j.properties 2022-03-01 14:24:28 ERROR Activator:95 - ERROR 2022-03-01 14:24:28 FATAL Activator:96 - FATAL (SWT:981): Gtk-WARNING **: 14:24:28.520: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.520: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.520: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.520: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.542: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.542: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.542: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.542: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.544: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.544: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.544: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.544: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.546: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.546: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.546: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.546: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.549: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.549: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.549: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.549: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.552: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.552: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.552: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.552: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.555: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.555: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.555: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.555: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.558: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.558: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.558: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.558: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.561: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.561: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.561: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.561: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.564: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.564: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.564: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.564: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.567: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.567: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.567: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.567: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.569: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.569: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.569: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.570: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.577: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.577: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.577: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.577: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.894: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.894: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.895: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:28.895: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:29.961: Negative content height -9 (allocation 1, extents 5x5) while allocating gadget (node button, owner GtkButton) (SWT:981): Gtk-WARNING **: 14:24:30.074: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.077: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.084: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.086: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.089: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.089: Negative content width -1 (allocation 1, extents 1x1) while allocating gadget (node trough, owner GtkProgressBar) (SWT:981): Gtk-WARNING **: 14:24:30.089: Negative content width -1 (allocation 1, extents 1x1) while allocating gadget (node trough, owner GtkProgressBar) (SWT:981): Gtk-WARNING **: 14:24:30.147: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.149: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.152: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.153: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.157: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.158: 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.TestSafetyAnalysisOperations (SWT:981): Gtk-WARNING **: 14:24:30.396: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:30.397: 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.376 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@7aed150d umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@46d80eb (name: System, visibility: ) (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@185666b (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@185666b (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@185666b (value: true) output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d0c86f7 (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@7ea8f41f (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1977a4e6 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e1ab3 output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2a9b471 (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@313ef373 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@154a3126 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65111abe putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2ad43051 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e3d60c2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e3d60c2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56f406df (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56f406df (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56f406df (value: true) output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@215edb8b (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@49d0c746 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2b231e1a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2b23ceec output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7cf6ca80 (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@35d23945 (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7fba57b5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@52817e4d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4cb49447 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@576aed47 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@576aed47 state: org.eclipse.uml2.uml.internal.impl.StateImpl@3af4d49d (name: primary, visibility: ) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense 2022-03-01 14:24:38 INFO CHESSModelToCodeTranslatorCore:119 - No errors. Export Block SpeedSensor as K2 class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@65068692 (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@65068692 (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@65068692 (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@798d86eb (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@69d1e129 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7cfe8826 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3a34e037 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f1bd075 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@10658b09 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@10658b09 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1da1f49b (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1da1f49b (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1da1f49b (value: true) output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a42a3ba (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@55f1b845 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2e0a54ae putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@637ad499 (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@509ba80 (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a78a75 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@637ad499 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a78a75 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4e5405ea (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15583a6c putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@23cb12c5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3610e227 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5885ca5a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@449c4e2d getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@449c4e2d state: org.eclipse.uml2.uml.internal.impl.StateImpl@35accf84 (name: primary, visibility: ) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor 2022-03-01 14:24:38 INFO CHESSModelToCodeTranslatorCore:119 - No errors. Export Block MonitorPresence as K2 class. putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3ef6d7d (value: true) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3ef6d7d (value: true) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3ef6d7d (value: true) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@60c64dcb (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e5c691e (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c26d70b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f3667f8 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a987d76 (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@2771fba2 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d15fec8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21e05b35 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@380af1b2 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@108eb1fa (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@629fee9d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@41053808 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2eedd6fb putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@c8d5958 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@c8d5958 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43ca1669 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6466b83b (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6466b83b (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6466b83b (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b6a938a (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d632d15 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4914b597 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@12a3f354 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d8ad449 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@59155368 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@35c1fdd0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3875816f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@234632b4 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6af62352 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6af62352 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d8491b3 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d8491b3 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d8491b3 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2b4c8647 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@570f022f (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f1de33e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4355bea6 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ce46635 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23d503fc (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@738110ab (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1d4f30f3 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32b528a1 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39f407e8 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@428b5c35 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2627243f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3d4ce07a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e845605 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e845605 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@403b9a19 (name: switch_current_use) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@403b9a19 (name: switch_current_use) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@403b9a19 (name: switch_current_use) output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f613215 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@e8d1eee (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@16a432f8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4017b606 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3610d58b (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@508cd7c9 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67881cd2 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ad231a3 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2a5e13ff (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c5aabe2 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b135a37 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@30473bdf putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6adc07c3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fbf2b49 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fbf2b49 intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14c39672 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@18e9f44f (op: !) getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@18e9f44f (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@18e9f44f (op: !) output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@478e293a (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@65da6a50 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@cd0ed92 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5c28e921 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ad9dc67 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c67b386 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@57d079e5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4caaf3df putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@683424c9 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54c09d14 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54c09d14 state: org.eclipse.uml2.uml.internal.impl.StateImpl@6cf1cd4b (name: input_1, visibility: ) (isLeaf: false) state: org.eclipse.uml2.uml.internal.impl.StateImpl@2a8046da (name: input_2, visibility: ) (isLeaf: false) RootElement::modelSystemView::PhisicalArchitecture::Selector::Select RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch 2022-03-01 14:24:38 INFO CHESSModelToCodeTranslatorCore:119 - No errors. Export Block Selector 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) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@425fd47a (name: modelSystemView, visibility: ) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@50882579 (name: SystemWithWatchdog, visibility: ) (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@772e7e4a (name: modelSystemView, visibility: ) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@37c19f (name: SystemWithWatchdog, visibility: ) (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) umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@37744a3e (name: modelSystemView, visibility: ) (URI: null) umlSelectedComponent: org.eclipse.uml2.uml.internal.impl.ClassImpl@38562e3a (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@2fd1869b (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6407619f (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d7bf9f6 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d7bf9f6 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d7bf9f6 XXXX: in1_to_in1 -> !switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c891a3c (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2649ebb9 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2649ebb9 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2649ebb9 XXXX: in1_to_in2 -> switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a8894b2 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c79763f getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c79763f in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c79763f XXXX: in2_to_in1 -> switch_current_use intput port: switch_current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29b1d918 (name: switch_current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2850892b (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1fefdec6 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1fefdec6 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1fefdec6 XXXX: in2_to_in2 -> !switch_current_use output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4597c536 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b91997c (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6275f80a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78172164 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@352f525 (name: output) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@54dfd64a (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1927d173 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@587adf32 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c15e2c5 (name: output_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6652008b (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4159e97b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4fd43d2d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2c34edd8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@38d4559d getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@38d4559d cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45fdb74d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@596dedad, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@11ba2363] output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3344ee69 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5726d29 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4593f7df (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@554fd76 output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@11776c13 (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7fa5031 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d0d621e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7f109b84 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@55ad6781 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b2b759e getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b2b759e cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3dc82f2a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@75e918f7] output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38ff8db5 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@44b244ff (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79a1d23e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3fbfaf1 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@47ad4d1e (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@116e7ca8 (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66a97c99 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3a592ecf output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17314127 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7558f455 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@583813d3 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2b64714d putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@36c1257f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@251bf76c getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@251bf76c cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7185f8fa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6d043d2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@508224cb] output port: current_use putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3de365d0 (name: current_use) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@39a96f6d (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@78ccb0ef (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@63b33070 output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@45d80433 (name: output) intput port: input1 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3778d9e2 (name: input1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2aae5c2a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@50e4c9bf output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5598b60c (name: output_is_present) intput port: input1_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24dec294 (name: input1_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7c499529 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a16022e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1aaeedb6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@63ff137d getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@63ff137d cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@44c67cef, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@eb2b7e3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@671fb591] output port: output putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76362284 (name: output) intput port: input2 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d209e0e (name: input2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77890d06 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@76d2c6bb output port: output_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31b7e8e7 (name: output_is_present) intput port: input2_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@588ed031 (name: input2_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67d0171b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7d7e244 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@9a9d289 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1601743 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1601743 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3fe649e2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c59f1cc] variables size: 8 variableName: current_use variableName not input port: current_use 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: output variableName not input port: output 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 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-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: input1 variableName: input1_is_present variableName: input2 variableName: input2_is_present variableName: switch_current_use RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor PrimitiveTypes::Boolean PrimitiveTypes::Boolean PrimitiveTypes::Boolean putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@34feca78 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b60dd20 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b60dd20 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b60dd20 XXXX: pr_to_pr -> true output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e4b9ede (name: absence_alarm) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@26bbfeae (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@75c96636 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@59d3e824 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6b5c30ae putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ec24e8d getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ec24e8d cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6f8664d0] output port: absence_alarm putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@186db0ad (name: absence_alarm) intput port: input_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@51935ed2 (name: input_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6609ad6a putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6f3eae21 (op: !) intput port: enabled putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1aa383b3 (name: enabled) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@510d3bfb in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6f3eae21 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@510d3bfb putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7ac4ae4d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60915892 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66a9e128 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e43dce5 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@12aa7a6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@12f379ab getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@12f379ab cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73dd3e7a] variables size: 3 variableName: absence_alarm variableName not input port: absence_alarm 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: input_is_present variableName: enabled RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense PrimitiveTypes::Real PrimitiveTypes::Boolean PrimitiveTypes::Real putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@761ac6a9 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@47ba9f09 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@47ba9f09 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@47ba9f09 XXXX: pr_to_pr -> true output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@51bb1a5b (name: sensed_speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@7b3b76bd (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3c737019 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@22c540ea output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2b25ff2b (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@b0bea6c (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2cdfb0ac (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@249577cd putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@204d08d3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26571ff2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26571ff2 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@148585bd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5394d63e] output port: sensed_speed_is_present putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ff259b2 (name: sensed_speed_is_present) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@77e2859c (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2b28878 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2068111e output port: sensed_speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d0ae368 (name: sensed_speed) intput port: speed putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1ea74730 (name: speed) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8c0fdd4 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6840ed33 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@427b42f0 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@35b2e951 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@35b2e951 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@f985b41, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35da1be9] variables size: 3 variableName: sensed_speed variableName not input port: sensed_speed 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 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-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: speed 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) 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@69e51de1 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@61d871e3 (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7d38c234 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c96947a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c96947a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c96947a MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43134815 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@225576cb (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@29036d35 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1be2a3eb getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1be2a3eb in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1be2a3eb MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e481867 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3e511c82 (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3c99d510 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49f66356 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49f66356 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49f66356 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a6dc997 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@231d1dfa (value: 5) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@303dc172 (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@260458a2 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@260458a2 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@260458a2 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@42fa9480 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3e8031f5 (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4f950ef1 (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@231f2a91 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@231f2a91 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@231f2a91 XXXX: t0 -> x>6 XXXX: t5 -> null output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6bdef6c2 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3ba03169 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@25763de (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f925639 output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5366c1ef (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@69f79993 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@50075ee0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@d79e947 output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@687538be (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3d1b0f22 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5781a63f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15704e59 output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@54012481 (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3186533c (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b6cab6d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7c7932df MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@210124fd (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@229d9c52 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c246caf (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@19fe5c3e putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3170a530 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68e4bd90 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68e4bd90 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@75a70367, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@cfe740f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b98daf, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@84b7d7f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@453aeb2a] output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71049797 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2277ac4d (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@30867092 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@57f630cd output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29bad8b (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1d116c51 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1e908d81 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7806b6c6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@27aebbb8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a1bb18e getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a1bb18e cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@15a1e2b9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@428c6703] output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@79ae4ba (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1db46ada (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3ca1a210 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@615bc44c output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31b453e9 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@fe81dbf (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3ee88f70 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ae4545 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@12966582 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6497261e getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6497261e cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@71f7b090, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5daf366f] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1317f6c3 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f28b701 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7b90eec5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54b7a9af output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78baec14 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6230dcbd (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1eaae0f8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@77b9d853 output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@584c40fc (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3cfdaa7c (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7599203b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c5b059b putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@762ae74c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5b0e90c8 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5b0e90c8 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@36d8eac2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@345bc64b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2e514f84] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c52ec96 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@65106c9 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@22d854e8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@53dcf6fb output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2891864a (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@26f8badf (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4667c5fc (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@723888e5 output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56bff33e (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@35f29574 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4dc2fe13 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7b0b28ee putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@528412b2 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dad8b1b getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dad8b1b cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@18889c56, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2fd900e4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2ce20904] variables size: 5 variableName: approach variableName not input port: approach 2022-03-01 14:24:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: exit variableName not input port: exit 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: enter variableName not input port: enter 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: far variableName not input port: far 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: x variableName not input port: x 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 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@5c6ba726 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@686fc9df (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3123671a (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a55d1da getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a55d1da in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a55d1da 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@76f05430 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@50cc1a56 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@58c67dad (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@777d2831 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@777d2831 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@777d2831 intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c752adb (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4dbc2a15 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@d11e7ba (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@67fd878d (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@221b5a5b (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@e5b208f in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4dbc2a15 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@e5b208f putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@cf53ac9 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13d7772 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13d7772 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13d7772 XXXX: t0 -> (approach)&&(z==2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3af0ae05 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21893857 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@15f6f1a8 (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@1cbf393d (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@23003c29 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@c698a30 (op: <) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@15f6f1a8 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@c698a30 (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2eaa1ee0 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@255582a1 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@255582a1 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@255582a1 XXXX: t4 -> !(approach)&&z<2 intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5588ed10 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6ab0204f (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9887277 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@14ad20e1 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@65faf09 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6d0645d5 (op: ==) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9887277 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6d0645d5 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@275789c8 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d660bcc getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d660bcc in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d660bcc XXXX: t1 -> (!approach)&&z==2 intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3603d9a8 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64f466d8 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@68f99f8b (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7397faac (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5b71a3ef (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1cf4ccff in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64f466d8 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1cf4ccff putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@38550d2d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7adc3525 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7adc3525 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7adc3525 XXXX: t2 -> (far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@18c4079f (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@689b76bf putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5f798f0 (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@19133321 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@21532763 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@12ce8378 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2bc7b9c9 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5f798f0 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2bc7b9c9 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2b4d1dab (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15e1232c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15e1232c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15e1232c XXXX: t5 -> !(far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6807073b (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3e33356d (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4282b919 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@4937844b (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@19597c89 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3e66aa92 (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@69fb9636 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4282b919 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@69fb9636 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1c9b429e (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19225399 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19225399 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19225399 XXXX: t6 -> (!far)&&(z<2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d80ccaf (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@996dcbb (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@48ef8f17 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@64b2d8f3 intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7fcc957e (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4000ed38 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74235518 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6246e2f output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d586cf0 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5af62b4e (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@34132e9d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@11637b26 output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4f82ba16 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@244544f3 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@90fe120 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@33f116c 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@59375917 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@575bfc1e (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@212b0134 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5ae4d00c putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3978d5a6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@540f0fc6 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@540f0fc6 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2cfc6db4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2389a6ab, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3b1d7abd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67da6440, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@288434c2] 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@164e3172 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2202af9f (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2ba9bd39 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e962990 output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39345691 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@efd687f (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68db5cec (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@76e22ce output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cf57c6c (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@79ae511d (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4b204ef8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d2e6d00 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@a8f60d5 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46d66387 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46d66387 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@74fffe6a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46d9c00b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7d2b1737] 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@16d323bb (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e0270f2 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b355eaa (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@24ea1b3 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d8f94ba putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dd492c5 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dd492c5 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@802f902] 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@22e2cfd6 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@20cd422 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1dd9f788 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4104698e output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@752c8207 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@11e5f544 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@43523547 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21786cba output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@30d5ee28 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e2462a3 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5c0e962d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3ef12caa putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@214a21f2 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7c2414a1 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7c2414a1 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1dbf8097, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19d02f7c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f51b46b] 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@337a5c2d (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b492ef1 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@919351f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5dc34f1f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3c39fbbe putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5220d5c6 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5220d5c6 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@617da8ad] variables size: 5 variableName: lower variableName not input port: lower 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: raise variableName not input port: raise 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: approach variableName: far variableName: z variableName not input port: z 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 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@32807240 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@76966b81 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7c48f8b2 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e12a809 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e12a809 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e12a809 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7df71fdf (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e63d05d (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@173764f6 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12f4db1d getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12f4db1d in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12f4db1d MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cc226ac (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@22b33442 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3760de64 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68029970 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68029970 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68029970 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@457b0169 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@36506e01 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2e3a16ca (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14c165be getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14c165be in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14c165be intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7bf59655 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6a4ab658 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c781d57 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c60b953 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1b70c9b4 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@243744f4 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8896780 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c781d57 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8896780 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@416afde3 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@234518a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@234518a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@234518a XXXX: tr0 -> (!lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@194f5ee4 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@44b42b7f MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@25426bae (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@636eafab (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@b5655c (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65bf59e6 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@44b42b7f in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65bf59e6 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@539641e4 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12fa9207 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12fa9207 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12fa9207 XXXX: tr1 -> (lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76cb936b (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5657c3b1 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@639e42c0 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5511fb06 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f6b6a04 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@17496413 (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d0ac78 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@639e42c0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d0ac78 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5cc3ae6f (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7098d429 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7098d429 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7098d429 XXXX: tr6 -> (!lower)&&(y<2) XXXX: tr2 -> null XXXX: tr7 -> null intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@553b4c38 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@14ef5b50 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a95b85 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3913bbc4 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@36466a52 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@581d8211 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b78fe4 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a95b85 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b78fe4 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@23dec94d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f366410 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f366410 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f366410 XXXX: tr3 -> (!raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5aa2896d (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2436d5c8 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69321e2e (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f27695f (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@31807e37 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@230a655a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2436d5c8 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@230a655a putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5ab0dc7b (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@42ca993e getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@42ca993e in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@42ca993e XXXX: tr4 -> (raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16bccfa8 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@499a0975 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f32be23 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10f2c17a (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@60438d43 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@798bf19f (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@43729b2b in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f32be23 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@43729b2b putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@450d7b2e (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d5245aa getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d5245aa in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d5245aa XXXX: tr8 -> (!raise)&&(y<2) MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2013fb42 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@62df69c3 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5270b6f0 (op: >=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c649cc1 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c649cc1 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c649cc1 XXXX: tr5 -> y>=1 XXXX: tr9 -> null intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2668e13a (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2a340ee1 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@21e1e62f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7cb93377 output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1db96ceb (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@17f02abb (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@390e66f4 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c99c829 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a913365 (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4ca26f7e (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d189d8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@444bc1ab intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1792c85c (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@48948c4f (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@420143cc (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@58dd84be MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@598c77d1 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@35166e5b (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7dc14416 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@498dc764 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7305137b putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fa054b0 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fa054b0 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@359fcf98, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5416ea03, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56fe209f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2df59ca1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@665d7588] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2225ff4a (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@23b46f3b (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2ec8aff0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6d1e72c6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@604c1f80 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f8cdb2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f8cdb2 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a0e90c4] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f52dde9 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2db659ba (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@43507478 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5240fa3b output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bf4d80f (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@44902142 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4236e1c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@51e7dd81 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2c2e4312 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@56b8e73e getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@56b8e73e cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7da162d4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@12705837] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5640652d (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@20010af3 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@30a05f24 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@228d2969 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77315918 (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5f4f939f (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d24be2d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26291481 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b2d60c5 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@9437f96 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@9437f96 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4dddbb1a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@604bfe35] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b861c75 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ba36d74 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64269a63 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3170a777 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7ade7098 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44123232 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44123232 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c04ab2c] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ace59f9 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@78e61bba (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@71328241 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3f624491 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@772bd315 (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3f582d81 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a1d80a1 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@777601bf putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5eecc73f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@10abc6b0 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@10abc6b0 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@123a1029, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@a4146ae] output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e07a7e8 (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5cfe4759 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5c8a0e5e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a803dc8 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@299bf397 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f1ad72 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@b05ab2c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@e0b9f9 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7691e539 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@93bfce3 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@93bfce3 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@69d5b479, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@615e58e0] variables size: 5 variableName: up variableName not input port: up 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: down variableName not input port: down 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors variableName: lower variableName: raise variableName: y variableName not input port: y 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors 2022-03-01 14:24:47 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: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 16.865 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 6.693 sec testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.728 sec testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.945 sec testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.738 sec testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.813 sec testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.581 sec testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.308 sec Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 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.TestVandVOperationsOSLC Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.008 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.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.TestCreateViews Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 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.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.TestBasicOperations (SWT:981): Gtk-WARNING **: 14:24:47.966: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:47.966: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:47.966: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:47.966: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:48.160: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) (SWT:981): Gtk-WARNING **: 14:24:48.170: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) (SWT:981): Gtk-WARNING **: 14:24:48.174: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton) (SWT:981): Gtk-WARNING **: 14:24:48.203: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem) 2022-03-01 14:24:50 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-03-01 14:24:50 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@2527ba07 (name: modelSystemView, visibility: ) (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-03-01 14:24:53 ERROR ResultsGeneratorService:458 - No sirius diagram found for export 2022-03-01 14:24:53 ERROR ResultsGeneratorService:458 - No sirius diagram found for export 2022-03-01 14:24:53 ERROR ResultsGeneratorService:458 - No sirius diagram found for export 2022-03-01 14:24:53 ERROR ResultsGeneratorService:458 - No sirius diagram found for export 2022-03-01 14:24:53 ERROR ResultsGeneratorService:458 - No sirius diagram found for export diagramDescriptors (SWT:981): Gtk-WARNING **: 14:24:55.206: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar) (SWT:981): Gtk-WARNING **: 14:24:55.461: 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: 12.57 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: 11.787 sec 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.TestVAndVOperations Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.004 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 Results : Tests run: 32, Failures: 0, Errors: 0, Skipped: 24 2022-03-01 14:25:01 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/MonitorPresence_Monitor_Sm.svg [INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg [INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg [INFO] Copying file basic/Selector_Selector_Sm.svg [INFO] Copying file basic/System_SystemIBD.svg [INFO] Copying file basic/Selector_SelectorIBD.svg [INFO] Copying file basic/SystemBDD.svg [INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg [INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.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-devel-to-master/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-devel-to-master/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-devel-to-master/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-devel-to-master/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 ---