Skipping 132 KB.. Full Log

getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4a257a54
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@24ecafe8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@63aec9c4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@305b5e60]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5e621b5a (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4b9709bb (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2155e6f7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d5ccb5a
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@732aaf60 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@83aa6f (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@eef96d6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@55b28a4a
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73c57e33 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e0872f6 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c2300c7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5d0239d3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@56ef0a6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fb074ab
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fb074ab
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58491057, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bb412d2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5d168e3]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f073bc7 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41e8c77 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@a867a67 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47798ca1
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41264e8a (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@312b0fed (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8c71eed (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d097d0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70f1cb3e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fdc4dc3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fdc4dc3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6dc24734, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@247439cd]
variables size: 3
variableName: current_use
variableName not input port: current_use
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:13 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c34eb5e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d53069
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1474f21c (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@34b8d3b3 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@434df5d0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@416ad0fe
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72bd3edd (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6a4e72 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c25d8da (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3b5f0080
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@200f9ae0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d27e05f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d27e05f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3717fb3a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1fc16ea2]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dc61691 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6500ee38 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@71a03844 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@588ae598
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5250286 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@67b64d34 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17243b9e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@188daac7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3511ba62
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@198600a8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@198600a8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@510419f0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@51b079cb]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@70e623ad (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3f9dbd8a
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39836672 (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@37fe11fb (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@27d0457a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1b282868
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@39ba7d89
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c6a05c5
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c6a05c5
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3dde8d67]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3477cd10 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38dc7b14 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@71a07cdd
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2ee7de32 (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24f289b3 (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7f2d52e2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2ee7de32 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7f2d52e2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@d999f4e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d9fc681
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d906b90 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@38bf8682
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@791d0d34
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@217fdcff
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@217fdcff
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38b231d4]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:14 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportStateMachinesAsSmv' does not exist.
	at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
	at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
	at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
	at org.junit.rules.RunRules.evaluate(RunRules.java:20)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
	at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
	at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
	at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
	at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
	at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
	at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
	at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
	at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
	at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
	at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
	at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
	at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
	at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
	at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@4fd238f0 (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
	at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
	at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
	at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
	at org.junit.rules.RunRules.evaluate(RunRules.java:20)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
	at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
	at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
	at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
	at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
	at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
	at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
	at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
	at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
	at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
	at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
	at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
	at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
	at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
	at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@151a95eb (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4c5fe6d4 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3fc86d87 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62b76571
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@674fddc3 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@737661d9 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@be440ce (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c383b88
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@187b1e24 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@ba6403d (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1f01a45f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c82f45c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5068798a (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@ce26fae (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@84a7635 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@795677d8
XXXX: t1 -> x>5
XXXX: t6 -> null
XXXX: t3 -> null
XXXX: t7 -> null
XXXX: t4 -> null
XXXX: t8 -> null
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@54ab79ef (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@11c9dfd6 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@27b2c815 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b53e0dd
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1db71a99 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4da56681 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6ef7748a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6f4f9e72
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4a0922d0 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c7ed47e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79f8b65f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a570b1c
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@694bbb24 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@33cc4f57 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@f3a4d3f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5de7b82f
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6941ba2c (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@38a6f6a4 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@65a8173a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5eefd60
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@611ab72b (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6e067e7a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4b32a547 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@394554bc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d521f50
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@554a9e78
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@554a9e78
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30bccf16, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ed568c9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5cb24c48, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f7df738, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@79ef59be]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52073aad (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1283c3e2 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11224aa5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@42c34f4e
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@297ad7e9 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@25ea8df7 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@261e8c8d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e7f0e3f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1c54b86
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1c19f56a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1c19f56a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9447807, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@62d7fd25]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a255089 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@400b998a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1d686a7b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@798e7562
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@396fc3c2 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2534caac (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7bd157c3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@71fe18be
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@36c8b490
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5af7deba
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5af7deba
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@10fa7a3f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@37fa4749]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@407ee180 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3164032 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66b38f16 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65ca5b06
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@520fc4de (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@63a9197d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1998e121 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2ebd8b7f
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2388342 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@29711089 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77be6d6f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@351af694
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@73fe41e6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f698264
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f698264
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@74e56fc3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@271a3175, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5674e78e]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dc0667c (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@1b276328 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a9ebf55 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7ce80e42
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12756425 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@326b6b60 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d100e6f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@11369f91
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@285b85de (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4182dbde (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6cccd6f7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@49a316e8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3d221f77
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@32048c88
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@32048c88
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@36c0b070, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30ed7d93, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5899d4dd]
variables size: 5
variableName: x
variableName not input port: x
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:17 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14b7fa36 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5a9210e4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6b5801d5 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18dc0ee9
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26d167f3 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f2b94b2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@15276c49 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9b7e3d
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7314802 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a13674
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b9ff15a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@eafce74 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3d3f6fb (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@bc96263
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1a13674
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@bc96263
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7fa84761 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c6f2b46
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b31d081 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45d39079
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b5eec2d (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57528eca (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2292e979 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@54afa93d (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b5eec2d (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@54afa93d (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@61c35bf0 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@609593d
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@567e5cec (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b1ef917 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60688b95
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12191346 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3624b4d5 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@a4e3547 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60688b95
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@a4e3547 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2e5e23b8 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cf9df49
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42d0bd6a (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b57223b
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5fd5f49c (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5fb1aff8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@18cd6289 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a19cd51
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b57223b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a19cd51
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7a98a99a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2fc5e42a
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f2b5267 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73b9d08f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4c0b08e8 (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26a42e77 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43f9e8ae (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@7ef975f6 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aa17e89
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4c0b08e8 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aa17e89
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6df1323c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c16ca74
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7df99472 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7feb19a2 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66798c32
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a92c89c (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5b798bb8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7c78af7c (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@564aa4dd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66798c32
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@564aa4dd
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2ae050a0 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46994fde
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b4532d3 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@58ea7e5f (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@30a60064 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78e43aac
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a155cc9 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5106d952 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@51234636 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@8cb27e4
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7848d120 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1f634b32 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@543aac1e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@51f557a
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3b605528 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3e5fb3ad (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f84b224 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@404f942b
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@79bf501f (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3abe565e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2031d6bf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c63e05e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1f5f7465
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27bdf6fa
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27bdf6fa
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1f69364b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6b3bbeaa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5a545bfc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@259f50e2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7312f174]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d99e7a8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@62deb8b9 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6237cc7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1520b30e
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6776a2a5 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@70fac582 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d225a1e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7d0a3c77
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fbbdaf9 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@94bcc59 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@764685c4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5a83e6ff
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2b9e9344
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@45eacf52
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@45eacf52
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6d0ae0d2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c874312, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f1ff21d]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e2900a6 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@682053a2 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@387fcba1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@77bbb75
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@31e1b70c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@441f6487
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@441f6487
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a9870cd]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@adcd2f5 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@78d8f625 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@211fefeb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@411278ec
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2db55141 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@12e3e30c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c5d360c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1edae273
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@196297b0 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1494ec13 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@315c55db (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78dce0f9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@750e2745
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d9fae5a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d9fae5a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7f105f3b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@40d59ef8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56d0a498]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3de681fd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@51a8eae7 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@28f602e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5590b73f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5cf02d19
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40f2e75f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@40f2e75f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b5bbe86]
variables size: 3
variableName: z
variableName not input port: z
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:18 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d64d651 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e62ea89 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@19041f60 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@634aa70c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b0d4f3d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7dd701ea (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@425ddf5f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73214319
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a5c132e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@c8416a2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@41230df7 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7cb3d4f6
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61a997b5 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5d179d87 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@51534d15 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b4b39a0
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d736325 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@623cff7f (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1094c046
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d62a148 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6b9e8f8a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6edc5281 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58fc39ec
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1094c046
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58fc39ec
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@30fcab5a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b5cd8e4
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a5e0f24 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@627e8b08
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27438b6d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@19fdd959 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1350c26d (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e02dc4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@627e8b08
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e02dc4
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3e43c6f6 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e30161a
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ae8d967 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6ce6cbab (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c7d0535
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a58bae (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4f4a595c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@152b788d (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@31db93b0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c7d0535
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@31db93b0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1e8c96de (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5293b084
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e245f83 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@219bebd6 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@171425d5
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4af5672 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28dbd923 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@56e042b5 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@606cef31
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@171425d5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@606cef31
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1e8e3988 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e0b91c
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b2f6b57 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2028698f
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a1d4bbd (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2ad69139 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5a5332e7 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39545c33
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2028698f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39545c33
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@49e4a807 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50ac0ae5
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b34e301 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b4d7b1a (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46da09d3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3dd1ef04 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@71313f54 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1540fc3 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17d61aab
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46da09d3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17d61aab
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@254d6e9a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f849e82
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52e9d5c5 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@42a90db5 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@14a6d0fd (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a89039
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4695a375 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7b6d19d6 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c059d1a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5cd75d26
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3732d3c2 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2402df5b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@14df6b8c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72072a5c
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@530a4b1d (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6140ae20 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@eac2a8f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@45b2b4cc
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44614dc4 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2034cac6 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4fa3741d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f67adf1
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@51a6ccb4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@57c24ebc (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@315cbc5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@213fe673
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@461b4d8c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@295d39ed
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@295d39ed
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@de7632d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6278974f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@43ef420b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@33d93aa8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@591d9f5]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a331598 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6045700c (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b904380 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@67ce50d9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6553066d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2375f4e7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2375f4e7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@680a6eb4]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7da0a289 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4d4b4614 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@768ffec7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26e26d03
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5e2e27bc (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4942a18b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@40b207a2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@758df0c2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5a313a08
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14f898a5
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14f898a5
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@180a6da, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@71f257c4]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39d8526 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@72f55f9 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64807eaf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7a99582d
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@154256ed (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@683f4921 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@f2d278f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3fc55e77
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3837925c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68aed53f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@68aed53f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@708b4aff, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@bc52975]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@177aceb2 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3d8cb210 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f20aa55 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a6b85df
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b25d77e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@555a129c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@555a129c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73d1dba4]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b87d627 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@17359f85 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a447a3c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e9e3b81
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b4dfc9b (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@20bf81c0 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@69e38a71 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66aee6ff
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@12737795
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@799daa67
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@799daa67
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@52e770e6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8bf00dc]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e8cb294 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@670593e3 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17ccd63f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3af76ff7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5184622f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1ad57977 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b59393c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a506b77
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@18b7f908
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f7e5d0c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f7e5d0c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@75a18a9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@23c51fc1]
variables size: 3
variableName: y
variableName not input port: y
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:19 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-18 10:16:20 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportTimedStateMachinesAsSmv' does not exist.
	at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
	at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
	at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
	at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
	at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
	at org.junit.rules.RunRules.evaluate(RunRules.java:20)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
	at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
	at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
	at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
	at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
	at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
	at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
	at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
	at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
	at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
	at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
	at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
	at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
	at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
	at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
	at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
	at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
	at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 21.796 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 7.223 sec
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 1.909 sec
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 1.168 sec
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 0.924 sec
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 0.78 sec
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 0.861 sec
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 0.859 sec
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 2.552 sec
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 1.45 sec
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless)  Time elapsed: 3.985 sec
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
testApplyCHESSStereotype(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.005 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
testApplyRecursively(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
testCheckContractRefinementOfCHESSComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations

(SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)

(SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)

(SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)

(SWT:970): Gtk-WARNING **: 10:16:20.704: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)

(SWT:970): Gtk-WARNING **: 10:16:21.105: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)

(SWT:970): Gtk-WARNING **: 10:16:21.116: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)

(SWT:970): Gtk-WARNING **: 10:16:21.120: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton)

(SWT:970): Gtk-WARNING **: 10:16:21.165: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
2022-07-18 10:16:23 INFO  core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.papyrus.gmfdiag.common.Diagram is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
2022-07-18 10:16:23 INFO  core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.gmf.runtime.emf.type.core.default is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@131a6756 (name: modelSystemView, visibility: <unset>) (URI: null)
num diagrams: 9
resultsGeneratorService
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [bundleresource://8.fwk1308244637/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [bundleresource://8.fwk1308244637:3/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export
2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export
2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export
2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export
2022-07-18 10:16:26 ERROR FaultTreeViewerUtil:574 - No sirius diagram found for export
diagramDescriptors

(SWT:970): Gtk-WARNING **: 10:16:28.703: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)

(SWT:970): Gtk-WARNING **: 10:16:28.891: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
Tests run: 3, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 14.103 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
testExportStateMachinesAsMonolithicSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testInstantiateParameterizedAchitecture(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testGenerationDocumentation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations)  Time elapsed: 13.713 sec

Results :

Tests run: 35, Failures: 0, Errors: 0, Skipped: 24

2022-07-18 10:16:35 WARN  resources:110 - org.eclipse.core.resources - 10035 - The workspace will exit with unsaved changes in this session.
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-resources-plugin:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 14 resources
[INFO] Copying file README.txt
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basic/Selector_SelectorIBD.svg
[INFO] Copying file basic/Selector_Selector_Sm.svg
[INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg
[INFO] Copying file basic/SystemBDD.svg
[INFO] Copying file basic/MonitorPresence_Monitor_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg
[INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg
[INFO] Copying file basic/System_SystemIBD.svg
[INFO] Copying file basic/document.html
[INFO] 
[INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---