2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::Selector::Select
RootElement::modelSystemView::PhisicalArchitecture::Selector::Switch
RootElement::modelAnalysisView::Interval1_2
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@36a2b0f5 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2ffbd292 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@796240cf
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@796240cf
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@796240cf
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f0444d8 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7088c91a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7088c91a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7088c91a
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3dae4b4c (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@476d892e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@476d892e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@476d892e
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@271e6525 (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6a63e3ef (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@178a8f26
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@178a8f26
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@178a8f26
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6441145b (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@a1b1c59 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@9e0ee6b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2172222c
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4d7d0995 (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@1f563db7 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@114b1b80 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@219828c7
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48cbcc0 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2a998263 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@63c71bab (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3f9d904
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@62f21f07
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1806079c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1806079c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@24cb9f6d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@ac03d3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2006b4b]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@218f7fa9 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@18c0c61d (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@777d01c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5733286f
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@d1b7717 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1375b887 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2abb7dc5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@648558ad
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@327038e5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6fb7f461
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6fb7f461
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4f9abafc, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@50da21fe]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1d9f051c (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2f8c9006 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c5f5f16 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@463ef93f
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23eca301 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@68ab0bda (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@eea4e36 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3faca9d5
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@791ef18a (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@49dbd0a8 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@159cbc5b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4f244d3c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@413867f3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@9ca7e3c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@9ca7e3c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2ce91841, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@51d6c7bd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@35dfba52]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@54c05462 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3ba96b2 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@91ed47a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@276a33aa
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@715f1061 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@268717fe (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5945ba50 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2fc435b1
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2691e430 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38373ffb (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c548597 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@42b35811
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6baa9413
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@487cd4df
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@487cd4df
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14c5fdda, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@755eafbf, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@76ba895c]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@da50c2b (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10a5a445 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67223997 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@17ed3278
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@320cb0fa (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@fb6ad72 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@79aed392 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@72e502d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5072ab52
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@253ab0a3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@253ab0a3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7a5cc37d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6243af25]
variables size: 3
variableName: current_use
variableName not input port: current_use
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:38 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5a06fe18 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11cfd4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11cfd4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@11cfd4
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6640ad4b (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@32965a95 (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11d137a3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@84c351a
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b05fbad (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6b4756aa (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7333084e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a3e17d7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5e225fae
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@38e42c17
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@38e42c17
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45a6100, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30a3d0f5]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@144e66d7 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2cceb536 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3b17d82a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@ea1517b
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@693ee6a6 (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@308089b2 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3553c100 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@31fd7458
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2f68af17
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@66ea6d2e
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@66ea6d2e
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56babf4b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@34ea3aaa]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:39 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException(/testExportStateMachinesAsSmv)[368]: java.lang.Exception: Resource '/testExportStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@3231ab2a (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException(/testFaultExtensionsGeneratorAcceleo)[368]: java.lang.Exception: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@59eec38c (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4a3da127 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@245ec671 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c3e0d37
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c3e0d37
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7c3e0d37
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c69b447 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@731d5c6e (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1a852c3e (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f278494
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f278494
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f278494
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e61a53e (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d49cf5a
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69e2ca92 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3020bf06 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@431bb469 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@600b804f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6d49cf5a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@600b804f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1fc27086 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70c53bcb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70c53bcb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70c53bcb
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2888081 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@38e10020
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@35b77c51 (op: !)
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@18f12153 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5e3b2644 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6eebcda3 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@35b77c51 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6eebcda3 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@603061db (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@55ef1084
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@55ef1084
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@55ef1084
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1114fe45 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@82797bc (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e620c8
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ffa2f3e (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@392a1e52 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@d04f4bc (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16e620c8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@d04f4bc (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@2ac365b4 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39c41822
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39c41822
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39c41822
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f877d88 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f31967e
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f5266b2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@31933de4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@357c7d63 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16dd9fd4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2f31967e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@16dd9fd4
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7a560c4b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d1063e7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d1063e7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d1063e7
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@72898c18 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14603bd6
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@387d2a5 (op: !)
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62827db4 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5cd5d4b0 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@49fefa77 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74511b17
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@387d2a5 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74511b17
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@54fb7f4 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@dbd8b3a
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@dbd8b3a
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@dbd8b3a
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5e5d4b10 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7cf9a4e9 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2066f4e6
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@50f360f4 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@64c2b431 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@55ad9aac (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@427b953b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2066f4e6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@427b953b
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@9c4a940 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@250aadeb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@250aadeb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@250aadeb
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7747a50d (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5b87e3e8 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7ea54acf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@27ca036
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48d912b9 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2c2520e9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7802e490 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f1896b6
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1fd41336 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1af35a4d (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@753a1be7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2ecc8ed0
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@113e759c (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@119f64c4 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@345fb033 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7e2f1266
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1c5f1aaa (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@768cf4a1 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3f1b1c6b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@39a195cc
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5d4f4218
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4966b87d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4966b87d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3a4e24f1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@272e7367, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@64bc316b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@51ca1d1f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1a68c27b]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24402f4f (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4d64a37d (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6227c484 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@17e5b321
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32faccc5 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5a6deeac (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6320281 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3cf4c5dd
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@580caa62 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6d212741 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7b91166e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6151eeec
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5cb3071e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@641224ad
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@641224ad
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5dedf614, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7888bf57, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@32863e52]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7ddd20a0 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5d3d4ed0 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@181bad55 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65f6b50f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@713a5131
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@29ca9b52
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@29ca9b52
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@16da3793]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32993a90 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5353f196 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@769b21be (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@18348447
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6382606b (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2f11f2cc (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@28b041 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c020abf
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4cf3a46c (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6cd4a8ac (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@29bbb7cf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@54007b5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@54c113b5
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5117eac0
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5117eac0
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38650bc0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7a535f, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@44ad1ee4]
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7bd7bc2c (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3ff7c20c (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@210e2449 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3621f08
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4512e594
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11066901
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11066901
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6766e945]
variables size: 3
variableName: z
variableName not input port: z
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:41 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6e13c771 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6924db48 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7ed0217b (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9d264e3
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9d264e3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9d264e3
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6908e0f8 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@604c8b7c (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@39456ccc (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e8eafc8
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e8eafc8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e8eafc8
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@75cb1844 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@66d36fe2 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7d077759 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@aede6d4
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@aede6d4
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@aede6d4
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@510b8bf1 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2ffdb142 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@14481d1d (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@df96840
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@df96840
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@df96840
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@2ef140aa (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4a408f2f (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@12799d67 (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3866505d
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3866505d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3866505d
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@268a0085 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@442f1802 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@879082d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@631e766f
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1566cca1 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@29b52907 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@69cd747c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7970da24
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a50126f (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5a2df533 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5841149e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@271f5448
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d06f9ae (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@48370f50 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1802072c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4562bd70
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@f63f7fb (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7fde24c8 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@776d7778 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@27b4ddd8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@37f83afa
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4395132e
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4395132e
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@11d6ccec, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5cc274e4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4b631f8a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@22cb93bf, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@55d8aa6]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2ba59e0c (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@59c77120 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7190173e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5395f22e
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@544753ae (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@366b7677 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@47b3ae63 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3b4b2039
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@557fcedd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27c0bcee
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@27c0bcee
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1cb512c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7d1eefc8]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1494cfe8 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4025cea4 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5cc9ca2d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1181e1a8
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@23d887ff (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4d662dce (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5fec1eed (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@417e3819
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@26fea8b6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2a6ced39
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2a6ced39
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2fdf2eb4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@13182401]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c307bee (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f7a1401 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@70d25f25 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@66fdcd76
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@29dd254c (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@628f66a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64e1bafd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6cff5d6a
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c48f2fc (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6d12dab9 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@44db3b4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@124faa5a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@797b65fd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2016c5ec
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2016c5ec
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6b2f8f6e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@124d4083, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@356ca132]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32ce698f (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@519db92f (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@584a807 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@8d4bd47
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@49172fc3 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@757fb30f (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@551be937 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78884856
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@81119b3 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7e2475 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@a26271c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@30d614f6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@300a4fde
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@691c9828
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@691c9828
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7582903e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2ecdb0a3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@665b6809]
variables size: 5
variableName: x
variableName not input port: x
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:42 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@40dca6a7 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2134fb5a (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7446099a (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15ca4758
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15ca4758
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@15ca4758
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b3f26e6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5c935812 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6666bd09 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ef20811
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ef20811
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7ef20811
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1341c10f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3d2a07c8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@720665ef (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c136abd
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c136abd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2c136abd
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2338218d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7a1b10a3 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3a13edd8 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d5166f9
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d5166f9
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5d5166f9
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@46133a7f (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@2b305580 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b659051
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1298800a (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4d0790e4 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@64324091 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2312b35e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b659051
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2312b35e
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@75dcefe6 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@324979be
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@324979be
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@324979be
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@a9677ee (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78c71f44
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e9ded1d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@38aad5ae (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1baec52 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41c7fe1e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@78c71f44
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@41c7fe1e
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@10e3163e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3146feee
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3146feee
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3146feee
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58e3007b (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7a30fee1 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70f7d7a0
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d23c39c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2d83e69b (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@50b9c23c (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ebd555c
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@70f7d7a0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ebd555c
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6d714a34 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b96cbe1
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b96cbe1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2b96cbe1
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@b60c23f (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7ed0aa8d (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@318cfa61
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@60fcf70b (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6d80b011 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@167ffbee (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@407654b2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@318cfa61
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@407654b2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@47b5b718 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4432a271
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4432a271
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4432a271
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2b5d2998 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4fa0b486
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@378ac462 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@357f3aa9 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@77acc477 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3de25a80
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4fa0b486
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3de25a80
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5c2a308a (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cea735
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cea735
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@77cea735
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c898bb2 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@73e4dd4a (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9718aa0
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@36433b9d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3697e2fc (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@63cc77e9 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66edc5ba
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@9718aa0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@66edc5ba
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@49dd9529 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3de05dbe
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3de05dbe
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3de05dbe
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1dceb5f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@326d5e36 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6051ace3 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b605489
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b605489
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6b605489
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39a4de65 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@207d9073 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1489b170 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3f2beb6e
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@20e34d18 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6c51af7f (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@350a81b4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@551a7ce0
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6f2b60d6 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@e60101b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6f863742 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@697dab2e
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5d644b07 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@538a7878 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@d68796c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@9488734
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@768bc969 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@76422678 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38af92c5 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7593c3c3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5dfb8c99
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3283215e
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3283215e
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@131c4278, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@557ff8db, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2feab262, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6951e75e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@182f778e]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a88eb7d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5d875a7e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@64d25670 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@46328bb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79cdf849
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@114e33f2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@114e33f2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@28348206]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69d57e34 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1ab1b155 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@dafb9c4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5d9085d3
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f76748b (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@85a4529 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@78cbac7f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@21ac00a8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d52ea3a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@36fcc260
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@36fcc260
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@119c24ed, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7fc546c9]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d3eb180 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6aebb2bf (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5e43edcc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3d4a6a6a
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@75b07ef2 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@42f954b1 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@315ecaf (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6de2cf9d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1bd37b3d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@12de3698
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@12de3698
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4108acc0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@828d80]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@52e1032d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6f02e3af (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a3a1835 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7b8f7f74
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@212de343
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55d08680
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55d08680
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1db26124]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21e36b54 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4bafca80 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2ecb280f (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@bc9d0be
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@314aa358 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@404943b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@73f85fe4 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@36f12d05
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@52c508e0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37724ab2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@37724ab2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6fe98a3, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1553a80c]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e0e7371 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7f27e11e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5486b99c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a68eaa8
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6700876f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@276fa580 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4644a2a8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1b242d62
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@78fcfa96
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e2a115d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1e2a115d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3e4d9661, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@431c128b]
variables size: 3
variableName: y
variableName not input port: y
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:43 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
2023-04-13 08:32:44 ERROR TextRegionAccessBuildingSequencer:231 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException(/testExportTimedStateMachinesAsSmv)[368]: java.lang.Exception: Resource '/testExportTimedStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:145)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:63)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:55)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:270)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:240)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:58)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:87)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:86)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:61)
at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:206)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:161)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:84)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:128)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:37)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:5067)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4573)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:29)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:122)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:35)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.206 s - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.084 s
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.962 s
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.068 s
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.867 s
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.18 s
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.944 s
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.845 s
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.668 s
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.144 s
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.418 s
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations
(SWT:849): Gtk-WARNING **: 08:32:44.905: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:849): Gtk-WARNING **: 08:32:44.911: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
(SWT:849): Gtk-WARNING **: 08:32:44.914: Negative content height -5 (allocation 1, extents 3x3) while allocating gadget (node button, owner GtkToggleButton)
(SWT:849): Gtk-WARNING **: 08:32:44.959: Negative content width -12 (allocation 1, extents 6x7) while allocating gadget (node separator, owner GtkSeparatorToolItem)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@25c44d86 (name: modelSystemView, visibility: <unset>) (URI: null)
num diagrams: 2
resultsGeneratorService
diagramDescriptors
Tests run: 3, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 3.128 s - 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: 2.729 s
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.002 s - 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.TestCreateViews
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 s - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews
testcreateViews(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews) skipped
Results:
Tests run: 46, Failures: 0, Errors: 0, Skipped: 24
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- resources:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 7 resources
[INFO] Copying file README.txt
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO] Copying file basic/SpeedSensor_faultSpeedSensor_SMD.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorSM_SMD.svg
[INFO] Copying file basic/document.html
[INFO]
[INFO] --- install:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/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/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/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/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:2.4.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
