2024-05-30 09:22:09 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@62be10af (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bab43f9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bab43f9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bab43f9
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17189b7b (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@29828fd6 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@24c23339 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@20fcff3d
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@736c6b1a (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4e2db69e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7bc31f99 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c8112cb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2c258afa
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4ca9127e
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4ca9127e
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6b5b28b0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@685a0931]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73f95c40 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@543ac2d3 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@18fa5f9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2df37a35
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14d13897 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@167f4c84 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a2393df (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5cb76e7c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@413fe0fd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54af0fe2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@54af0fe2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@f83099f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5463713c]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2024-05-30 09:22:09 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:09 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:09 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:09 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 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-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 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@3afd2e17 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@ee01f72 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c8d9d61
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c8d9d61
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1c8d9d61
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5f325c25 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d622784
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d622784
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d622784
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@446a6134 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@415a8d4e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@415a8d4e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@415a8d4e
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66599dcb (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@69f53906 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3997ab91
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3997ab91
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3997ab91
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e175841 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@46f237f1 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3a3a9e21 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@527df62b
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@669c6975 (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@310687e8 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5f23dc7f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@62d2a51e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6700aff0 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@623c4d3f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@233db523 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54b01e0f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@362d4446
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@35eba88d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@35eba88d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@51357c1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@223dfdab, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@31532026]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1684272f (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10cc694 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@379a7e13 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@df8fa4d
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3af21982 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5dad502e (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3923c76e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@73c37895
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@59d75166
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@614b6277
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@614b6277
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3d5f55aa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4bfd0ad1]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@307f46cb (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@473bf170 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@25056667 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4277186a
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8f457f1 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@105c97ee (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1ee4fddc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@642a1222
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ecb9a89 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3adc9759 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@36f97c3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@37602e8e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@256df539
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@386befd2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@386befd2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@23661987, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58ab5d65, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5283bc68]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34784848 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@50ff6191 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a9d00bb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6350aacf
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@151c94e5 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ec48c3e (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c2ecb85 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2ace161d
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b84041d (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@413bd62f (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7b734f6e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21d7c0e3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5a089c28
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37d9ddaa
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37d9ddaa
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7c8da46b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@279f6693, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b0b07ca]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d0094be (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5533744d (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3ad980c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@12fd85cd
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7bb14648 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@356ed46f (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a6c5736 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2441725b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@55b3f39d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@21a61ce8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@21a61ce8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4479646a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2cdfdc6f]
variables size: 3
variableName: current_use
variableName not input port: current_use
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 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-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:10 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@b20b8b7 (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: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@19c47868 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4fe5dfa4 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@354cb007 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46b43e01
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46b43e01
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46b43e01
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f04af6d (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3604677 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2bfaaaa3 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48958e92
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48958e92
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48958e92
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7c404497 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@579694b1 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@b73d3b2 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61a5db1b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61a5db1b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61a5db1b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@470dbf24 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@22342f26 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@44ce8bfe (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@662fe0eb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@662fe0eb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@662fe0eb
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@25b12a8d (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3e9f90ef (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@15a9e75c (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@712077
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@712077
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@712077
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@702e3277 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@38c89ba (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@45b78f61 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c1e134
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17dd6d1 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@66db4e1d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1fee0920 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@102993a8
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f0d1422 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@431a1678 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c52a032 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@703ac2c3
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@678174e2 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@743b17bc (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4dd16a39 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6bdb959a
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@711da67 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2bbbbbce (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6dfd8c22 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5a3db342
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@53f68880
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@321ee5b6
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@321ee5b6
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@408be51b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@268ca2e7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73f3ee71, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ea543e0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6119c212]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ba0f873 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4aa60a98 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1d46ddb3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6e0962ab
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52d67c79 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@285e4e71 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@35ea58c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26e79376
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@47331667
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fbd9020
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fbd9020
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@fa9584b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3d9a5628]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b00916e (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@498ee0a7 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7c3426d1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@95f0991
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@16cb7235 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@287e3393 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@75a18ae3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c31647
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@49549630
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e6d7e78
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e6d7e78
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2d84915f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4dbe7215]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4f485b0c (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1c4f4b7f (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@405cec10 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@245db244
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29c00df8 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f32bf0c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6829e696 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21afb645
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8a9d045 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@52b9d483 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@75839514 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@29c2187f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f2fcefa
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@127ec37c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@127ec37c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@143ef5aa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6594ae8f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7173478a]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@209184f5 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@53db9d39 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@cf38f16 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5812d95
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@291bb7fc (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2626d5b3 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@36bd655e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3a5c0b99
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e0cff79 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e972046 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3dd395f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5907fa7e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70592110
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46f9e055
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46f9e055
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2548da29, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@25156b2f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@61b10356]
variables size: 5
variableName: x
variableName not input port: x
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:12 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 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: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27f5d439 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3e9d3073 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4fea5998 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ace9738
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ace9738
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ace9738
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c5931dc (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4bb97ced (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6b7550f1 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50dcf760
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50dcf760
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50dcf760
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e722e4e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@350d329d (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@18165445 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17178a20
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17178a20
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17178a20
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27779c9 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c271356 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@67bb3f0a (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@356d07d0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@356d07d0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@356d07d0
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c856310 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@702eec26 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c9d4ba3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e4f2a23 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@49154519 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4edddfc1 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@28fb55ea
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c9d4ba3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@28fb55ea
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5f127ce4 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b112823
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b112823
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b112823
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29c62903 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@52859b48
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14f62ae4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@79599f36 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@61cf2f2f (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f6ea785
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@52859b48
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f6ea785
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3aea1f86 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@102fada9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@102fada9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@102fada9
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@19c30fdf (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7bad9450 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e02f03
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2754bdc1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@26e8f303 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@31f0ec9a (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8d14590
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e02f03
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8d14590
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@ae95bfe (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e582e70
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e582e70
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5e582e70
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@191ce8ac (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@736f95b0 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@503aa2db
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10cf0307 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6ee8d03a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@61a50a42 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@640c40d7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@503aa2db
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@640c40d7
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@cb3a06a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@590336c5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@590336c5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@590336c5
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4335c78b (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21b8d2cd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ff9af1f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ca7b648 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@31432bc8 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@568aa997
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21b8d2cd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@568aa997
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5489750e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e2f5f5
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e2f5f5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e2f5f5
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e40b76 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@50cbcf9d (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b88b1c1
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@588a68aa (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f126776 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@712bf82e (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f435973
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b88b1c1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f435973
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1487bd09 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13dc15b7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13dc15b7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13dc15b7
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3c8b920c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1cdd3c0b (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4d91a6f9 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1729cd30
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1729cd30
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1729cd30
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57d80d9d (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@38986f1b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@546ac08f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5b0c62ca
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4caf28d3 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@37b466ea (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3558b62b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@dfa8878
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38a6d0a4 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2cb1726c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5c28703f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5488a8a
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@be54977 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c607875 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33d64c4e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@720b9c64
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5384cda3 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c88b476 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7d3d2395 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@53fb68ea
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@26674ee3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7a11919
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7a11919
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@61ca8d9b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8c02d3f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@21182242, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@52db19a9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67c8e03c]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c07fcb2 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4559bc79 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@53654206 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@70624cc2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@43b3cc10
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@20206088
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@20206088
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14001529]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66b9510c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c9ca8ec (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8865c36 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@39cb5722
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@15565026 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@c9451a8 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3649cbe0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5558f84c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@72a845a1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6e4bf6e2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6e4bf6e2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@d9015af, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@438840be]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a97d949 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2f0676f9 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5bef3b38 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3add3a69
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e24f1ea (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@209ed69 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@201d20eb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@73c058f3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4ad24cc0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26d8f175
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26d8f175
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3655cba, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7baf0e35]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@561a2b29 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@119a66b1 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a71ada6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@268d5845
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@21c97cde
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6bb2f643
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6bb2f643
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19036def]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7cd241ef (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@73bb1cf9 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3e9b4b85 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54a018cf
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a93e68d (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@11e469f2 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7547cf28 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21f5c72f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4f7fa12
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fd758c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1fd758c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5f4ef834, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1b9cccd9]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@41da0dce (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@f1ccb5f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5496cd5a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47096c48
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56acad1a (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3f03d2a3 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5d1d2404 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@517a68c3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@628ddb8b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b711fa7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b711fa7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73fbb6f1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9df92a6]
variables size: 3
variableName: y
variableName not input port: y
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 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@f84749d (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@65a20ff2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3500531 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1036e204
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1036e204
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1036e204
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@2629def2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@b1a6630 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2f14f8ec (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45d2249b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45d2249b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45d2249b
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5330b3b7 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60ee2e16
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@3294ffce (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5524c3c1 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@35f7fd9 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12507f3a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60ee2e16
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@12507f3a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@72f8831 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@303afda0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@303afda0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@303afda0
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c4d88c2 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3824fd63
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@69d4706b (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@2ab437f7 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5a4fb1fb (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@451f9034 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@69d4706b (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@451f9034 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@f82f7d4 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@f29914f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@f29914f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@f29914f
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@318856d6 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@195bfc61 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d089875
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@7b799bfc (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@8344ca3 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4e4a0130 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d089875
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4e4a0130 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@37f8e3bc (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@396feb1b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@396feb1b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@396feb1b
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@276b3ef9 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f683780
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@6f2d4b35 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@30c17083 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4e231c94 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60d9f6e7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f683780
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60d9f6e7
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@65286d2a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16192546
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16192546
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16192546
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2abe9c65 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@31c2432b
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3a91f59f (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@5392e86 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5bbac7f0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@78c21cb7 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d4a233d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3a91f59f (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d4a233d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1cb690c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45cf4b00
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45cf4b00
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45cf4b00
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2dd17bc8 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4f72c6a4 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e8f5200
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@144a9b38 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3263ad42 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6bfd0a4c (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fd65a61
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e8f5200
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fd65a61
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1f0589f8 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de2efb6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de2efb6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de2efb6
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57b3c213 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6a59f276 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7fa8e0b6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6fc22c25
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26a8c894 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3c74475 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b52a9eb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@450f19a0
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@258395fd (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1cde99d4 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@32ed6655 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@f12abb1
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3607ebd3 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e7fd4fe (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@779deaa (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1d2cb2d7
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@14fc9bd2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@34047597 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7d416133 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@583de46
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@75d1f72f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@16f0c15f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@16f0c15f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@64749295, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6208ef13, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4bd3fe00, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9f3e464, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@49d33ff5]
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@6b54e3fd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2324c6cc (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@748c3eef (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@313aad58
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7dbdfb89 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@782a4054 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d4462f8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@9704265
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b838171 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@31014ab5 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7f9cadcf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@74f4ab33
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@737b24d5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6805aec8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6805aec8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@342bcc0a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19078c35, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1e818b19]
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@79c1d1e3 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@631c1ac8 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5b65cf57 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@79bfb0c1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@e0638dc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5b1f2ce6
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5b1f2ce6
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6567c0cb]
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@3eb5dc33 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7a902f85 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@a29e995 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fa5057f
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@fe106fc (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7476fc82 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@31d6c6d8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6efb360
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1be93a7 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@426fedfe (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4508036d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3e87dc1f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4b5153c3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c7f3ccb
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6c7f3ccb
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@f2567c1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35fffa53, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@70a095c1]
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@2c305bed (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@46af7c05 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e1ce317 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3195163
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2dd89dde
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27514f38
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27514f38
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5a67ed8d]
variables size: 3
variableName: z
variableName not input port: z
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:13 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-30 09:22:14 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.196 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.204 s
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.428 s
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.736 s
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.698 s
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.75 s
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.746 s
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.646 s
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.598 s
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.355 s
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.007 s
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.643 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_faultSpeedSensor_SMD.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorSM_SMD.svg
[INFO] Copying file basic/document.html
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO]
[INFO] --- 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/737e3d2e/images/svgs/logo.svg){kind=logo}
