in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@65624c9d
XXXX: in1_to_in1 -> !switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7c80c14b (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@132fe26
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@132fe26
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@132fe26
XXXX: in1_to_in2 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2282df0e (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39e24573
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39e24573
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@39e24573
XXXX: in2_to_in1 -> switch_current_use
intput port: switch_current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@ecc767f (name: switch_current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7593d46b (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@372fb3d2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@372fb3d2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@372fb3d2
XXXX: in2_to_in2 -> !switch_current_use
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e1d66d6 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@19fb7150 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@40e7602 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@16e5a35d
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@35b4c81 (name: output)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@41e8cc4b (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@36a10c12 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@de5bed0
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5403d4a9 (name: output_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@530ec0f6 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6df18719 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4d42b749
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@7ae84d4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@639e2ce2
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@639e2ce2
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38cf1a45, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@38b7458a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3f02adbc]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6462d56d (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@66fb577e (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4c3e7950 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@172ebd5c
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6595cb69 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@59692002 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66a23686 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@404b353
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4f01ee39
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@243ffe9d
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@243ffe9d
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@303ef1ed, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19994059]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27cfd4a8 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@60b9e825 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@33f1f7e3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7a95050b
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2326e465 (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c71d8e4 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@30036866 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@62ec9e30
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76fd4bc4 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@74491b07 (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5fa21db0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5939156a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4586c6e2
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@70a7315f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@70a7315f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@48778b30, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@58c35c4d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@33c2b228]
output port: current_use
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@74e52875 (name: current_use)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@36862390 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1073949a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@68de8698
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@35a5bd76 (name: output)
intput port: input1
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32b882f1 (name: input1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3ee30778 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2215ac7a
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3a43eb43 (name: output_is_present)
intput port: input1_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c9a49f0 (name: input1_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a645fdc (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@659d5896
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@40a1ae95
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3f0d49
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3f0d49
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@56b65cdb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3cb88e0e, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4af8041e]
output port: output
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@20595e2b (name: output)
intput port: input2
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58e96cd0 (name: input2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@523b4b27 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7ae9e153
output port: output_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10ab5023 (name: output_is_present)
intput port: input2_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@337310a (name: input2_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@bdd2038 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3e8bab69
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@74ebced3
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44ed92e9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@44ed92e9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@402a5c2a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6bac120f]
variables size: 3
variableName: current_use
variableName not input port: current_use
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output
variableName not input port: output
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: output_is_present
variableName not input port: output_is_present
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:39 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::MonitorPresence::Monitor
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
PrimitiveTypes::Boolean
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3d1d53f6 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@27e6b28f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@27e6b28f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@27e6b28f
XXXX: pr_to_pr -> true
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f15f07a (name: absence_alarm)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2b34b5ee (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@37cebce0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7280a746
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@42261f4c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2ffd4ed9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2ffd4ed9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@15a88e31]
output port: absence_alarm
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12e17e55 (name: absence_alarm)
intput port: input_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@706bc339 (name: input_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@21e30203
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@439d1d2e (op: !)
intput port: enabled
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a97c0de (name: enabled)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@744ba2be
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@439d1d2e (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@744ba2be
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4d01452e (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@665e45cd
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2abf8e8 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2bdce451
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@6c33ec31
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@43242706
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@43242706
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7d0044fd]
variables size: 1
variableName: absence_alarm
variableName not input port: absence_alarm
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
RootElement::modelSystemView::PhisicalArchitecture::SpeedSensor::Sense
PrimitiveTypes::Real
PrimitiveTypes::Boolean
PrimitiveTypes::Real
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5defe84e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@140794a7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@140794a7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@140794a7
XXXX: pr_to_pr -> true
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e3146a5 (name: sensed_speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@82f771e (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5fe5e33e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3bd93421
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f494991 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5cad5ce1 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2c21b859 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5e2bf9c0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3b4b3655
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d3f3ce7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@1d3f3ce7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@265e94a6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@13cdcde4]
output port: sensed_speed_is_present
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3e182522 (name: sensed_speed_is_present)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6cb17de3 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11ee3f7c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f12a98b
output port: sensed_speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@60dcae7e (name: sensed_speed)
intput port: speed
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76589e3 (name: speed)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@679043ac (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6d44f024
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@68ee0cac
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@16c3163c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@16c3163c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@30796ef2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7662ca78]
variables size: 2
variableName: sensed_speed
variableName not input port: sensed_speed
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: sensed_speed_is_present
variableName not input port: sensed_speed_is_present
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:40 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
umlSelectedPackage: org.eclipse.uml2.uml.internal.impl.PackageImpl@6fb82f9 (name: modelSystemView, visibility: <unset>) (URI: null)
org.eclipse.core.internal.resources.ResourceException: Resource '/testFaultExtensionsGeneratorAcceleo' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c356e02 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@510657f (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3a3f4f73 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53df4a79
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53df4a79
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53df4a79
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@618abae4 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@39408bf7 (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@453825c9 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4aed97a7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4aed97a7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4aed97a7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57605315 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3ee72ad (value: 8)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3ee1140 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14dc0968
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14dc0968
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14dc0968
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@539a5626 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3af7e302 (value: 5)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@781a97ea (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6cbcb171
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6cbcb171
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6cbcb171
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@3726f1e5 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7f457ed5 (value: 6)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@634126b (op: >)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18becdb7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18becdb7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@18becdb7
XXXX: t0 -> x>6
XXXX: t5 -> null
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8fd94f7 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@44f349e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@15736980 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2ffbf26e
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4b45914a (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@36d3b778 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38e2e74b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@48fa0abb
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f520d2f (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@49117ca (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2b6660ac (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@335108a9
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@cd54099 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@f6398e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@180d4a3c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@23a21dd4
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@55550b1 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@345e33dc (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4670d3c1 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@758f3a66
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5a703cbe
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75a9e37b
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75a9e37b
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2cea1857, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@42654c9c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1c1991c7, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@46f5b29c, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3aa132b5]
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28face6 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@69058f79 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5a022c76 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4c1a39f7
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@330d440e (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@76366b51 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3d1c887d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2054cba8
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79a0d698
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52c898d1
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@52c898d1
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6568e1a0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@59d5205a]
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@688fa9dd (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4a48308d (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3a6f1e6e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3c35c7c2
output port: enter
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@296140d8 (name: enter)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@22a6c121 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@60f82775 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7261f77f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@51a50e6b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a8b8af3
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5a8b8af3
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@27b5c769, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2115056c]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5070cf6d (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@59f7d485 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@50c094b2 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4b9ca03b
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1dc11582 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7af5a943 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e44d7ab (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@f73720
output port: exit
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@150f5fb9 (name: exit)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@42e743ea (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4a162d92 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@73e14dc7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@1cfc2695
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e08a9f8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5e08a9f8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3b344b72, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6e00c2c6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7d9c1d26]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: x
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@75547d11 (name: x)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@1daa978f (value: 0.0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@42dc31 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7abb6ba1
output port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cd13d12 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@650ec1e8 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@73bb2a2c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@527cb199
output port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@77e03f69 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6472b1fc (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4eb20d14 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@79759d22
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@f18ee12
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6ca2d42c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6ca2d42c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7033b558, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@69b5731a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@239c9ffb]
variables size: 5
variableName: x
variableName not input port: x
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: approach
variableName not input port: approach
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: exit
variableName not input port: exit
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: enter
variableName not input port: enter
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:43 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: far
variableName not input port: far
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21e19ffb (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@48b9bed2 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@7168d3c4 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@689336cb
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@689336cb
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@689336cb
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2dd0be6a (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1732e0c6 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1a57b247 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@284dd8a2
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@284dd8a2
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@284dd8a2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5075bf71 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2a41e82d
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@46d8c362 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28d4355b (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@55279907 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7002030e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2a41e82d
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7002030e
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@70c10dbf (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6181fc6e
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6181fc6e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6181fc6e
XXXX: t0 -> (approach)&&(z==2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@55a80429 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@160296d7
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@22b0ad1e (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cfe8307 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@39e253fd (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@44151238 (op: <)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@22b0ad1e (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@44151238 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6f43dcfc (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d1d235
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d1d235
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d1d235
XXXX: t4 -> !(approach)&&z<2
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@78417801 (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@373861b8 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ace418e
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4945daa4 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3ab722fd (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4e76b1b2 (op: ==)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1ace418e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4e76b1b2 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@26dc5bc3 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d19d833
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d19d833
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d19d833
XXXX: t1 -> (!approach)&&z==2
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7d2a595f (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6fc09d59
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@737226a8 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@30a2606c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1f6d2786 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74ac5b67
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6fc09d59
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@74ac5b67
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1609643c (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1085371
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1085371
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1085371
XXXX: t2 -> (far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@111b4a21 (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@57dda42e
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@548bebe5 (op: !)
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@523cea91 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@19bdf8b5 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@237bd378 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2824c031
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@548bebe5 (op: !)
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2824c031
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1d79dfc6 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1823d24f
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1823d24f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1823d24f
XXXX: t5 -> !(far)&&(z==2)
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@68c82fce (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7bd3f9f6 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61b54cd
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@35bd5959 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1c22a67f (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@78dae044 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@243b6eae
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@61b54cd
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@243b6eae
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7b138ce1 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@281370df
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@281370df
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@281370df
XXXX: t6 -> (!far)&&(z<2)
intput port: approach
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d8ed10e (name: approach)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@51c26008 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5699fab0 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@286bc8df
intput port: far
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33766a7d (name: far)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@71768e3b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@68a3a6df (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ef8b624
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1e5d1204 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@5b1f50a2 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2eff8040 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@756d4a2d
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3d6bbb6 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@226d612e (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@70c218a3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6fe108b4
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@595c05f5 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@10716be1 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@70167e4c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@17d56c52
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2e9fa0f0
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@192cf408
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@192cf408
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5ac4e0e5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5ebc4a18, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@76a950c1, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@50ab09d0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2d9508e8]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2d560e69 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@25bb779a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@206cf98d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1a4dcd73
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@775bd15 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@790c0dc6 (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3e6b23fb (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4ab95710
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@600ec647 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@79f585bd (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1ee60583 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ee7d098
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@84d11fd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11c57bc8
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@11c57bc8
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@791ecf6a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@45e48cb6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6e6f6b1e]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cd41b9e (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7db4a58e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@681616bd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@cd42e20
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3060cccf
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@133ef30c
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@133ef30c
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2918672a]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a9570a2 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@40f1383d (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a3a263e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@53b36605
output port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@62121cb1 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2bebe01e (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@509b388b (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@18d0ffd3
output port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6a558fec (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1eca69a8 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@171c459a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@82d0ecd
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4e41cacb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e1aed59
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e1aed59
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@213c6214, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6ef0d0e0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6f07eaa4]
MARTE_Library::TimeLibrary::IdealClock
model::modelSystemView::Controller::Contract1Type
model::modelSystemView::Controller::Contract2Type
non static attribute: z
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4fbd1547 (name: z)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@27a2ab80 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@77a0271a (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65300977
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@42002fbb
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@dd3ea2b
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@dd3ea2b
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@25666dd1]
variables size: 3
variableName: z
variableName not input port: z
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: lower
variableName not input port: lower
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: raise
variableName not input port: raise
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:44 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2aab0838 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@219ea1d5 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@275c6d26 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a3ce844
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a3ce844
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5a3ce844
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ca12401 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@455d8b5 (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@121f922 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b94a5c7
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b94a5c7
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4b94a5c7
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1240499f (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5019faab (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6293061b (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6eefc815
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6eefc815
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6eefc815
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17ee01f6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@43b3e484 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@e615d53 (op: <=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@724898f3
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@724898f3
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@724898f3
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2cf595f2 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@6e025fc5 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@240d09c8
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@24ee17b2 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@24344cd8 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5834d3ec (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14bbd26b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@240d09c8
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@14bbd26b
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@40bc14c9 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7faff992
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7faff992
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7faff992
XXXX: tr0 -> (!lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2c2297ee (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3b02ae97
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@452fc6ef (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2cf6a6cb (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@1453c95c (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3a8bbb57
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3b02ae97
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3a8bbb57
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1281a57 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db28049
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db28049
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7db28049
XXXX: tr1 -> (lower)&&(y==2)
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7a0f58b0 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@1273607 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6a6bbb0e
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@53074061 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@534d5869 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6be2db09 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c66beb0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6a6bbb0e
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5c66beb0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@350be915 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7409ab81
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7409ab81
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7409ab81
XXXX: tr6 -> (!lower)&&(y<2)
XXXX: tr2 -> null
XXXX: tr7 -> null
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3db0e134 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@5c33d55d (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@316df807
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@75c0c4e1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4fc3222c (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@d188fb4 (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53ebe3d0
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@316df807
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@53ebe3d0
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@20ffc280 (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68f59398
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68f59398
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@68f59398
XXXX: tr3 -> (!raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@58add095 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45b497f1
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@f605556 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5f4631cf (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@69597bca (op: ==)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8b3720f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@45b497f1
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@8b3720f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5745caa (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1de9a3e6
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1de9a3e6
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1de9a3e6
XXXX: tr4 -> (raise)&&(y==2)
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6d1c7e5f (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@4dc8df6 (op: !)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d6c7f42
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@32bbdf4d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3cdbb1c3 (value: 2)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5c882893 (op: <)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@32f0da2f
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@d6c7f42
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@32f0da2f
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@5e5d3a8b (op: &&)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2763017b
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2763017b
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2763017b
XXXX: tr8 -> (!raise)&&(y<2)
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1572f60c (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@fcccb8e (value: 1)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@c7ff214 (op: >=)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@546dbbff
getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@546dbbff
in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@546dbbff
XXXX: tr5 -> y>=1
XXXX: tr9 -> null
intput port: lower
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5728ba18 (name: lower)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@44146ecf (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@66f2fa81 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@eab7d8c
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1cc1fe3b (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7bc4997a (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@a935271 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5f8119b2
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c22145f (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@13f25be8 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3e2933d (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5479467a
intput port: raise
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@8a52046 (name: raise)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@98917a1 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1e6516d6 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@b1d9f6
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21376eb6 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6042412e (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@56273856 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@58d7350d
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@420fa27f
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fa6e2f9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@5fa6e2f9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@11c3ebfb, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2d073431, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@74a2a100, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4fc3f940, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@41d15f70]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@34a85cda (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@64f1baf6 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2f9053c7 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@60d22e97
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@166af0db
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55e35dc7
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@55e35dc7
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@543b1f38]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7bbd2bd8 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@307b3ff8 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3c353410 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@56435a29
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@443258d2 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2ddf3b53 (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@38df0f4c (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7401886c
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@22a3baf6
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7b3225ca
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7b3225ca
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@255f4f78, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3428d1dc]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7f721493 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2009a08a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@52dd2366 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@11b4efb8
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7e0db791 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@13ed452a (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@28108222 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1e6f71b7
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@dcdfcd4
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e0db4f9
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e0db4f9
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1faf105b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@f643e3f]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4ec08cd1 (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@290a709a (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7b12642 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7c1e1906
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@3672b450
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@ace2359
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@ace2359
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@eabd3eb]
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3209c85d (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6c2f3e28 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3c4b8ccd (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6e7344c6
output port: down
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@12c42275 (name: down)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@70f907b (value: false)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@674249b3 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@13e374e9
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@20872b6a
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4e839d27
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4e839d27
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@684f2f2a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@346c9d48]
output port: up
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33f51990 (name: up)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@22d256bb (value: true)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@72040974 (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@f415eb
MARTE_Library::TimeLibrary::IdealClock
non static attribute: y
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b56b5fc (name: y)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b814fa3 (value: 0)
putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@799cac0e (op: =)
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5967b59b
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@77b0021e
putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75c0e84f
getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@75c0e84f
cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3067985b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ea58763]
variables size: 3
variableName: y
variableName not input port: y
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: up
variableName not input port: up
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
variableName: down
variableName not input port: down
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
2022-12-21 09:36:45 ERROR TextRegionAccessBuildingSequencer:210 - Root has no XtextResource. This is likely to cause follow-up errors
org.eclipse.core.internal.resources.ResourceException: Resource '/testExportTimedStateMachinesAsSmv' does not exist.
at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:335)
at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:209)
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:141)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:60)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:52)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:117)
at org.eclipse.core.internal.resources.Resource.accept(Resource.java:105)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture.deleteProject(ProjectFixture.java:194)
at org.eclipse.papyrus.junit.utils.rules.ProjectFixture$1.evaluate(ProjectFixture.java:164)
at org.junit.rules.RunRules.evaluate(RunRules.java:20)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.access$0(ClassificationRunner.java:1)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner$1.runChild(ClassificationRunner.java:56)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunnerImpl.runChild(ClassificationRunnerImpl.java:85)
at org.eclipse.papyrus.junit.framework.classification.ClassificationRunner.runChild(ClassificationRunner.java:84)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:264)
at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:153)
at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:124)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray2(ReflectionUtils.java:208)
at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:156)
at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:82)
at org.eclipse.tycho.surefire.osgibooter.OsgiSurefireBooter.run(OsgiSurefireBooter.java:95)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication$1.run(AbstractUITestApplication.java:35)
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182)
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4536)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4154)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$4.run(PartRenderingEngine.java:1121)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1022)
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:150)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:693)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:336)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:610)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:148)
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:138)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.runApplication(UITestApplication.java:31)
at org.eclipse.tycho.surefire.osgibooter.AbstractUITestApplication.run(AbstractUITestApplication.java:120)
at org.eclipse.tycho.surefire.osgibooter.UITestApplication.start(UITestApplication.java:37)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.141 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless
testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.233 sec
testExportBlocksAsK2(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.628 sec
testExportBlocksAsPy(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.006 sec
testExportAsyncModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.091 sec
testExportAsyncHybridModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.635 sec
testFaultExtensionsGenerator(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.808 sec
testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 0.902 sec
testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 2.57 sec
testFaultExtensionsGeneratorAcceleo(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 1.455 sec
testExportTimedStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) Time elapsed: 3.771 sec
Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC
testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped
Results :
Tests run: 35, Failures: 0, Errors: 0, Skipped: 24
2022-12-21 09:36:47 WARN resources:110 - org.eclipse.core.resources - 10035 - The workspace will exit with unsaved changes in this session.
[INFO] All tests passed!
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-resources-plugin:3.0.0:copy-resources (copy-resources-from-parent) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] ignoreDelta true
[INFO] Copying 14 resources
[INFO] Copying file README.txt
[INFO] Copying file basic/MonitorPresence_Monitor_Sm.svg
[INFO] Copying file basic/MonitorPresence_MonitorPresenceIBD.svg
[INFO] Copying file basic/SpeedSensor_SensorSpeed_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensorIBD.svg
[INFO] Copying file basic/SystemBDD.svg
[INFO] Copying file basic/System_SystemIBD.svg
[INFO] Copying file basic/Selector_Selector_Sm.svg
[INFO] Copying file basic/SpeedSensor_SpeedSensor_ErrorModel_Sm.svg
[INFO] Copying file basic/Selector_SelectorIBD.svg
[INFO] Copying file basic/document.html
[INFO] Copying file basicHeadless/Train_StateMachine1.smv
[INFO] Copying file basicHeadless/Controller_StateMachine1.smv
[INFO] Copying file basicHeadless/Gate_StateMachine1.smv
[INFO]
[INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
[INFO] Installing /home/jenkins/agent/workspace/master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar
[INFO] Installing /home/jenkins/agent/workspace/master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom
[INFO] Installing /home/jenkins/agent/workspace/master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml
[INFO] Installing /home/jenkins/agent/workspace/master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml
[INFO]
[INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
