cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@16c100d4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@633d2d84, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6594f5de]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@542ec2af (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@54e4f89d (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a1d8bf9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@dc4b608
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2fdd36a5 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c8e03d3 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a0a09f8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@32569847
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@74f8f8b6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4ccd6674
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4ccd6674
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2e518b78, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@545b0574]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4083f5c7 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@873900f (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13729c27 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@736464d0
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c168ab6 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38f194d3 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3fe5a44e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6ff71586
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@772c71f4 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43cf24ce (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@519a2f2d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6965bbd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1221294a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@51562415
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@51562415
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2445fd72, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14cbb70b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5b6e7ae2]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@30d92b9d (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@75bfd751 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@58dcd87e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5bb4f206
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@22c8af2e (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2946f179 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@17e7d307 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6bbf373f
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c6954b9 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@123aa174 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b6c27df (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@29f8f942
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f72ac58
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77fe82a9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77fe82a9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@40f52133, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@31b3bd12, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3c1dc954]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@491c8f28 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@337b2969 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@49566175 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@39bf1fa3
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@14f7b273 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e2de1e5 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@40a6a9c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@45893fb9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6c447951
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b6d6e82
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1b6d6e82
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4983b073, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46d2d729]
variables size: 3
variableName: current_use
variableName not input port: current_use
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4b0dc67d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6a785a43
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6a785a43
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6a785a43
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@fc5ebf4 (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@189dc462 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@57b8bcdc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@50b91c13
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7083c7bb (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6cbb31d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1487b144 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c466e43
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6216de6f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37661c04
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37661c04
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e77b051, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@750c04d7]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@70cbfa58 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@131df962 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7da53356 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@33dfb15c
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1ce99445 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@60c3a853 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3428089e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7ab30a16
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2aa8e2b9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a389197
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a389197
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@31a2b2d5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6ff2cbf0]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 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@6a9e850c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@703fe38d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@703fe38d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@703fe38d
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5dcb05be (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@12e09d0f (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66e9242f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@112fdc22
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@144cdd4c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3c596d15
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3c596d15
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2315ba72]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f92eec5 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17abad80 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61df5fd4
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@70534c78 (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@488f7071 (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@202034d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@70534c78 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@202034d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@19b8cd26 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@73e272e5
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@405d8810 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@52d7e33d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@dd9c5bc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5c49aa95
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5c49aa95
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@229d880a]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:24 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@50d5a064 (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException(/testFaultExtensionsGeneratorAcceleo)[368]: java.lang.Exception: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:27)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6109cf8e (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@8429b7f (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@101808be (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@54acda7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@54acda7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@54acda7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@63fd739b (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4ab1cb34 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@758a8045 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a10b9a9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a10b9a9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4a10b9a9
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b027527 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@468ca1ff (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@702cdca5 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de4b07e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de4b07e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4de4b07e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cb6bfd (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3e9c1cbd (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4df104e9 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6773ac3b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6773ac3b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6773ac3b
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@58208c31 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@26792edb (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5555f5da (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b778b20
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b778b20
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b778b20
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17fc278d (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2ee0dfa0 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@55d6bd4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2e9f86d8
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58a91cc9 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@701cd5a3 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1e7103bf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c8affef
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5cd5fde3 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4a729a17 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5c08141d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47e6fdf4
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34af2a0e (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6a53acae (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7667f505 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@61ebf60
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4bac0af7 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3c6df9f0 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@756beca5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6fda8d7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2dadf14d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f8c8cb3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f8c8cb3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@18b86501, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35cb146b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46f9c4a5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5139fffb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@a7218b0]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@49250e24 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6cfc3d68 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@596aa9a5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@71c3fd32
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10f69900 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1d6ce10b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11474482 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7f8301f5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b99b99c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bf67ee4
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1bf67ee4
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3af3eaae, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4f582e16]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a36e4d2 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@a2dda5d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3296c3db (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@60ee52f0
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d232a4b (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@59b8e080 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5db47877 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f5fc8e3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6b0ac231
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52401d44
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52401d44
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2f446de6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7680f872]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7079c2c7 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@36bfa94d (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74fc97b5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6d648151
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@533519c0 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@180b272a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8da4aa1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@41fd2ce2
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3afdc604 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7b0e9406 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@215b5684 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@969e471
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5df0cebe
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6dce89e2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6dce89e2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1f157cfd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1ea83e3f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1c29d9fb]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32e8d34d (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@59b35ce (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6db45924 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@433787a0
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@37314630 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6bd8305d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@246a297b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5b9fa0d1
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66227d54 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4c52f315 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@39062a15 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fb99ccc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6a048ab2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@565f1e4c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@565f1e4c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@13238544, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@8ad3a21, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7165343d]
variables size: 5
variableName: x
variableName not input port: x
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:26 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 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@358aefd7 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7e517712 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@38a0ecfe (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53c2cf9a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53c2cf9a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53c2cf9a
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@a2705ac (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7ee70b41 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2343b9e7 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14e0b60b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14e0b60b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14e0b60b
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c89beae (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@55fa86a9
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@776966d0 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1caf6b51 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4d02caa4 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c4cc263
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@55fa86a9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c4cc263
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@70af62dc (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@32db2ed2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@32db2ed2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@32db2ed2
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6f75b1be (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@54a843c9
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1e325c2c (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@9995973 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4ba3e1bf (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5d034509 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1e325c2c (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5d034509 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@515cb1b9 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7aada223
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7aada223
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7aada223
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@22db72c6 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@50d343bb (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@352c20c7
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@2ca7dcd9 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5513d6c9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1f97994b (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@352c20c7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1f97994b (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4b69b866 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e10e043
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e10e043
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e10e043
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@50a77965 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@43acffd2
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@5f8e69e2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3db5f952 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5632c3d0 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7244e4ab
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@43acffd2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7244e4ab
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5ea94278 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c8dda83
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c8dda83
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c8dda83
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d9239f1 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@605a2803
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@21aaac7a (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@2985b919 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@75845069 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@44af74ea (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3012c979
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@21aaac7a (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3012c979
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@345bf313 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@29943660
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@29943660
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@29943660
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a99f1dd (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5d366dab (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79a80be8
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@71e1e27b (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4443f283 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2a769495 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13382d78
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79a80be8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@13382d78
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6d34f75e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b93f11
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b93f11
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41b93f11
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4732d5d3 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3ed3f65b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7ce01db7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3147c11e
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@600a06a8 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@414a45dc (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3d3be5e7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@32fb9c6f
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f4f3de (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@118322f9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7375f9f3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1d030b16
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@384c616b (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@30501871 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6c36d5e9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@696838c2
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@32744bbd (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2d74e12 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@58944a3c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7012d7c4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@60ab43d8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7ba6d98c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7ba6d98c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@42db7f5a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@431baff1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@34900c86, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4a69593d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5351de85]
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@3741b17e (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@9615466 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@26404d18 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15a5ea85
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f55730e (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c94c0e6 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@89870e1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@32d352b5
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@361a9ae2 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3c83ff37 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77d79f3e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5f392d8b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3d167104
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6cfbf5a0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6cfbf5a0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1ea88244, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1655161d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2313dcab]
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@116ce2aa (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@a4343ea (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@54386581 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@75de2b42
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@351fee1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@489d3b47
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@489d3b47
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@e776d2]
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@3b3146bf (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@40383ebe (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6e37a6d8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3bfff05
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@328a4573 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@33c64052 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@60943194 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1c2fbd54
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7ceec27f (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7dabd960 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3cf24fd0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5d568007
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@57a15ce8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@aecf13a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@aecf13a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6888b2ab, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@32875d8d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3a015e60]
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@64472cb8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@73a4fe3e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@39016175 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@22c80d8b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7fb7c786
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77dd91f7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77dd91f7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e78dfd7]
variables size: 3
variableName: z
variableName not input port: z
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:27 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@245abb4b (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5c275cb2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@36f24d52 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38ed63ec
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38ed63ec
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38ed63ec
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@65f5ff8a (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6dafb07b (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4343af91 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2942dbe4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2942dbe4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2942dbe4
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b9287aa (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@15ef3e31 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7a11919 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e07d5cd
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e07d5cd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e07d5cd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21182242 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@52db19a9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@67c8e03c (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8c02d3f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8c02d3f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8c02d3f
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c9451a8 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3649cbe0 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5558f84c
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72a845a1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5c9f434d (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@24f195f5 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@36f993bf
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5558f84c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@36f993bf
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@64c4d8c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15565026
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15565026
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15565026
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3add3a69 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e24f1ea
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@209ed69 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@201d20eb (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@73c058f3 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4ad24cc0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e24f1ea
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4ad24cc0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7fd8256 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5bef3b38
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5bef3b38
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5bef3b38
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12a93110 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5002b304 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19036def
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5198de5 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ee31de7 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1b3c0fac (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19d26531
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19036def
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19d26531
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@506db54b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78ec8d5f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78ec8d5f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78ec8d5f
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@366ea887 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7d1b1fed (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@72d863de
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@494420fd (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@a2d83c2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@2f6c011d (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e1b51bd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@72d863de
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e1b51bd
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@76b0c94b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f7fa12
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f7fa12
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f7fa12
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@517a68c3 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@628ddb8b
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43ba8bb3 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7733aac4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@758de891 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79d02428
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@628ddb8b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79d02428
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6e20cfb2 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d1d2404
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d1d2404
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d1d2404
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a121860 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7e8d7226 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f600124
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@45753fc4 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6f8efe12 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7a87ad87 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5541ead2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f600124
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5541ead2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@392664a1 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225914d8
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225914d8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@225914d8
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@737725be (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7c66ea94 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6c7043e1 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ea21064
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ea21064
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ea21064
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b044a9 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@721e75c6 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@58856015 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3b44ea1f
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e5464d2 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3fe5969b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c13dcba (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@509bd335
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d744f00 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5e36597b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@c12a80b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21ec0c7
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6dfd93cb (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1ece28e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@18a75048 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6ccba363
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d2916fa (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@b377143 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@29b0557d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@18d13b93
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3d6a70b5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@187f6bb9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@187f6bb9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bbabc8f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@600a4eaa, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3243a686, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@54a2dbfd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a325b22]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@f7589ed (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2c0fe13c (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1e96fb3c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@22e8aea0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@17171f1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a60c45a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3a60c45a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@dc2cd71]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77f84834 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4e81e769 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1b2a3a92 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ad71d5b
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f5b5fdd (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6ea05ff0 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2414161c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@60bfa00
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@73dbf8ab
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5ebbf8f4
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5ebbf8f4
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@67c65986, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@37f02305]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4cb96d1e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3abd6636 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1dc7bf31 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@669780a5
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61c1c0f4 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@301c862c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@10829929 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4acaa134
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@25e31ef9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d56dfab
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d56dfab
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ca9c98, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@d354d7d]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7068e2b0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@35c98b09 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6ad9780d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@152d254f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@22e73838
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@71d1db52
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@71d1db52
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7cbbaa0a]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cb09a46 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7ae7cfdf (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1d1ccb1d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c05dd4
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c0a95a0 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@68572ec9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13e844fd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15c085a9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6d9fa524
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3dc4803a
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3dc4803a
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@768496ef, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4fc921f0]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6bc1b462 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@38d221cb (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@112cc9af (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72d32dd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61a9e4fe (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@485c4d79 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f4a946c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@511ff282
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7fbf724b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@23a6a639
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@23a6a639
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@451275e2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2c9debd]
variables size: 3
variableName: y
variableName not input port: y
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2024-05-29 09:23:28 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: 15.964 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.066 s
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.243 s
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.92 s
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.797 s
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.795 s
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.737 s
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.817 s
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.765 s
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.58 s
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.008 s
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.845 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.003 s - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped
Results:
Tests run: 46, Failures: 0, Errors: 0, Skipped: 24
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- resources:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 7 resources
[INFO] Copying file README.txt
[INFO] Copying file basic/SpeedSensor_SpeedSensorSM_SMD.svg
[INFO] Copying file basic/SpeedSensor_faultSpeedSensor_SMD.svg
[INFO] Copying file basic/document.html
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_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/26de57bb/images/svgs/logo.svg){kind=logo}
