2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - 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
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - 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@b2f530c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5b63bfac
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5b63bfac
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5b63bfac
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8c64d82 (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7d222d03 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@607e1aa1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@16b33516
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2c23d01f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6fe18a0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6fe18a0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@20400de5]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@25666b25 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4b120243 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e8e759
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@36fbe8f7 (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@20d2924e (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b098c0d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@36fbe8f7 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b098c0d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2a0a6e1a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@435f87fc
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77ab3d3b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4075be27
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3976628d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a8546dd
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a8546dd
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@357f45b5]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::Selector::Select
RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch
RootElement::modelAnalysisView::Interval1_2
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14482a2c (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6e9e11ff (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9c445a0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9c445a0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9c445a0
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@65770737 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@23ba8d1f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@23ba8d1f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@23ba8d1f
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@246a6b (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c8a9c31
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c8a9c31
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c8a9c31
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56a9b9b6 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1fa2c065 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c9d61d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c9d61d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c9d61d
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@589d93db (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@23a8ddb3 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d40988c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3643df0e
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f49156 (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@675481fe (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4e79f160 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66eafc0e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@40b2bfa4 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@32a8d3d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d98ec9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@33620810
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6678ce47
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@65cfcae0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@65cfcae0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@201d1a44, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@165e05d7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39a1674f]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@494245b (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5950185 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38c0110a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6768250e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@42fb7344 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6f4fdbb7 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@573fcf15 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@71d9c0a9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@68a1fc85
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@73558458
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@73558458
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6aa7b975, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f7ab528]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5fb18f5 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@69b5bc4c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4be5b2c0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@27daa3da
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a3b2b64 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ea8bfb3 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@583d7914 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2a0bd5ba
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@948bb94 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7266c829 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@41a0eaa8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@35724123
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79aac802
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d4e33bd
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d4e33bd
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14210992, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e0890e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@b928da0]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62be10af (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@643567fc (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@157d55a4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@34e86879
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26413d23 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6984a490 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@16ab0c71 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6177157d
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e708455 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29c092f (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c9a4589 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@151f7d9a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5f871140
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7bab43f9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7bab43f9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2129647e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2ac909d6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@250a5461]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8ad52b8 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3141c27c (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6b8382e2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@119ded9
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@634374d0 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cae08e6 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2b4d1503 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@646df9a5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1cf0e40c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@157ff1ea
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@157ff1ea
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6a7965b4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2af39d07]
variables size: 3
variableName: current_use
variableName not input port: current_use
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:15 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException(/testExportStateMachinesAsSmv)[368]: java.lang.Exception: Resource '/testExportStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
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:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
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:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:27)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@683ff149 (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException(/testFaultExtensionsGeneratorAcceleo)[368]: java.lang.Exception: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
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:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
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:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:27)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
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@4d63e58 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@37fa16c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5e14392d (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@40970ec5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@40970ec5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@40970ec5
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62c8a987 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@79808786 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@603a470f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d04437d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d04437d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d04437d
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1315fb75 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@59743941 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3369a73b (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5018a512
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5018a512
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5018a512
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@217544a6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@70425981 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3330bfb9 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34b3b343
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34b3b343
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34b3b343
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@37feaa5f (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5be536b5 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4760a4e3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c99da4e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4e7735d0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3c55e235 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ed00ee0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4760a4e3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ed00ee0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3cd9e0de (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78567c95
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78567c95
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78567c95
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72afb093 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f150b8b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2514d714 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@71eef84e (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@7e4ae5c8 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49b4f0d9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f150b8b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49b4f0d9
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4a1b328c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b45fd6d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b45fd6d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b45fd6d
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69875181 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@14c0f2bc (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@408fb998
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@600410c0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@33dc5e18 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@209a1fcd (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1de4213f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@408fb998
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1de4213f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5da6b053 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4cbd92c3
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4cbd92c3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4cbd92c3
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@971ddd5 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@51953b97 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6ed81f4b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5036a96b (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@57ae49cd (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@2f1f892c (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@193f9c3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6ed81f4b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@193f9c3
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@640b756b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@598ceb90
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@598ceb90
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@598ceb90
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2e02a432 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4fbca3aa
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4cb3c495 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2582a7f9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1e1ab44f (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3411f5d5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4fbca3aa
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3411f5d5
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@66d408ae (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3aca6258
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3aca6258
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3aca6258
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4dd5895d (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@c88f42f (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2152a42b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f56e0bd (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7e281d6b (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@35caa70d (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@10d2e63
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2152a42b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@10d2e63
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@29f665f7 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6c4ac6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6c4ac6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6c4ac6
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1bbab76d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@73e0c421 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1e686fb9 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225cc14e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225cc14e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225cc14e
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c55897 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3f0baede (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@75db2de (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7f7f06e
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29d801e7 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4bc7375c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@21e6a7b8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@19aa576a
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7014ba81 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@29b1e08 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1654b284 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5d0eb623
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@81bdfb1 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@522aebe4 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@61d9b3b7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@49ceae01
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1ffe06de (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1a8ebb0e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3666f7e3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a64f988
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6543c6ec
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fabf033
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fabf033
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@436d8a38, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@535fa687, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c38cb67, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56180ca6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@798b6017]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2277f516 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2bc495ed (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@78d65805 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c9afac0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@51d86900
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1054959a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1054959a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@34ad0fca]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c087586 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@aefe99f (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@626747fc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2c4e8240
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73b5660a (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@663daf2 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5ee32565 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6e7e07b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5eba439b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44914ece
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44914ece
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@501aa398, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6e4ca6c8]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d49c793 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@b760f76 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@20c9f7bd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@384b02b0
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b1d2f75 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@202b9edf (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4fb0f178 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2f8e34bc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5d1ac0bf
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@340583ef
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@340583ef
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@48d37db7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@21e6b4da]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ce6885c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4f436d90 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c9999ea (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3e6b63d4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4637a82d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@62981914
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@62981914
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@385e4da6]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29bbcac9 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@73805401 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7610320f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@43766e1f
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34ec093a (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@453d73fa (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@324aa118 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@42bc37d8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@164d536c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@599d99d3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@599d99d3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7f8451d7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@603c8135]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@fa5f871 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1bf6ac0c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6c40600 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26de595a
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6985b80 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28201193 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@ef2f691 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5ab27a9c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1eb27e11
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e51dd67
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e51dd67
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4f1d56e6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4b89605b]
variables size: 3
variableName: y
variableName not input port: y
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3682381f (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ed06e56 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6b86d064 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5568642c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5568642c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5568642c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17e76637 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@72b3f6a4 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3e58e475 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@238d291a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@238d291a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@238d291a
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24df55d6 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1e21f562 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@43c2b177 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5254d238
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5254d238
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5254d238
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f72114b (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f7e370 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4a2b72e8 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68fef4ad
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68fef4ad
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68fef4ad
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@5506001e (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@30c544df (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4717ff6c (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7afcbf05
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7afcbf05
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7afcbf05
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@53744e76 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@50cc5efa (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7cf258ea (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2dbbf758
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5ccd0b67 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6e44b58a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f95a0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72ecb3cc
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@464e18c5 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@d6d1d63 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@71a32bfb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66c694d0
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@507830fd (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@351ba994 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d0fa03f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@fbdcf5a
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e53e988 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@76ecb4df (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5642fc65 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@37642ee8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@36fa8e25
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11d80804
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11d80804
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ceafc84, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@324362f6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4aed27bc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@12c04565, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39659565]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e86692 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e6d8c23 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@355eda1c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e582e70
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@19c30fdf (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7bad9450 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38e02f03 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2754bdc1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@26e8f303
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@51975f58
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@51975f58
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@49170b96, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@484be6d0]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cd7191d (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5672b38 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c5fce9e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@32dd3d07
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26d6d5b0 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1ad404b9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@284d1243 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@73a33748
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@634817d9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bcca614
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bcca614
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@24f2c8c6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6dcc2100]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1859c144 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5bd40a88 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@54a8a355 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4070065
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5282a240 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@29f962d2 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@385aceb3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4e2f5f5
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4335c78b (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@21b8d2cd (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4ff9af1f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5ca7b648
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@31432bc8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@320c4e73
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@320c4e73
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1262a145, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6ce2f318, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@173f99ce]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56063c96 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@530b6fe4 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7acdff79 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@106cba89
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7769c69e (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7f15f3d8 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6ab6fd74 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ffbaa59
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@269fc20e (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@76c47e36 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2bc460c7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@69afbe84
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@31f88e0d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78425138
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@78425138
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35426839, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@284dd7ba, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@533c5b51]
variables size: 5
variableName: x
variableName not input port: x
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:17 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@212a9c55 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f347eb8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7c12d000 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@464d1988
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@464d1988
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@464d1988
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6cd1b809 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@45e8bdf9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@184a9139 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33fbcb25
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33fbcb25
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33fbcb25
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61dabe39 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5dae6806
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@355eae23 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5fe6f268 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6b79a4db (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45b90fea
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5dae6806
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45b90fea
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5568ec8 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6491c868
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6491c868
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6491c868
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2bf487c (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d29d4e7
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@23ce6127 (op: !)
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78c6b814 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@42e3d8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@438f81db (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@23ce6127 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@438f81db (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@131817d4 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7625aec4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7625aec4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7625aec4
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@567bd226 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@40bc9de8 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21a96e0e
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7084c1fd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@78e6d729 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5c915600 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21a96e0e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5c915600 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@36a29a82 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7704cf01
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7704cf01
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7704cf01
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c92080d (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3eae9577
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16a59378 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4241e55e (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5e8f5f7b (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14407cf0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3eae9577
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14407cf0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2e440353 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f117436
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f117436
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f117436
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@632879ea (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2feb188f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b4fa9b5 (op: !)
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5efc4906 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7e3b9c1a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@9e3cc32 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f87ceba
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b4fa9b5 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f87ceba
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@530f0e35 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@221ced4f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@221ced4f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@221ced4f
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72304bf9 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@31570274 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8014d44
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@545a3974 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2445cf85 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2d883ddb (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f613e43
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8014d44
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f613e43
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2af52342 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7395f252
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7395f252
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7395f252
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@865d279 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@68ec241c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74715be (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@28fcbf46
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@eac463a (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7e94f37 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@383c5091 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7577ce5f
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1986db5d (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@54dbafad (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@e39c57f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4577f7d1
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a849011 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@63abec2b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2379cf1c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@594a6ddd
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17807afd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b761692 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@461a2dcf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c349454
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@58f748bd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2161ceae
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2161ceae
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5f95c180, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@591c6969, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1f2c2618, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2571b621, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5419eace]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7074c994 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2bdc4a80 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7bf5c9ea (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3e9e528a
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@687014a4 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@21b1db60 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74defc25 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3898ea36
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@50a51cb5 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7f60a71a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7c5c5307 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3eadfe0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7bd23b9c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d7f1a24
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3d7f1a24
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7fabf3ce, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56d7c625, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@71ac1735]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b574efd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6743a4a4 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74a11d2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7534f930
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@244561cd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a6f1c6f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a6f1c6f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@190beeed]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@370d7cde (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5aecdd7 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@27f235cb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15871d1
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5def16a8 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2edca8b7 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@18368cca (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5a22a0e4
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f5db75e (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@348f2112 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1873bb95 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@57991dff
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@456ca715
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4aed8c28
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4aed8c28
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4cfc8f02, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ad419a0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39e27a95]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@575661da (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6c95f650 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1b006fe0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2df02a70
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@49ccc6a5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ec110e0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ec110e0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@315f3539]
variables size: 3
variableName: z
variableName not input port: z
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-19 09:22:18 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException(/testExportTimedStateMachinesAsSmv)[368]: java.lang.Exception: Resource '/testExportTimedStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
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:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
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:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:27)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Tests run: 23, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 13.829 s - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.AllTests
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: 2.461 s
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.508 s
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.718 s
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.786 s
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.677 s
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.712 s
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.72 s
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.72 s
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.45 s
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.964 s
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.719 s
testFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped
testFMEA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped
testContractBasedFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped
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.002 s - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped
Results:
Tests run: 46, Failures: 0, Errors: 0, Skipped: 24
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- resources: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 7 resources
[INFO] Copying file README.txt
[INFO] Copying file basic/SpeedSensor_SpeedSensorSM_SMD.svg
[INFO] Copying file basic/SpeedSensor_faultSpeedSensor_SMD.svg
[INFO] Copying file basic/document.html
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO]
[INFO] --- install:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO]
[INFO] --- tycho-p2:2.4.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
