putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@b6f2721 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@500ccda (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a058095
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2896b7b8 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5a32dba4 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5957aa24 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f1088b3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@226d79e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@71c30972
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@71c30972
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19eadbca, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9587939, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4d8f26b]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3602c06e (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7cd9e626 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f51087c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@d1a96e6
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d3b269b (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e601dcc (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2945f494 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7031eafc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4ca159f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@79797000
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@79797000
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5d4c1612, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6850cd63]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@574a1cc5 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6a0b7cb8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4de9f4f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@321f5619
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3534d8ab (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4eb8c09 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74bf4f3c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c58702c
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f3a068c (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77e95ca6 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79a12bc8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@687edc0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79f695fa
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@374036e3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@374036e3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7600ef11, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@764554ee, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7501cd94]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@19650ac5 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@45dbcf23 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3e4dc761 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@36ec91fe
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7ee96c4 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cd7f3cd (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c7149f9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ec052e8
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d6bbf42 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e8170b9 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@8f9c611 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@14b282f4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2493be8f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@686c18be
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@686c18be
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@31c86053, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@17eb3e2d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45996a7a]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4b0b9fae (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@55fdab4 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@b9baadf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2fdd7bad
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@383c7717 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@434d90de (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1556073a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5112062e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@acd57d4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@39b3aa33
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@39b3aa33
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@20ded006, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4e063332]
variables size: 3
variableName: current_use
variableName not input port: current_use
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:31 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3b105f22 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2af9400d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2af9400d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2af9400d
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d557c0 (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@1a1e5b6c (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3d76aa1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2e20f1a1
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@762d8f2 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6fcf3649 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5775cb73 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e7185c5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6f4567b1
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3593092b
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3593092b
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4f79d61a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4d63a080]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b92deaa (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7ada1ec4 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a6dc6bf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@26611850
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4bebf5b8 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61edfe3f (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@25f18483 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@b7cabf5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1faec917
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@549b1379
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@549b1379
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5ba603a3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@600e8a4e]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:32 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@4ca2f662 (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@584b78e1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@cc24e3a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1e15db5c (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@175860a2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@175860a2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@175860a2
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52cb5920 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@64b31c1e (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3b8c6df8 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50e6f0d6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50e6f0d6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50e6f0d6
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77cdb9ac (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28a158cc (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1a40cde1 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2a42f966
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2a42f966
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2a42f966
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@81056f0 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4c5c15ad (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@32fbfd50 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f22017b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f22017b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f22017b
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@51b85894 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3f78dbfe (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3aad7a69
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43121828 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@507d9426 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@292312fc (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@788c4b83
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3aad7a69
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@788c4b83
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2b8ccfe2 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11f0b27
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11f0b27
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11f0b27
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33d1b88d (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@385587d2
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bec0d7f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@23c3f0bd (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1de82198 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9974ee0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@385587d2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9974ee0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@32ab2d58 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65fc10e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65fc10e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65fc10e
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e3057f6 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b66d524 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f8221f5
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bb2322b (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1771514c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4e492398 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@532fe02c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f8221f5
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@532fe02c
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@725653cb (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49d7b27c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49d7b27c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@49d7b27c
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@373c6d3c (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@27fe6dbc (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60055561
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ca641b1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@68a79e94 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3ce08db1 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76846911
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@60055561
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@76846911
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@782105b9 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e024fa7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e024fa7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4e024fa7
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e708e3c (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d713e0e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58b5b017 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6116f53b (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6b9d964b (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f584478
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d713e0e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f584478
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5a186c8c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74b9b47e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74b9b47e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74b9b47e
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d9d0acf (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1f84da0f (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e2016f
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3004b93e (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@55aa0683 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6cc7fa9b (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@44066715
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e2016f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@44066715
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@51deebe2 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d66b11c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d66b11c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3d66b11c
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@656ad24f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28464cee (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@a98549d (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d38a26c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d38a26c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d38a26c
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@31872f83 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1859d0c (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1dbe8404 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1944a304
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@11b77c98 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3c77fe5f (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5580c371 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@69601646
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4319e44e (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@401f7f74 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13d7a74d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7aec5157
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76dbe1d0 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4d84c4a0 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@63c7ef92 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7b397c54
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52c5c782 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@390fa8be (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@65686b72 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@55037057
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@298654a2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6ded227d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6ded227d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@361d4bb3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30ac223f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2654e93d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2b4ac0c1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@77d646c8]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27a6273c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5a17b7c1 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1f325a4d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@68811aeb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7e885f00
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26ba2fd7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26ba2fd7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2b55abdd]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@764abb51 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5e4f6467 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@58c23730 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f3d88f6
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3c8e2873 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@19471fd9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5075c076 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@23fc98b6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6e7ce10a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@335e9cd2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@335e9cd2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@73f35a97, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45c3eac0]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e4d5863 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@270394df (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7d4cef15 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@25a1995e
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10b53c9 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3a959a5b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@203bee5b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@979f86b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@52b76796
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5d50acbe
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5d50acbe
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@fe72dd1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@387c087e]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@704e7977 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@46714b0a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1e968442 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a91af14
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1997f8f0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@721ec3bf
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@721ec3bf
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1572802a]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23fb0c2 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@55af748f (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@54ddddc0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6caaf018
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@136cf4ef (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3d49e101 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7c018b5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c510265
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@486e528c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6d4ab0ab
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6d4ab0ab
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@57980e00, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@143ed37f]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7badcde4 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6cd2349f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@e15b751 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6afd8d61
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7faaaf37 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2210a91 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@212d9abb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@273d9d7a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d445dbd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@50769f45
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@50769f45
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@9464e13, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@70720b3a]
variables size: 3
variableName: y
variableName not input port: y
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:35 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:36 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38c30bdf (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4d6a548c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@701d08c6 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@226c9009
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@226c9009
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@226c9009
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@eb24d2d (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@597f16f9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@44edcd6e (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a299375
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a299375
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a299375
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2ddbc2ae (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@80d9d39
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@652b64d (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@331af41a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@40a78e65 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@24a7371d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@80d9d39
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@24a7371d
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@37d41d1a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34002fa2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34002fa2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34002fa2
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@68fd9bf9 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@a92d9c4
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4f7063ec (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c86c4ca (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@18a0b6f0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@46010d9 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4f7063ec (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@46010d9 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@48c36cba (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b3b13c3
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b3b13c3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b3b13c3
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@592a430e (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1b689b07 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79449b4e
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48a0248f (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43992ca6 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1cf63771 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79449b4e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1cf63771 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@41b5514a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59fd151c
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59fd151c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@59fd151c
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@734ecdc8 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e623b3
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c750702 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@38572ccb (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@3d729684 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3400c122
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e623b3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3400c122
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@10e99db7 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fb164fb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fb164fb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3fb164fb
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@363cf654 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7da789b6
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b888949 (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a897d7b (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b56aa28 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6afd7ccd (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65b0721a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4b888949 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65b0721a
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@54e3a972 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74d8ad1e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74d8ad1e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74d8ad1e
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@40a5e39 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2fb08ab9 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@23378db8
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@859b1c2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5ef4cd66 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@75ba7143 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aff6801
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@23378db8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6aff6801
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2f6d133d (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6ee571
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6ee571
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c6ee571
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@36fa8986 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@694489fa (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1a2e3f6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2165a044
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@43b1ab57 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e77f182 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@18dc0ee9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@14b7fa36
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a9210e4 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6b5801d5 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@138be111 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@38c6cf1c
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7219edd0 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@59e40cef (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@152bedab (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1b9b7e3d
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@26d167f3 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f2b94b2 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@15276c49 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@558d9246
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@78ce99fb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1546b422
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1546b422
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@303782c6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@532c0766, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7be0d4a1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3900eb9d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@352d6fc9]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b31d081 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@45d39079 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1b5eec2d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@57528eca
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2292e979 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7b1be50a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@174841c0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54afa93d
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@61c35bf0 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@45d4c177 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1047de4c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@39887b38
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@426fbb22
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@609593d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@609593d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@74078616, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6716065f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1c89e3f7]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@bea597f (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5c1982a3 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@fdc548c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66a1f9e2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3fd965e8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4315403d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4315403d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@18cd6289]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a98a99a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2804175e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5b2ef1fd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f99cc8c
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2072729c (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@28443f2b (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c982c7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5565d37e
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66b0addc (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6f047b46 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@279313db (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5c16ca74
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3f2b5267
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a19cd51
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@a19cd51
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ad82067, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39c77afd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3a8471fc]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7df99472 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7feb19a2 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66798c32 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a92c89c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b798bb8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46994fde
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@46994fde
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@786419a]
variables size: 3
variableName: z
variableName not input port: z
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:37 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1bbaa052 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1fad265a (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@2c4ee78f (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3daf21a4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3daf21a4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3daf21a4
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cae6e8b (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@65bcf04d (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@4918a715 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@71392bae
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@71392bae
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@71392bae
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@220d5041 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3da5e9d4 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@9332783 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50801ba2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50801ba2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50801ba2
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@cbfea7c (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6950e950 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@26311863 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a8d7b9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a8d7b9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66a8d7b9
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@64869d02 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b81a8e8 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@56302302 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62c70d72
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62c70d72
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@62c70d72
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4f08b425 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5f0ca7ab (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@47dbbd86 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5df8900e
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57dbbe08 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6d507aa7 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@777ddd06 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6e1c5b07
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@64bd9332 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@a565840 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@13da21e1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f1284fe
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17bea02d (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2f927ec2 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6d8587f8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@663bdbc2
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4e6a0e0 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@383eaad0 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79454068 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@41186149
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70c8382a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d9af47f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4d9af47f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7ea52742, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1da73d57, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5d90648e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4f46fe09, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@180e5f94]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@620d2341 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1ac32fbf (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@70db218c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@701e466c
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7b026405 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@78bf120d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@51419bd7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@536e8ab5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3ba4fe91
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ce78447
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3ce78447
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3849d33f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4dceccb5]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3513d96c (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@433524da (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7825f36d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@43e7a38a
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6894ca23 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2ed301f (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@550405b4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2b81176d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@650a15ec
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@678b8e45
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@678b8e45
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3001cd97, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@10ea2ef0]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5107b368 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6fd4b1aa (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e888f0e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54dc6762
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38ac0262 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@723fad3c (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1825ac8a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2f752f9b
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77128705 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@78cb8296 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4d3f30f9 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4bb0d732
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@28f95bee
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@73b123ee
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@73b123ee
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1afa9b7e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3fec72a2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5edec457]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@68dd269e (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@34782045 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1caca6e1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@29e945b9
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28017fcc (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5d8e0881 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@246c267f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@47cb7bc6
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@641783ec (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@497055ef (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@ceadd60 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@10639270
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@48337b73
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26b2785d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@26b2785d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5602d692, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4a51664c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1ac5b17b]
variables size: 5
variableName: x
variableName not input port: x
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:38 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-07-14 08:21:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportTimedStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 25.652 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 8.977 sec
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.066 sec
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.165 sec
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.143 sec
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.918 sec
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.87 sec
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.804 sec
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.072 sec
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.784 sec
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 4.772 sec
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype
testApplyCHESSStereotype(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.004 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively
testApplyRecursively(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent
testCheckContractRefinementOfCHESSComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.004 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
(SWT:1013): Gtk-WARNING **: 08:21:40.120: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:1013): Gtk-WARNING **: 08:21:40.120: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:1013): Gtk-WARNING **: 08:21:40.120: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:1013): Gtk-WARNING **: 08:21:40.120: Negative content height -3 (allocation 1, extents 2x2) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:1013): Gtk-WARNING **: 08:21:40.363: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:1013): Gtk-WARNING **: 08:21:40.382: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:1013): Gtk-WARNING **: 08:21:40.388: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton)
(SWT:1013): Gtk-WARNING **: 08:21:40.431: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
2022-07-14 08:21:43 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.papyrus.gmfdiag.common.Diagram is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
2022-07-14 08:21:43 INFO core:110 - org.eclipse.papyrus.infra.types.core - 0 - org.eclipse.gmf.runtime.emf.type.core.default is already registred elementtype but it is not binded yet. It has been binded to Papyrus context.
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@7bb6978f (name: modelSystemView, visibility: <unset>) (URI: null)
num diagrams: 9
resultsGeneratorService
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [bundleresource://8.fwk1308244637/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [bundleresource://8.fwk1308244637:3/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
2022-07-14 08:21:47 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-14 08:21:47 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-14 08:21:47 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-14 08:21:47 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
2022-07-14 08:21:47 ERROR ResultsGeneratorService:458 - No sirius diagram found for export
diagramDescriptors
(SWT:1013): Gtk-WARNING **: 08:21:49.348: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
(SWT:1013): Gtk-WARNING **: 08:21:49.558: Negative content width -6 (allocation 1, extents 4x3) while allocating gadget (node toolbar, owner GtkToolbar)
Tests run: 3, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 16.601 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
testExportStateMachinesAsMonolithicSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testInstantiateParameterizedAchitecture(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped
testGenerationDocumentation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) Time elapsed: 16.136 sec
Results :
Tests run: 35, Failures: 0, Errors: 0, Skipped: 24
2022-07-14 08:21:57 WARN resources:110 - org.eclipse.core.resources - 10035 - The workspace will exit with unsaved changes in this session.
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-resources-plugin:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 14 resources
[INFO] Copying file README.txt
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basic/Selector_SelectorIBD.svg
[INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg
[INFO] Copying file basic/MonitorPresence_Monitor_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg
[INFO] Copying file basic/SystemBDD.svg
[INFO] Copying file basic/System_SystemIBD.svg
[INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg
[INFO] Copying file basic/Selector_Selector_Sm.svg
[INFO] Copying file basic/document.html
[INFO]
[INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/CHESS-gitlab-merge-branch-x-to-devel/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO]
[INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
