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::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1df158bb (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@20fa1379
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@20fa1379
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@20fa1379
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c9552c7 (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@177a37ec (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e78d94c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@e4edf72
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@480ba716 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e882cac (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66523688 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1e1fd07f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@bb9f7bd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6d39a5f4
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6d39a5f4
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b8cb2a2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@667f7d05]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@59d77036 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@47d0d00c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5ada0aa6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@61d3429a
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e7c856 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42f63896 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@48f39554 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@334fc942
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@e571205
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49be4196
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49be4196
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3622b28d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3b2ef457]
variables size: 3
variableName: sensed_speed
variableName not input port: sensed_speed
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 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-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: speed
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@29755a7b (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@549d7f3a (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@63615d8e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@63615d8e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@63615d8e
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c21d600 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f67beb1
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f67beb1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f67beb1
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5af665cc (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@25a17f05
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@25a17f05
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@25a17f05
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@499db6a (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@70c48c40 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@173f272d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@173f272d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@173f272d
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@545a2a9 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@67d01ce4 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5bf8955f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@b5731e6
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23af8acf (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@447f9562 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5b32a2df (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6958705e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@367e6648 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e123160 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@40f85e27 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a080ce6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2f816bc9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2ffff006
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2ffff006
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@395732f0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5694015, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@54a2d7f4]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3af174dd (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7557f27e (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@37888657 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@585e636
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34632dc7 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7eedfd37 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@d246683 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@27ba9547
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@a1a9962
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ab111c9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ab111c9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@466be7b9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@fd0d11d]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@440b23db (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5d4452cc (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@54953840 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4e5cc7c7
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5354302c (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cf9cab8 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@51d3b05f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7999375d
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b3ead12 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69f01ac7 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@25ed1eee (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15fef6d1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6bd68f41
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@ba22e23
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@ba22e23
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8fa8edc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4975c137, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1d4ef028]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@397bcc80 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@535eb437 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@506a09aa (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@842a177
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6fba7333 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@49639dff (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4944fa20 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5410b366
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@680f613c (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d5695a7 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@532dfdd7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2f7ef57
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@116278b4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e60c202
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e60c202
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5a96daa7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6e8b325a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58a93f45]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5f5876c3 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@18e60428 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f447435 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1b1deb13
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7ef68dd (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f80eb4c (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13d9c755 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6768f34e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1bbdc6fe
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@991a99f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@991a99f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@57435503, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@69d9f179]
variables size: 8
variableName: current_use
variableName not input port: current_use
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 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-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 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@5d56bba8 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70a4d58d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70a4d58d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70a4d58d
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6530517f (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7114fca5 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7ddea4bb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4e1d354e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@29412e5b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@18857eb0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@18857eb0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6430de6d]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a609882 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cf26c96 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7e530ad3
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@264da0bb (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78378878 (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77aedd34
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@264da0bb (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77aedd34
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@11cd5480 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ace767a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1efe5113 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f387885
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@64aa46b6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1f18fbd1
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1f18fbd1
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3fdb532a]
variables size: 3
variableName: absence_alarm
variableName not input port: absence_alarm
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: input_is_present
variableName: enabled
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@31e8685f (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7ad90cca (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@71b1a2c9 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@333f08a0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@333f08a0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@333f08a0
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c097084 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@565c82fc (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@51844271 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@360d36e0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@360d36e0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@360d36e0
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@637446f6 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@48ae693f (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4acf03b0 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@199d4c79
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@199d4c79
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@199d4c79
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10480a6f (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7e33fc1c (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3a7a14eb (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d3cf0eb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d3cf0eb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d3cf0eb
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@65020ea5 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@62073637 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7e10b05c (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3432fd24
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3432fd24
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3432fd24
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e586564 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4ece8c0c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@696d02c3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fc1e082
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@624fc55b (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@585b8bf2 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@59a1f120 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@49f4cf66
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@558dae1e (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@518dab46 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7f368a6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@681308c1
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5056b683 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6c3df054 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7097032d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@b248fe
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@65b514c5 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6609f777 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2ecf1ef0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c28566f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@71f67e13
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75b06d49
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75b06d49
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3c317276, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2dbd8d4e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@510fd9ec, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@537b6bfd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@646e0126]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a175af2 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2bbecce (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1648ba8e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@726c1fa8
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@429c0bdd (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1f9c52dc (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4cd3076b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5ed0d006
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7c30fae2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25f83718
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25f83718
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@595fdf78, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6f1b9fb6]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39ebc348 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1ee86f12 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2dbda556 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@796978b5
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e7f0553 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@43b27971 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@365e344 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@31fb8f4d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@57c851bc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7544289c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7544289c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7681ddb9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2b04e9b]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e14047d (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@76806c13 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@764430ce (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@267e86fe
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@86749a0 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7df24c4b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a67d17b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@787cfbbf
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ae48759 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@251b0a5a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3163eb8b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2edd5f1b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@406ddbd6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@28ff02aa
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@28ff02aa
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@e074e77, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45ae4e83, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@211bf8b1]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@9ccf981 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@3e21646d (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4001dd68 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1e36d83d
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@70d83a8b (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@456f3af1 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@bcb55a9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@231483dd
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12a9f956 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2eadf140 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7f1a9f21 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7817f174
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2529d469
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d8c6cb1
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d8c6cb1
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5506daea, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@205d3aef, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@411b37c6]
variables size: 5
variableName: approach
variableName not input port: approach
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:41 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: x
variableName not input port: x
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:42 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@210a5213 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@707f1c5d (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2d96cdff (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f12191e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f12191e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f12191e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cd40c21 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@56d96f9a (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5db809d7 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ba98907
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ba98907
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ba98907
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@53b6e25a (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@40d3da26 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6a08bb14 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76ff1f6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76ff1f6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76ff1f6
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c9b374c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@362c2424 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@53193961 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67f21ce9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67f21ce9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67f21ce9
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2ca762ed (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@15de99f7 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@293601fd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6fcf03a7 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7868a4b9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@19188b62 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b84855
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@293601fd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b84855
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@17fda1de (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2efd1844
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2efd1844
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2efd1844
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24e0b498 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59bb5eae
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71d15500 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4b0c4abb (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6a696336 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@69a41efb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59bb5eae
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@69a41efb
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@12a63f9a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c14de67
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c14de67
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c14de67
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b756900 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7c5dcbf2 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@219d3714
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ed94972 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@e540ac0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@20cfb296 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@e63be45
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@219d3714
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@e63be45
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@308cb460 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fd401f4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fd401f4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fd401f4
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@53e464d8 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1138116b (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3ee83e4b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42a272c1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@32900ce9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@63f2f099 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c1790ca
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3ee83e4b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c1790ca
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4df2ddf3 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1dfbd3a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1dfbd3a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1dfbd3a
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6566d214 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@762ca188
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4325126f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6b3c2237 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3819bb36 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b2a7d5c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@762ca188
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b2a7d5c
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@40f7a43c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49bc21b5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49bc21b5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49bc21b5
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32a026ad (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4f52fd6b (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c278dba
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ba04318 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3886998f (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@60679251 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@501d99ba
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c278dba
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@501d99ba
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@59acb822 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fbb0769
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fbb0769
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fbb0769
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26eb63b6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6a380c4 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@143bbf95 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77af56cc
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77af56cc
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77af56cc
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@25053fb1 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@733c9991 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e197350 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a5c9579
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16a8d934 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@14f3a61 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64294aeb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a20fc4a
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4a11e743 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@32f54052 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c252af5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fa5797
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44149314 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5c7bbc14 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@69bc57ec (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3aa9f3a3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5ac54bd1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b5fd781 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@50d7f831 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@25962d63
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@55fd71c3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26e25278
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26e25278
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ad86faa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8d76978, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@47dc1387, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@43fdc111, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ae153fb]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ea91be3 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43f1aa6e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@337f4760 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@9408db0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2f10f978
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49ce7976
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49ce7976
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c766212]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b850d46 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@40a484c6 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5fdd0832 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15cf07a
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3200322a (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56660218 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@61cd1c7e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@774ff1d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@34d61cbb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4fb448f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4fb448f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@225bce41, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@44616d14]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@200ebde4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5cdb5662 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@131d8920 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2bd57d61
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e610462 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@780f258a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7a4f722 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@71aacc2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@712efa57
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@31c12624
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@31c12624
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@a5a01bc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3736f546]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3af1d0e3 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@607c71e0 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6060246c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@11db8fe5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@259933f5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78a13d78
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78a13d78
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1704ba98]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f37fe94 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1c0c5b5 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33a27f6f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@13cf17ac
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39c981f (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f618b4 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@248f5642 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f164708
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@28ad7295
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@8d50314
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@8d50314
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1b845a80, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@ee66b55]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5f1235c8 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@66fb24f0 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5bfa57b9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3244e959
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7cb636ac (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43d5516e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4a9b8132 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5f00a719
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@124ee903
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@69001aed
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@69001aed
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4c4cb2fc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@122c374c]
variables size: 5
variableName: up
variableName not input port: up
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 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-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 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@2108fc3d (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@564c4b1a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6b0c27b6 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12cd6331
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12cd6331
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12cd6331
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@603ea1a8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@445d71e (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@65c10a5c (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53d835ec
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53d835ec
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53d835ec
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@182ed472 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@37fa246e
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@68f5e174 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@50e431de (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3e07f2f4 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5838780e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@37fa246e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5838780e
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1f01dc3c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@678bf440
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@678bf440
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@678bf440
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a4bab70 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@389b0ba
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5b2cda08 (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@751d8315 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@522aa6ed (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1c68d072 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5b2cda08 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1c68d072 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@21a9a56d (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3db265b5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3db265b5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3db265b5
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1867b6fc (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@48b7a32d (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65f3d099
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@1dbcf037 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3849752a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4d1217c5 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65f3d099
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4d1217c5 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@369e61e6 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@22f430b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@22f430b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@22f430b
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@180a777d (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e02df23
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@56183313 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@336d93c9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@7897bb46 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70e488b0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e02df23
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70e488b0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6773bd14 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6801b233
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6801b233
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6801b233
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e1c1eea (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2ec59938
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6750cdfb (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@5a61fb8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b13aaa8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@599de4ab (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3843c576
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6750cdfb (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3843c576
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@dad5619 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c87d263
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c87d263
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c87d263
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2e8f7641 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3037eeb2 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19a50bc6
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@160b27ed (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43e36613 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4c2e42a3 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d648bdb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19a50bc6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d648bdb
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@321fefd5 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7911601
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7911601
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7911601
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a3642f0 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1b923c5 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@746fbcc2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c9275ad
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@241b870d (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6c742f40 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@657417a0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7a5439be
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28ffa16 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4fcccb28 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@ac00c66 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@51825d49
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c205225 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@51c4902 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@fb5c6fb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c1eaa51
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@6281688d (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b26986 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2411f5d5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1de49f24
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@74484915
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7e10d2b0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7e10d2b0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5675fcc5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1d407560, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@dfbfca, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@34682ca4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4d027d38]
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@2e2b3ec6 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5bd32aab (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5667754 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6929d6f7
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e03081a (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5c47ef03 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6aadef08 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4d1412c4
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4bd180a4 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@288d512a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d5d3e9c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@40329bc1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7a1e7c3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5377ea8d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5377ea8d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@ddfeb5f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4fb725d1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c03476f]
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@5d9ee811 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b71d7de (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1d7fd5e0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@792f0984
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@535ba8d0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fe96ba0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fe96ba0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@61e45e2b]
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@765be3df (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7015d1ee (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3343ccc1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2a35b3ed
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d9e86f (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5d9dc35b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@709529ed (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@77b856c9
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3b6e42c1 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@85ac9ec (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5159534b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@646259b7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2dd377b0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@755d8652
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@755d8652
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7dac08cb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@62a4848f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@26d69836]
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@7ed77f7c (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@38110cd5 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a9434c9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f1d0c49
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@af4b649
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@63a0d993
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@63a0d993
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@780c19d0]
variables size: 5
variableName: lower
variableName not input port: lower
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 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-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-02-18 08:20:44 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: 13.278 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.37 sec
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.5 sec
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.027 sec
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.811 sec
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.828 sec
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.68 sec
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 4.047 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.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.TestSafetyAnalysisOperations
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 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.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.TestVAndVOperations
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.002 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-02-18 08:20:45 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 basic/Selector_SelectorIBD.svg
[INFO] Copying file basic/Selector_Selector_Sm.svg
[INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg
[INFO] Copying file basic/System_SystemIBD.svg
[INFO] Copying file basic/MonitorPresence_Monitor_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg
[INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg
[INFO] Copying file basic/SystemBDD.svg
[INFO] Copying file basic/document.html
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[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-master MAN build-bundle-release/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-master MAN build-bundle-release/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-master MAN build-bundle-release/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-master MAN build-bundle-release/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 ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
