![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
Failed
org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv
Failing for the past 1 build
(Since Unstable
)
Error Message
resources/TimedModel/SmvFiles/Controller_StateMachine1.smv is not equal to testOutput/basicHeadless/Controller_StateMachine1.smv
Stacktrace
java.lang.AssertionError: resources/TimedModel/SmvFiles/Controller_StateMachine1.smv is not equal to testOutput/basicHeadless/Controller_StateMachine1.smv at org.junit.Assert.fail(Assert.java:88) at org.junit.Assert.assertTrue(Assert.java:41) at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil$1.visitFile(TestResultsUtil.java:114) at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil$1.visitFile(TestResultsUtil.java:1) at java.nio.file.Files.walkFileTree(Files.java:2670) at java.nio.file.Files.walkFileTree(Files.java:2742) at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil.verifyDirsAreEqual(TestResultsUtil.java:103) at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil.dirsAreEqual(TestResultsUtil.java:84) at org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv(TestBasicOperationsHeadless.java:208)
Standard Output
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@314b28f8 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2bad47d5 (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5c958277 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e908d81 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e908d81 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1e908d81 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1db46ada (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3ca1a210 (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@615bc44c (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79ae4ba getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79ae4ba in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@79ae4ba MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@27b5104e (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@54c2fd90 (value: 8) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@755928ff (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ddc978a getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ddc978a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ddc978a MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5f28b701 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7b90eec5 (value: 5) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@6230dcbd (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1317f6c3 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1317f6c3 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1317f6c3 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@762ae74c (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@27550dbf (value: 6) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1bf17996 (op: >) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c5b059b getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c5b059b in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c5b059b XXXX: t0 -> x>6 XXXX: t5 -> null output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@33627f05 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3e0d7c14 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@15e5d011 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@560db15b output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@76b766c8 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@230f49d6 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@185160fe (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@236d9dc6 output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ea13e45 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@37398bbe (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@247c5b37 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6bb061d3 output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@c8439f6 (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@779b37a3 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@31786f84 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@59ae3e81 MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7448e7cb (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@5a40e0ce (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2836a04d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@c4c9fc putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@33811090 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@36eeb8be getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@36eeb8be cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4a7a3d23, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6669ed52, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@52dc3c28, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1af3c515, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@17b704d] output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1b5f4a13 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1f00ff00 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@45230db5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@65a0403a output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@44e814f (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1c2e8639 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@413d7eac (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@267b5721 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@564fee58 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@28510e4d getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@28510e4d cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7f5430d9, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6510d066] output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@40777078 (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@1e7b4257 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@7d8b321e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@17c13516 output port: enter putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c4e7326 (name: enter) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@28e3ed02 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@cdc21c2 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@12abdcca putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d635afa putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f24a091 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@4f24a091 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@a692b1b, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6e83e867] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5ee736e2 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1d15efd6 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6c24fcc3 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3433e60d output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5384964f (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@615db8b6 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2a5492ba (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fc0a73 output port: exit putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@763dd2ed (name: exit) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7a295c94 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74e6d029 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@15a8e354 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@d1ae1b6 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@60bd882 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@60bd882 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3d62dab6, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3b756330, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@494253d6] MARTE_Library::TimeLibrary::IdealClock non static attribute: x putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@103f57f3 (name: x) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.FloatingPointLiteralImpl@c3da27 (value: 0.0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5b44f50a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7c2ae2ec output port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1640a255 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@8cc4058 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@74dc08ee (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5fcaa91b output port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@4c0beabd (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@26afade4 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@32204aa7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3828bf89 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@2b65f433 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3b239d4b getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@3b239d4b cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@57669af4, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@160ac376, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2193ebf5] variables size: 5 variableName: approach variableName not input port: approach variableName: exit variableName not input port: exit variableName: enter variableName not input port: enter variableName: far variableName not input port: far variableName: x variableName not input port: x 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@647eadd5 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@602792c4 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@73b338a7 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9db79f getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9db79f in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1b9db79f 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@314177df (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@324f576d (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@d7e9c55 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3b277858 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3b277858 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3b277858 intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2bf26716 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4996126a 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@31c4c5f2 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@56a0c42c (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@6e52d339 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17ae99db in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4996126a in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@17ae99db putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@d23589 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67a00472 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67a00472 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@67a00472 XXXX: t0 -> (approach)&&(z==2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3c009aed (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7a852419 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@26f1fd58 (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@4b999389 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7376afe5 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@eb0157f (op: <) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@26f1fd58 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@eb0157f (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@48ff8acb (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3afaefe0 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3afaefe0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3afaefe0 XXXX: t4 -> !(approach)&&z<2 intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@38c73b61 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3e721c85 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f124b68 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@6eddbe2a (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6f408ca3 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@417823fa (op: ==) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5f124b68 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@417823fa (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@cfc79b6 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d7f8020 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d7f8020 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4d7f8020 XXXX: t1 -> (!approach)&&z==2 intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@48c9d79b (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ab0daff 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@74d3211c (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7e3588e0 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@7846edb2 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@24fdb767 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5ab0daff in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@24fdb767 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@49cba925 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@771a3ad getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@771a3ad in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@771a3ad XXXX: t2 -> (far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5af62b4e (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@34132e9d putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@11637b26 (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@4f82ba16 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@244544f3 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@90fe120 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33f116c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@11637b26 (op: !) in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@33f116c putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@59375917 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d586cf0 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d586cf0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1d586cf0 XXXX: t5 -> !(far)&&(z==2) intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1be08961 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@40c3b185 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f73c614 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@7d4a93b4 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@62fea6fd (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3f6c6cbe (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e2e4e21 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f73c614 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3e2e4e21 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@1750ad63 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e718553 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e718553 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@6e718553 XXXX: t6 -> (!far)&&(z<2) intput port: approach putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c5926f1 (name: approach) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@138b963 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@152d8211 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@41abe9f intput port: far putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@21d16e43 (name: far) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@65e638bb (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@1c22131c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4d9db841 output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@679464c7 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3363bb6e (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3fd5f4ed (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1f2a1ce6 output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bdce198 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@754a8946 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@65a8799e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2aaa94e1 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@1646700d (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@37e7db3a (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@11a530d1 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6f56a398 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@4a356067 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@29a71023 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@29a71023 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5dae166, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@57774dc8, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2bb04a1d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@11f7c8e0, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4374ca69] 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@7c991bd (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@28d6e96c (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4d14599d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@658a203b output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2e85114e (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@3107007b (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5e306f77 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6a8f0772 output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6c86740c (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@658bb53f (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@389d352e (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2abb01d8 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@75423697 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e00d6c2 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@2e00d6c2 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@19544a5d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@15a7f766, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@63f54748] 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@4c130b1a (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@6625d939 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2fa31db2 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2d070f67 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@79988a06 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77aeb110 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@77aeb110 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@5771d80c] 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@41149d70 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@25865bf (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5bb07c40 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@16c3159b output port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@7359f52e (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@326d1367 (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6a673b16 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@6406940c output port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@584aed27 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2e62b62 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@510a0fa3 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1fc477a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@e50a1b7 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@239dc461 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@239dc461 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4ab80ffd, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1bebbff2, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4b0d94fc] 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@530b5a76 (name: z) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@15d97bca (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3254a7f9 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@5872ac26 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@512385b4 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@59c66154 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@59c66154 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@6f3b1afb] variables size: 5 variableName: lower variableName not input port: lower variableName: raise variableName not input port: raise variableName: approach variableName: far variableName: z variableName not input port: z 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@6be6437a (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@20be76fb (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@3b0bfa33 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d4c44d2 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d4c44d2 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7d4c44d2 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1a17728c (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2170e947 (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@5810ae9e (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30330bb7 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30330bb7 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@30330bb7 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28d033ad (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@b361954 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@62306244 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f3adbd8 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f3adbd8 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1f3adbd8 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1ec28733 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@2b8c67a4 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@797bf6f4 (op: <=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@518ceb03 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@518ceb03 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@518ceb03 intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5ca1e539 (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@63e7ea38 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4740c13d MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1f431a6b (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4c98ac97 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@10f22916 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@51fa4b1c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4740c13d in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@51fa4b1c putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@56ed930a (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d1eb8b6 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d1eb8b6 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d1eb8b6 XXXX: tr0 -> (!lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6b66ce0c (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@638f775c MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@57c93378 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@171603fd (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@4adda9bd (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@52f0022d in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@638f775c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@52f0022d putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4c3ca9f8 (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f71fdc9 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f71fdc9 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4f71fdc9 XXXX: tr1 -> (lower)&&(y==2) intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@71714c4e (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@7bc90093 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c2735fb MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5bfa20da (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@209214d7 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@136c55ce (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@661122b5 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@4c2735fb in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@661122b5 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6ce7225d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5939de63 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5939de63 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@5939de63 XXXX: tr6 -> (!lower)&&(y<2) XXXX: tr2 -> null XXXX: tr7 -> null intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6cdd9773 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@3b6e779a (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1073efd2 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@17252cdc (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@17435744 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@5f593091 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50db49d7 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@1073efd2 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@50db49d7 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@6e26dcdc (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b519010 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b519010 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@b519010 XXXX: tr3 -> (!raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28857869 (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@340d52f0 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@1074460 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@619a5278 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.EqualityExpressionImpl@62df2812 (op: ==) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c1b6c6b in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@340d52f0 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@3c1b6c6b putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@7040bcc (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b6373d3 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b6373d3 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@7b6373d3 XXXX: tr4 -> (raise)&&(y==2) intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@639b10a (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.UnaryExpressionImpl@492795f3 (op: !) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19ec6f7c MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@69e05914 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@221a14c3 (value: 2) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@57e7857e (op: <) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d8a8771 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@19ec6f7c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@2d8a8771 putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.LogicalAndExpressionImpl@4649532d (op: &&) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@51b4390c getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@51b4390c in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@51b4390c XXXX: tr8 -> (!raise)&&(y<2) MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5a913365 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4ca26f7e (value: 1) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.RelationalExpressionImpl@1792c85c (op: >=) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c99c829 getTransitionGuard inputObject: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c99c829 in processPredicate cleanCElement: eu.fbk.tools.editor.c.expression.expression.impl.ParsExpressionImpl@c99c829 XXXX: tr5 -> y>=1 XXXX: tr9 -> null intput port: lower putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2f1b2ef (name: lower) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@4dfd415f (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@94f52e5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@1ac59274 output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@152c3d09 (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@32fc614a (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@4157d58a (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@7737a9e6 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@307067c (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@52a0c167 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2d24b53c (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@671651e7 intput port: raise putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@5c198f9f (name: raise) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@8e6d682 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@630ff7 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@552fff75 MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@45daf738 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@7bb66bc7 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@63b2cff1 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@49cc40a5 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@5b3d0d93 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@615e58e0 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@615e58e0 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@41d3cf47, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1eaf03a5, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4805fe3a, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@4b473938, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@14316ee0] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@15f621a0 (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@670a54df (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@785370b0 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@254410f7 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@11bdede putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@72e5e5e8 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@72e5e5e8 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@47bad163] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@e8c0cbe (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@1d767329 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@c56982d (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@46743123 output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@28733caf (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@6b2edb3 (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@3e1d8ab8 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@59875971 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@68a080aa putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@19ea7054 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@19ea7054 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@52a4c016, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@2e2278fc] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3f10cd2d (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@4b400ea9 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@76987aa5 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@a8b071 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@39e86cec (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7296183e (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@476e099b (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@200023f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@78f5919f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6312aa85 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@6312aa85 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3834472d, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@7cb2baa2] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@2802a11f (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@3215961d (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@5b1b4d57 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@3dc7e981 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@70bd7f putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7e130530 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@7e130530 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1de2c9e1] MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@6ee3176f (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@25e607f3 (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@2e406f6f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@4806c563 output port: down putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@3ea8eb63 (name: down) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@2b64aada (value: false) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@67283ce (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@78a173be putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@12b6c3a putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@141e57cb getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@141e57cb cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@ba52386, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@3f454e3c] output port: up putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@580c424b (name: up) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.BooleanLiteralImpl@7a97f3df (value: true) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@6fb6761f (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@2a1652bd MARTE_Library::TimeLibrary::IdealClock non static attribute: y putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.IdentifierImpl@10b243ae (name: y) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.DecimalLiteralImpl@55fe436c (value: 0) putOutputObject: eu.fbk.tools.editor.c.expression.expression.impl.AssignmentExpressionImpl@9a4c142 (op: =) putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.AssignmentStatementImpl@113ff971 putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.StatementListImpl@131267cb putOutputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49019c88 getTransitionEffect inputObject: eu.fbk.tools.editor.c.statement.statement.impl.CompoundStatementImpl@49019c88 cleanCEffect: [eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@39553504, eu.fbk.tools.editor.nusmv.smv.impl.VarBodyAssignImpl@1406da37] variables size: 5 variableName: up variableName not input port: up variableName: down variableName not input port: down variableName: lower variableName: raise variableName: y variableName not input port: y
Standard Error
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)