2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 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-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 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@573fcf15 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@71d9c0a9 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f4fdbb7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f4fdbb7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6f4fdbb7
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c24e1bc (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b0a38c9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b0a38c9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b0a38c9
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@73633c7e (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ca61530
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ca61530
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ca61530
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@792da9b4 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@20695a42 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66cdd740
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66cdd740
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66cdd740
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@720795d5 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@372292c5 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@266b5a30 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@64a2e28f
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2a457af3 (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@9d271c4 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@75941014 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65122b3
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7c24268 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1d045f05 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4845f801 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@470e0f00
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@524ad48b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6a750fd5
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6a750fd5
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2310f78c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6206d33d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@16310cc]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@724d4d07 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@750c7c (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@154df948 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@633afa10
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b07a605 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@533953f5 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@29446763 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1d1ae221
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b6b5809
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@62429861
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@62429861
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@57decc1c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67df6034]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@941491f (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@15bb0ebc (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@23348c46 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4775ee1f
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@447f4e5f (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@97c7682 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@e2d9d57 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66408f9b
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@587338ba (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32519d50 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@50f46968 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@32aa18ba
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@73dd50bd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@15be336c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@15be336c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6f4f1a0d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e49b989, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@29d1eb00]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c429a0b (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@74510b3a (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67603c83 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3fc5b4b3
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@274fe382 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5b3b348a (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3d599f4a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2f2bc47e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@772071ea (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@753d94e0 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4eff6c2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7516ca15
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@14d5a7c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7a744135
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7a744135
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@346c19ad, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58ef8258, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b72c3a]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71153183 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7117c171 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33d66553 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1207551e
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4a46f7f4 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@595ab84 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@569ba98 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2d6ea08e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@50ea0b80
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1f07dee1
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1f07dee1
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@10e75c2a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14dd6b40]
variables size: 3
variableName: current_use
variableName not input port: current_use
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:58 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 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-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@44771ea1 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@36f06f27
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@36f06f27
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@36f06f27
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d8ec4cc (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@661bc77 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1fb0f09f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2c5231e4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@17413806
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5ccde39e
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5ccde39e
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5e36512b]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57070367 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5369a5b2 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@282e85c6
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4d28dd33 (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@225bf3ca (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c818606
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4d28dd33 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c818606
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@60dd24e5 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b17bc88
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@162fc783 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@262ec2f6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2fdd20da
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f154ece
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f154ece
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@bb7f5f4]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:23:59 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@6a079a4c (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException(/testFaultExtensionsGeneratorAcceleo)[368]: java.lang.Exception: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:27)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@36bfa94d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@74fc97b5 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6d648151 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7079c2c7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7079c2c7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7079c2c7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72b7c4a0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1c78622 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@44d1df3d (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c043a46
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c043a46
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6c043a46
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17563887 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@151bce97 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7bd81b76 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b3594
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b3594
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b3594
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3239b978 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@563f6f2a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@32da0a6f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@300f183b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@300f183b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@300f183b
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31aff0bc (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@73bb197e (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38566f41
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66ba5c7e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28de6a05 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@385f689 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8a2bddf
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38566f41
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8a2bddf
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3c4f4919 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46430e23
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46430e23
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@46430e23
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@50e5f27 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d6fc39e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62a506b0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6797913a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@10171d88 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3774f27
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d6fc39e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3774f27
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@49ad497f (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50bcf2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50bcf2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50bcf2
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c55897 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3f0baede (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@75db2de
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f7f06e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@29d801e7 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4bc7375c (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21e6a7b8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@75db2de
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21e6a7b8
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@19aa576a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fabf033
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fabf033
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5fabf033
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@436d8a38 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@535fa687 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c38cb67
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@56180ca6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@798b6017 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@574e9a3f (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d471042
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c38cb67
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d471042
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2b2c4670 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d9cf8ce
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d9cf8ce
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d9cf8ce
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c521f06 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@301bbb43
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72c15d47 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2888c744 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@24ae577c (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49023109
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@301bbb43
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49023109
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@3151760b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a9e75c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a9e75c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15a9e75c
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@105cf104 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@e259a32 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cceb1a
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@799e6b77 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@ebd6191 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2ceb8e7e (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@481b24c2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3cceb1a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@481b24c2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@42543b65 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@106d48bc
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@106d48bc
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@106d48bc
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21e6b4da (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4c75584 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@389089c (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48d37db7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48d37db7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@48d37db7
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@768c9d2e (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2fca2219 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7f367d79 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2db97732
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f4eea46 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@41eadd5c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@d7bbdad (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6b1d5bd7
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23499028 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@345ea920 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6418ecd3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@655ad064
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@afdc437 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4b2b7be1 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68766823 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5b1c5cb9
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f24f791 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2f4067e7 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@742c255c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4d6c46f4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@556cb8b7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25dee065
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@25dee065
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1d000a21, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@40f92091, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bcac20e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3a0609af, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@274a4dcc]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4f0a3b87 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2f55d090 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4021f20e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@228d798b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3c45a85e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@43a43d5c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@43a43d5c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@141425d1]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@545361c0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@233b0608 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2755f32a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2014b13a
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6f069999 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@14f6c937 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1cb2a420 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@192a4bed
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@423bc300
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2d45507a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2d45507a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@a8f7990, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@20e9765]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1df77919 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3f60cdff (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33251de6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2cab8ea5
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ab21598 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@33043e04 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2855dfaf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@587bb2a6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@427f72e4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bf08c33
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bf08c33
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@408bdd5f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@13bae2bc]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fe8d20a (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7a0fff10 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7b23c1b8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2dfc79b2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@446d9685
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fff3ed0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2fff3ed0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7e11908d]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63b3799f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@f4e6b56 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@46b41148 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@57d1c41a
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fd630fe (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@533efa89 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@35668ff7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6c4e7c55
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7281e0e2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f79d1bd
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5f79d1bd
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7e517712, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38a0ecfe]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1bfa3995 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@49e29449 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@31939f7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f55613c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5529c5d2 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@8b453e2 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@42281582 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@76c0d07a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6ddc8c25
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14111830
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@14111830
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3a7af3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46c1d4b6]
variables size: 3
variableName: y
variableName not input port: y
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:02 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@285216c (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@75bfd486 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6c6b58a6 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58f6174b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58f6174b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@58f6174b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2bc460c7 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@69afbe84 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@31f88e0d (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76c47e36
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76c47e36
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76c47e36
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5d3f9282 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7cfaa00d (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2a392c5c (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2ceb014b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2ceb014b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2ceb014b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bbaf5d0 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@49b169d7 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7443d9ba (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4188ed9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4188ed9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4188ed9
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@7707b108 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6ca9b7b3 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@10f511e2 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1545bb43
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1545bb43
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1545bb43
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2a1c5744 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4b78eb01 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d2add12 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@bda694c
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4334a904 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4f987280 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@34a1f42c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6c697bfd
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a7393fd (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6f3fc41 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3d486827 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a595ae0
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ca3ce2d (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@152b2a0c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6bdc61de (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3b82b81f
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2942dbe4 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@65f5ff8a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6dafb07b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4343af91
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7c61c1e6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@766a178c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@766a178c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4848105a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@76bca12c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ee9a672, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@f2f1b26, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@76d1059]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e07d5cd (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7b9287aa (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@15ef3e31 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7a11919
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57d80d9d (name: approach)
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
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4caf28d3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2a97097c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2a97097c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@33d64c4e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@720b9c64]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@13aeb94 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1a913804 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66ab5a12 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4efbc798
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@184bf398 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@b89b98d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@37ce1924 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2719cf42
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@60893f0a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2631d936
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2631d936
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@24f72a15, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@e342f5c]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@53ccd3cd (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6c3dff1f (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@217ab60a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@606c777f
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@558b8204 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@56cd4aad (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@22f37c98 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21a72036
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28350da4 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1411a22d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2dbf0b8b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3581289a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@35d95ba3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6b455248
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6b455248
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39cb5722, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@15565026, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@c9451a8]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@607f3d4e (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@28082ccd (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7df878d7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@600b5be4
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@79079fe6 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1000ba4f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e804658 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@14eefc17
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5153a9c3 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4494b364 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@688a8f28 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@be7d86a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@47366564
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5cf832ce
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5cf832ce
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67b4c1bb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@cb00029, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35261eb5]
variables size: 5
variableName: x
variableName not input port: x
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:03 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:04 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@2df245ce (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43021918 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6a004732 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3644cb70
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3644cb70
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3644cb70
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@56d7c625 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@71ac1735 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@68c47418 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fabf3ce
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fabf3ce
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fabf3ce
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@456ca715 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@826891b
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@d0c3499 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1265b622 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3291ff74 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@ec3c66c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@826891b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@ec3c66c
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@628793d1 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@57991dff
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@57991dff
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@57991dff
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2e126869 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59cd70b8
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@11f36045 (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@82f17a6 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@354377ea (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7b9994a (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@11f36045 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7b9994a (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@dc220b0 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b8258ed
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b8258ed
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b8258ed
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ee4bb10 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3727e036 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14017ced
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@e18147e (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@153f1296 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1d916657 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14017ced
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1d916657 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2e8871c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fcca9ea
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fcca9ea
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7fcca9ea
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@70681419 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30ee88af
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@546d998b (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c665a02 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4c9e514b (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8711387
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30ee88af
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8711387
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@306862c3 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8740afe
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8740afe
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8740afe
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1508d30a (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2ee3cb69
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@54c144e1 (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@30f3fcad (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@63b0f93a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5338cea6 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d806e6c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@54c144e1 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d806e6c
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@22b9ede5 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bf3e4b0
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bf3e4b0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7bf3e4b0
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38eae5c5 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@612246dd (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1342f680
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@32e5bcba (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5dceb3ee (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2e291224 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2adb1797
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1342f680
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2adb1797
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@35c47e1a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30f22e9c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30f22e9c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30f22e9c
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@364dd556 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@784f55e6 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3617a626 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1cd392ef
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@446c0346 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@460e9e48 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4da32639 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4de79188
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6935cd41 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5bfbe2f1 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@fbd9559 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e273ef7
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39bfabb7 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3dd73a1b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5ea377a5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@19342a00
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@5d92d882 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@591136c9 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c4a6c11 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@249631b2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f0bab6a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d4ce457
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d4ce457
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@483d942e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2e7d2f3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7b78344c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1b217006, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3f991ba8]
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@2b8a48f8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5e5f2335 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2420ddb2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@63a50910
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a114014 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3df08ee8 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f1f19a9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54b96ed3
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@443885b0 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7d86c411 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a334859 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e3723a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5766233
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a53b234
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a53b234
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e2081e3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@50920c04, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45fe4565]
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@314101d7 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4edac3c8 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@27f4ba6f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@313063b3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@8c683fb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@696fe7ad
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@696fe7ad
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@317077da]
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@69e8175a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@29ca5f51 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@26bb6294 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6b06f85
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fcbeace (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@548018b1 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@29526f77 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2c9bf19f
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cf6e358 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@8673de7 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3274d24b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4110da93
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2a170dca
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44bc92f4
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44bc92f4
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3c74475, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3b52a9eb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@450f19a0]
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@63b6a8b3 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@76f91f6c (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2cfab435 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1bb47a35
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4d11aac0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75284a3d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75284a3d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19d60876]
variables size: 3
variableName: z
variableName not input port: z
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-07-01 09:24:05 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: 23.405 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: 3.733 s
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.983 s
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.342 s
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.31 s
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.162 s
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.212 s
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.501 s
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.281 s
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.112 s
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.78 s
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 4.363 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.007 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/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO]
[INFO] --- install:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/devel AUTO build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO]
[INFO] --- tycho-p2:2.4.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
