output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17642604 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63f393fb (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@57517ab6
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b662a2e (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d046140 (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2975950
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b662a2e (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2975950
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5e4f177e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@248271c3
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7a520a72 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@42b781b1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@64658a7e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3e3f913
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3e3f913
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3f0d0af]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@30ea6771 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c7954fa
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c7954fa
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c7954fa
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24ea3ba1 (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@329a1d7 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@61ee3fae (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a0b0608
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f4903db (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@31a032fc (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@21237829 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@734a0143
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@442a832a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7653abb0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7653abb0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7bbf7fc3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14058fc3]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e247ef7 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7e654797 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4626b40f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@484c720c
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@15427e34 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41cfdaf4 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@32ba880e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@19cd4047
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1f783e94
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@34f7527d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@34f7527d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7327aa46, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1b00edeb]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
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@fec9639 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5c4b6d8b (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@666af395
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@666af395
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@666af395
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@25bb4e0f (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76bdd51
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76bdd51
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76bdd51
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@49d68e4 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64d57fb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64d57fb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64d57fb
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5913f390 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4edf02ac (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d569d83
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d569d83
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d569d83
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@421b1fad (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@db8604e (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@732a767f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@116cd2fc
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b10510b (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@45e4fa37 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@655de57a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1251201f
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b40a357 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7917d74a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@73eb9b27 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@68a10c9d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@76e550c5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78d34ee8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78d34ee8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6749e18f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7513db3a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39cf82e6]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48dfd28a (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23fe1aa0 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6663648b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@16b51c1f
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2048c7c1 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7330f272 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@e8a87a3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@30e12789
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@56f1889b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6032129a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6032129a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@22c37d31, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@79fde041]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7576ed2b (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4ce52c41 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a8c3274 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@76bb080c
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34e6ac45 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@510409bc (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6aa08e7a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@44f5004a
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@45700815 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3448a0ee (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a752b43 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@366e9717
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@739b016f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@558f2293
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@558f2293
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5875ea5c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3455711, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4a9f9a01]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6cbc70d3 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@45e84f8a (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@73919aa4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a731120
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@546c255 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d54968 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7d6eb72c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6f0643b0
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c61706f (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7457ec82 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7c08f2f3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@214e2501
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@76fbcb4f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b6c5ee8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b6c5ee8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a37b5c3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7c44646c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14f31a34]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3af1e0bb (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@65c9948d (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@69e710ba (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@af0ce5d
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f311380 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16f59517 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@474635b3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4bc88920
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7c522eca
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dcfd76c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1dcfd76c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@366669b8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56d1fd28]
variables size: 3
variableName: current_use
variableName not input port: current_use
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
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@d4b7747 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@d681e7a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5a4864b2 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6dbdb3df
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6dbdb3df
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6dbdb3df
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34593d0d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@39d40e66 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@10e7388e (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@644015cd
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@644015cd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@644015cd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4db83d94 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@59abe1bf (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@38a5056d (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2395f96e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2395f96e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2395f96e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27267016 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3a05817 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@22a94dcc (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64ff04d1
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64ff04d1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64ff04d1
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@13acc10 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6db13714 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bb54d50
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2be247e3 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c6f54c3 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1802d5cd (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@498cd450
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bb54d50
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@498cd450
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@70684fdd (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79d52a57
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79d52a57
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79d52a57
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@570e7b9c (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c1124ea
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@518835b1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2e18b705 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@aeefbc1 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f9db802
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c1124ea
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f9db802
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5f2829fd (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c546772
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c546772
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c546772
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a41ef6a (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@620df975 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@576f3c3c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d2813ee (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@48978f9e (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@66468201 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12591a28
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@576f3c3c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12591a28
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@372d889a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64dfd057
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64dfd057
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@64dfd057
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41d72a90 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5d900310 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@465ac1ff
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c55cd62 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@342eedd2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@69fbf0c4 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@793e813d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@465ac1ff
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@793e813d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1be26da5 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cfb957
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cfb957
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cfb957
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1dbe5d94 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fec70b7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@360396e9 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@334267a4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5cffdea5 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a7445
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fec70b7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a7445
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2ad40e7b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4bd9c3be
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4bd9c3be
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4bd9c3be
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23893b8d (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@ffc80bd (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ffa66c3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33ac6b9 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6985c000 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2174ce5 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e17ee1a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ffa66c3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e17ee1a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1bcde66f (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a3affa
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a3affa
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a3affa
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d719d15 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@67966d48 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@92b8d6c (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66668d70
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66668d70
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66668d70
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@210e4829 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@775cf593 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b38008 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6ccad9e
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5550e26e (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4530653a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a1c1e54 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@39dff8d4
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6bce3e13 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2d118fe5 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17c5daad (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@519a99d9
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4b3e0b5f (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6af1db7a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@53d8743b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@56097bc8
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d56f6a5 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@998ca7e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@19711eda (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@43be107
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5e82dcfb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a07efb7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a07efb7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@63a31c1f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45c90485, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3492d822, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3ed7f02a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45ef400b]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a7e1bf4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6b29f031 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@54791a47 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@600ab6b6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7ab1b0f8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@480f991f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@480f991f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@20c332d2]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5dbcb680 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5804b1f2 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@61684d82 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@290f5192
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@11bffa85 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6c495261 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4f6e0637 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c3e4d89
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@72bbe759
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55d3af82
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55d3af82
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7fc03ec, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46b3f289]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2eec5d79 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@49e8c82b (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@10965c25 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4037face
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@cfc6024 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@35a4800 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@218f5b3a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e91344f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@310392f9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@315c35ac
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@315c35ac
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@79932c1d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6284c46b]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c2a72a4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7cb946f8 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38da7298 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@60b1578b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2f41a66b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27b4909
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27b4909
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7e72d7f9]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58f87c23 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7fec41ff (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17499ce4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@79fa813f
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62f8f347 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7f06a55e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@24f3b8e6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@9ad363e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2c6a8e87
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3cca42f0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3cca42f0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67942c5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6786796e]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d7abab8 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@51d9acb8 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@540e2e4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2134d210
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69d313f4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@75f3de1a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77264582 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7085ad24
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1b84c73
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2cd1102c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2cd1102c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6d7c0806, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@680e9419]
variables size: 3
variableName: y
variableName not input port: y
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:46 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 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: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7c89e63f (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@59b0b6c5 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7a4b2e68 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60c5be33
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60c5be33
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60c5be33
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@55618cd4 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6c91b1a3 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1e99cfd5 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@159bc7bb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@159bc7bb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@159bc7bb
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@471ad801 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@792fbef4 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4861584f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@151cb671
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@151cb671
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@151cb671
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@683d045a (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@dbcfecf (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@9861688 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4398bad5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4398bad5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4398bad5
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@70624ba1 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2f8c6b06 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4035c646 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d6436c0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d6436c0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d6436c0
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@333d3144 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@25b9cc0e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1abe3603 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c6a9ce9
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@46872931 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2d355453 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@465061d8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@e15202f
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71244e7d (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@76b40bc6 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33afea69 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@141cb06b
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@47984333 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@11248a3d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d14c6d2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2c7abaf3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29fef594 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1c3ef7f4 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67e780f7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1e3313da
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@403f07dd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@600cdbd6
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@600cdbd6
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@ce4f1b9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@11131720, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@17285f0c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@55353762, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ef76d44]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@22513e74 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e23937b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1bfb58b6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4a83c5c3
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@618ae079 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@23f01f78 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@628fdd58 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@36f6b117
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@491698
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7754cfad
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7754cfad
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@297f6cec, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@60b327c1]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31cf5bc6 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6305591f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1af1f791 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7310655f
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38ca1190 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@714e6a37 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@649646f0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@145ceda0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7cf2282a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4b045189
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4b045189
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@26564fb4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5b0c3aed]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a7900c2 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7ec6d9d6 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@44a75fb1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@25b76209
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7ea196d (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4faa682f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@310efcbc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2fb777be
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78412254 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6436c663 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@229b3d45 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3605b42f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@47a77339
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75d29478
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75d29478
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19751f97, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4355a0fd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6ee5c147]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@340367ce (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@5a3f7bfb (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a906602 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@45be9518
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6aaca776 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4bedf97b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@52d42672 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@63f37f65
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6cebe37a (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@48e9e9bd (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b7db164 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@430de939
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70ce2211
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5bb4949
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5bb4949
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@66c136db, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9cc0458, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@701f7d2b]
variables size: 5
variableName: x
variableName not input port: x
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:47 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 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@452f7b18 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4ed632ca (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7ddd79c3 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a730fb1
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a730fb1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a730fb1
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@5e148b11 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@215656da (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@35ea8025 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c853d7b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c853d7b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c853d7b
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7334f525 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b670812
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@9b36a97 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@64922d2d (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@305b7147 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cfd8c6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b670812
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cfd8c6
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@11baedfa (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@81cba06
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@81cba06
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@81cba06
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6655d0b6 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@991c3c1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@69b764a3 (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@4d6d2461 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5759d1a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2fdc9be (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@69b764a3 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2fdc9be (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@50bd373e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a48b47
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a48b47
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a48b47
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@efef692 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@658b50c (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b987048
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@fb1f5d4 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7682c8d6 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3531f3df (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b987048
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3531f3df (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3d23cf01 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c65011e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c65011e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c65011e
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b984d15 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2bac4064
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@37932b0a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2ef94eb4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@37905e9b (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ef6876d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2bac4064
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ef6876d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@509338c2 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16f1f05c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16f1f05c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16f1f05c
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52cd9261 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53f62c8a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@13114c06 (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@79f4be0 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@39ff8fe8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5b0f6621 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4267603a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@13114c06 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4267603a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3f5ae3dd (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@26a6578b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@26a6578b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@26a6578b
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@bff6353 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7165c9c8 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e5e1ee0
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@608eed49 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@109bfff0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4fef4fa2 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7178e1a1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e5e1ee0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7178e1a1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@668bbe62 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@675924f6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@675924f6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@675924f6
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@784a73d9 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7e287667 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3092ac46 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2964eb32
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21b917c (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3fbd4416 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1ae82f3b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@145b7a2f
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4a1599a9 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1f5de909 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@44178c2e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@b521c81
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dec1493 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1d09ad86 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@650734f5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e2a8ac0
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@736f411a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@23dab76c (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7fa69f7e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@55f066c0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5c9e9af5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@721d6e48
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@721d6e48
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5e6b4aac, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4fd9cb95, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2d072f22, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2068b796, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2452b71d]
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@31bc00d6 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@548dc570 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@65567aa3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72bc4625
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23575214 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@19cba54b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4f9e57b3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5f03bd0b
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@46dd830d (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2f89760 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f666b43 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7dcf6241
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@57a0431e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25564561
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25564561
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bad5969, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f608b63, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@42dd633d]
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@59d4e497 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7244575d (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5ba916a3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6f69479f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@11e7e6b9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@284396e7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@284396e7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@327a4dc9]
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@7bdc4063 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@cc6a3b0 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6c32a3e4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@372c3dbe
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2eeabc60 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1788412e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6e5cfdb8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@38cbfc00
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43b94ec5 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@16edf6ad (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1fd568f5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7899bcf3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@71df1a43
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7775860a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7775860a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c39dbbe, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2d7a1167, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7777dde6]
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@69aa2176 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@14a6e40d (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d779392 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@314b8775
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@952a1bb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@b2cff86
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@b2cff86
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@c71c048]
variables size: 3
variableName: z
variableName not input port: z
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-01 08:40:48 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: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.13 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 6.479 sec
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.819 sec
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.931 sec
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.876 sec
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.633 sec
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.789 sec
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.465 sec
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.084 sec
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
testApplyCHESSStereotype(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.004 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
testApplyRecursively(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
testCheckContractRefinementOfCHESSComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
(SWT:986): Gtk-WARNING **: 08:40:49.657: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:986): Gtk-WARNING **: 08:40:49.657: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:986): Gtk-WARNING **: 08:40:49.657: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:986): Gtk-WARNING **: 08:40:49.658: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:986): Gtk-WARNING **: 08:40:49.848: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:986): Gtk-WARNING **: 08:40:49.862: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:986): Gtk-WARNING **: 08:40:49.866: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton)
(SWT:986): Gtk-WARNING **: 08:40:49.898: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
2022-07-01 08:40:51 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.papyrus.gmfdiag.common.Diagram is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
2022-07-01 08:40:52 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.gmf.runtime.emf.type.core.default is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@641d93f8 (name: modelSystemView, visibility: <unset>) (URI: null)
num diagrams: 9
resultsGeneratorService
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [bundleresource://8.fwk1308244637/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [bundleresource://8.fwk1308244637:3/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
2022-07-01 08:40:54 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-01 08:40:54 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-01 08:40:54 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-01 08:40:54 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-01 08:40:54 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
diagramDescriptors
(SWT:986): Gtk-WARNING **: 08:40:57.564: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:986): Gtk-WARNING **: 08:40:57.684: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
Tests run: 3, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 12.893 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
testExportStateMachinesAsMonolithicSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testInstantiateParameterizedAchitecture(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testGenerationDocumentation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) Time elapsed: 12.569 sec
Results :
Tests run: 33, Failures: 0, Errors: 0, Skipped: 24
2022-07-01 08:41:03 WARN resources:110 - org.eclipse.core.resources - 10035 - The workspace will exit with unsaved changes in this session.
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-resources-plugin:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 14 resources
[INFO] Copying file README.txt
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[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/Selector_SelectorIBD.svg
[INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg
[INFO] Copying file basic/Selector_Selector_Sm.svg
[INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg
[INFO] Copying file basic/SystemBDD.svg
[INFO] Copying file basic/document.html
[INFO]
[INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO]
[INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
