1 in allInstrTest on UMLModel test Model

Error Report

Posted by BXYMartin on June 18, 2019

Time: 2019-06-18 21:44:18

“Critical Errors Occurred!”

I’ve Fixed This Error

Corresponding File:
Click Me To Resolve:

Important Note: When you click this button, this report will be deleted on next commit, please make sure no one else could be affected by this bug.

Not My Fault, Diss Others!

  • Details

    Error on line 186

    ./gen_case/allInstrTest.mdj_UMLModel_Model_1.test
    

    Files

    Model File:

    Source File

    Error Info:

    bxy ERROR: Runtime Error Occurred!
    Something wrong with your process.
    java.lang.NullPointerException
    	at MyUmlColla.checkValidity(MyUmlColla.java:79)
    	at MyUmlColla.getIncomingMessageCount(MyUmlColla.java:103)
    	at MyUmlInteraction.getIncomingMessageCount(MyUmlInteraction.java:141)
    	at com.oocourse.uml2.interact.AppRunner.runAsIncomingMsgCount(AppRunner.java:386)
    	at com.oocourse.uml2.interact.AppRunner.access$000(AppRunner.java:33)
    	at com.oocourse.uml2.interact.AppRunner$1.lambda$new$15(AppRunner.java:66)
    	at com.oocourse.uml2.interact.AppRunner.runAsArguments(AppRunner.java:192)
    	at com.oocourse.uml2.interact.AppRunner.instructionProcessEvent(AppRunner.java:173)
    	at com.oocourse.uml2.interact.AppRunner.lineProcessEvent(AppRunner.java:136)
    	at com.oocourse.uml2.interact.AppRunner.run(AppRunner.java:104)
    	at Main.main(Main.java:6)
    qyj ERROR: Runtime Error Occurred!
    Something wrong with your process.
    java.lang.NullPointerException
    	at MyUmlSeq.getIncomingMsgCount(MyUmlSeq.java:56)
    	at MyUmlSeqInteraction.getIncomingMessageCount(MyUmlSeqInteraction.java:76)
    	at MyUmlGeneralInteraction.getIncomingMessageCount(MyUmlGeneralInteraction.java:263)
    	at com.oocourse.uml2.interact.AppRunner.runAsIncomingMsgCount(AppRunner.java:386)
    	at com.oocourse.uml2.interact.AppRunner.access$000(AppRunner.java:33)
    	at com.oocourse.uml2.interact.AppRunner$1.lambda$new$15(AppRunner.java:66)
    	at com.oocourse.uml2.interact.AppRunner.runAsArguments(AppRunner.java:192)
    	at com.oocourse.uml2.interact.AppRunner.instructionProcessEvent(AppRunner.java:173)
    	at com.oocourse.uml2.interact.AppRunner.lineProcessEvent(AppRunner.java:136)
    	at com.oocourse.uml2.interact.AppRunner.run(AppRunner.java:104)
    	at MainClass.main(MainClass.java:7)
    [!] FAILED On Line 186
    [!] ERROR: Line 186 {Ok,state count of statemachine "nutter" is 12.} -> ['wyp']
    [!] ERROR: Line 186 {Ok,state count of statemachine "nutter" is 5.} -> ['qyj', 'bxy', 'mjl']
    

    Test Case:

    {"_parent":"AAAAAAFrYDCYjjpNBtA=","visibility":"public","name":"Interaction1","_type":"UMLInteraction","_id":"AAAAAAFrYDCYjjpOX6o="}
    {"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"oneLine","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqNmtc="}
    {"_parent":"AAAAAAFrYDDIhDqNmtc=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDDIhDqZwBA=","represent":"AAAAAAFrYDDIhTqpsXQ="}
    {"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqaXoY="}
    {"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqfR6Y="}
    {"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup2","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqk3mg="}
    {"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"Role1","_type":"UMLAttribute","_id":"AAAAAAFrYDDIhTqpsXQ=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"normal","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmDvDQ4k="}
    {"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Message1","_type":"UMLMessage","_id":"AAAAAAFrYDEOmDvbcKA=","source":"AAAAAAFrYDEOmDvcESQ=","target":"AAAAAAFrYDEOmDvdkCQ="}
    {"_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmDvcESQ=","represent":"AAAAAAFrYDEOmzw1eOE="}
    {"_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Lifeline2","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmDvdkCQ=","represent":"AAAAAAFrYDEOmzw28FQ="}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"dup_inter","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmDveGgM="}
    {"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv4rHY=","represent":"AAAAAAFrYDEOmzw3g50="}
    {"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"dup","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv5KPs=","represent":"AAAAAAFrYDEOmzw4GXQ="}
    {"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"dup","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv6ok8=","represent":"AAAAAAFrYDEOmzw59Qw="}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"incoming","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmTv7rEA="}
    {"messageSort":"asynchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message2","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwp9gc=","source":"AAAAAAFrYDEOmjwuthg=","target":"AAAAAAFrYDEOmzwv2wc="}
    {"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message1","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwq0gw=","source":"AAAAAAFrYDEOmjwt3Qw=","target":"AAAAAAFrYDEOmjwuthg="}
    {"messageSort":"reply","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":null,"_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwrhU0=","source":"AAAAAAFrYDEOmzwv2wc=","target":"AAAAAAFrYDEOmjwuthg="}
    {"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message3","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwsiuA=","source":"AAAAAAFrYDEOmjwuthg=","target":"AAAAAAFrYDEOmjwuthg="}
    {"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmjwt3Qw=","represent":"AAAAAAFrYDEOmzw6kPo="}
    {"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline2","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmjwuthg=","represent":"AAAAAAFrYDEOmzw7mCQ="}
    {"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline3","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmzwv2wc=","represent":"AAAAAAFrYDEOmzw8pXc="}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"dup2","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmzwwJc0="}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role1","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw1eOE=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role2","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw28FQ=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role3","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw3g50=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role4","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw4GXQ=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role5","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw59Qw=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role6","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw6kPo=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role7","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw7mCQ=","type":""}
    {"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role8","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw8pXc=","type":""}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"NoState","_type":"UMLStateMachine","_id":"AAAAAAFrYDEiqT0ohp0="}
    {"_parent":"AAAAAAFrYDEiqT0ohp0=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDEiqT0qYSw="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"OneState","_type":"UMLStateMachine","_id":"AAAAAAFrYDE2oT06+t4="}
    {"_parent":"AAAAAAFrYDE2oT06+t4=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDE2oT1AbEg="}
    {"_parent":"AAAAAAFrYDE2oT1AbEg=","visibility":"public","name":"init","_type":"UMLPseudostate","_id":"AAAAAAFrYDE2oT1BDOw="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"Normal","_type":"UMLStateMachine","_id":"AAAAAAFrYDFK6D2jPV4="}
    {"_parent":"AAAAAAFrYDFK6D2jPV4=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFK6T3IXI8="}
    {"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFrYDFK6T3J0UM="}
    {"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFrYDFK6T3KwwE="}
    {"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFrYDFK6T3LRfI="}
    {"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFK6T3M6nw=","source":"AAAAAAFrYDFK6T3J0UM=","target":"AAAAAAFrYDFK6T3KwwE="}
    {"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFK6T3NZc8=","source":"AAAAAAFrYDFK6T3J0UM=","target":"AAAAAAFrYDFK6T3LRfI="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"Self","_type":"UMLStateMachine","_id":"AAAAAAFrYDFdDD9\/hCU="}
    {"_parent":"AAAAAAFrYDFdDD9\/hCU=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFdDkAV1G4="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"self","_type":"UMLState","_id":"AAAAAAFrYDFdDkAWjMM="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFrYDFdDkAXrwo="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"same","_type":"UMLState","_id":"AAAAAAFrYDFdDkAYTFk="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFrYDFdDkAZF7M="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State4","_type":"UMLState","_id":"AAAAAAFrYDFdDkAaMXg="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State5","_type":"UMLState","_id":"AAAAAAFrYDFdDkAbzUY="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State6","_type":"UMLState","_id":"AAAAAAFrYDFdDkAc41E="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFrYDFdDkAdCIc="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State7","_type":"UMLState","_id":"AAAAAAFrYDFdDkAeTtw="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State8","_type":"UMLState","_id":"AAAAAAFrYDFdDkAf7nc="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"dup","_type":"UMLState","_id":"AAAAAAFrYDFdDkAgQtk="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"dup","_type":"UMLState","_id":"AAAAAAFrYDFdDkAhjX8="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAiD6s=","source":"AAAAAAFrYDFdDkAWjMM=","target":"AAAAAAFrYDFdDkAWjMM="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAjI7c=","source":"AAAAAAFrYDFdDkAYTFk=","target":"AAAAAAFrYDFdDkAZF7M="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAkbCI=","source":"AAAAAAFrYDFdDkAYTFk=","target":"AAAAAAFrYDFdDkAaMXg="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAl6gc=","source":"AAAAAAFrYDFdDkAaMXg=","target":"AAAAAAFrYDFdDkAbzUY="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAmxxs=","source":"AAAAAAFrYDFdDkAXrwo=","target":"AAAAAAFrYDFdDkAYTFk="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAnxDU=","source":"AAAAAAFrYDFdDkAZF7M=","target":"AAAAAAFrYDFdDkAbzUY="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAoURU=","source":"AAAAAAFrYDFdDkAbzUY=","target":"AAAAAAFrYDFdDkAc41E="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkApocU=","source":"AAAAAAFrYDFdDkAdCIc=","target":"AAAAAAFrYDFdDkAeTtw="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAqIts=","source":"AAAAAAFrYDFdDkAeTtw=","target":"AAAAAAFrYDFdDkAf7nc="}
    {"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAricE=","source":"AAAAAAFrYDFdDkAf7nc=","target":"AAAAAAFrYDFdDkAeTtw="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"dup_name","_type":"UMLStateMachine","_id":"AAAAAAFrYDFt9EGLBD8="}
    {"_parent":"AAAAAAFrYDFt9EGLBD8=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFt9UGNUyM="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"dup_name","_type":"UMLStateMachine","_id":"AAAAAAFrYDGAjUGV4gs="}
    {"_parent":"AAAAAAFrYDGAjUGV4gs=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDGAjUGXPEo="}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"nutter","_type":"UMLStateMachine","_id":"AAAAAAFraEX83pEBQUs="}
    {"_parent":"AAAAAAFraEX83pEBQUs=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFraEX83pECN8k="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEYPRpEInRg="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFraEZRGZEsdg4="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEZjl5Fn05o="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEZtLJF4QzM="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFraEbk7pGJt74="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFraEch5pHQT9Q="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEc0MZH1+nk="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEc7QpH6Nuw="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEdDQJH\/Ozw="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"init","_type":"UMLPseudostate","_id":"AAAAAAFraEeJ4JI3kPU="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEgDG5JaXFo="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEgNcZJfIMc="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEZFXJEby2w=","source":"AAAAAAFraEYPRpEInRg=","target":"AAAAAAFraEYPRpEInRg="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEb+hJGu7l8=","source":"AAAAAAFraEbk7pGJt74=","target":"AAAAAAFraEZjl5Fn05o="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEcLg5G\/XRg=","source":"AAAAAAFraEbk7pGJt74=","target":"AAAAAAFraEZtLJF4QzM="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdTnpIEKdM=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEc0MZH1+nk="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdgo5IVFeM=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEc7QpH6Nuw="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdv9ZImxWA=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEdDQJH\/Ozw="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEe4V5JIh2Q=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEeJ4JI3kPU="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEgcy5JkRYI=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEgDG5JaXFo="}
    {"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEgse5J1WVE=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEgNcZJfIMc="}
    END_OF_MODEL
    TRANSITION_COUNT State2
    MESSAGE_COUNT Role1
    STATE_COUNT State1
    TRANSITION_COUNT Role6
    STATE_COUNT State2
    TRANSITION_COUNT State3
    MESSAGE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Role1 Lifeline1
    INCOMING_MSG_COUNT Role2 State5
    INCOMING_MSG_COUNT State8 oneLine
    TRANSITION_COUNT incoming
    STATE_COUNT Role4
    SUBSEQUENT_STATE_COUNT State5 same
    PTCP_OBJ_COUNT dup
    CLASS_ATTR_COUNT State2 ALL
    STATE_COUNT State1
    INCOMING_MSG_COUNT dup dup_name
    INCOMING_MSG_COUNT Lifeline1 Lifeline1
    INCOMING_MSG_COUNT Lifeline1 dup2
    MESSAGE_COUNT dup
    TRANSITION_COUNT self
    TRANSITION_COUNT State6
    TRANSITION_COUNT Role5
    SUBSEQUENT_STATE_COUNT Lifeline2 Role8
    TRANSITION_COUNT State2
    TRANSITION_COUNT Lifeline2
    INCOMING_MSG_COUNT dup Message2
    SUBSEQUENT_STATE_COUNT init State2
    TRANSITION_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Lifeline2 Role1
    STATE_COUNT dup
    CLASS_ATTR_VISIBILITY State1 dup
    TRANSITION_COUNT dup2
    STATE_COUNT State2
    STATE_COUNT State8
    MESSAGE_COUNT dup_inter
    SUBSEQUENT_STATE_COUNT State4 Role4
    SUBSEQUENT_STATE_COUNT oneLine dup_name
    SUBSEQUENT_STATE_COUNT State6 incoming
    SUBSEQUENT_STATE_COUNT Lifeline2 dup
    MESSAGE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT dup Message2
    SUBSEQUENT_STATE_COUNT dup Message3
    MESSAGE_COUNT Normal
    PTCP_OBJ_COUNT nutter
    STATE_COUNT Role1
    TRANSITION_COUNT init
    SUBSEQUENT_STATE_COUNT init init
    TRANSITION_COUNT State3
    STATE_COUNT incoming
    TRANSITION_COUNT dup
    SUBSEQUENT_STATE_COUNT same dup_inter
    INCOMING_MSG_COUNT State6 dup_name
    TRANSITION_COUNT init
    STATE_COUNT dup
    INCOMING_MSG_COUNT Lifeline1 dup2
    TRANSITION_COUNT dup
    STATE_COUNT Role7
    TRANSITION_COUNT Lifeline2
    MESSAGE_COUNT init
    STATE_COUNT normal
    STATE_COUNT Interaction1
    MESSAGE_COUNT Role6
    TRANSITION_COUNT self
    SUBSEQUENT_STATE_COUNT dup2 init
    STATE_COUNT State5
    STATE_COUNT dup_name
    STATE_COUNT Normal
    SUBSEQUENT_STATE_COUNT dup_name dup
    SUBSEQUENT_STATE_COUNT State3 NoState
    TRANSITION_COUNT State1
    STATE_COUNT State8
    SUBSEQUENT_STATE_COUNT dup Role8
    PTCP_OBJ_COUNT OneState
    STATE_COUNT Message2
    STATE_COUNT State6
    SUBSEQUENT_STATE_COUNT dup Lifeline1
    MESSAGE_COUNT Message3
    SUBSEQUENT_STATE_COUNT Lifeline1 State6
    PTCP_OBJ_COUNT State4
    TRANSITION_COUNT Role8
    TRANSITION_COUNT State5
    TRANSITION_COUNT init
    MESSAGE_COUNT Lifeline1
    TRANSITION_COUNT State3
    SUBSEQUENT_STATE_COUNT Message2 Lifeline1
    TRANSITION_COUNT self
    PTCP_OBJ_COUNT State8
    MESSAGE_COUNT nutter
    SUBSEQUENT_STATE_COUNT Message1 Normal
    CLASS_OPERATION_COUNT dup PARAM
    SUBSEQUENT_STATE_COUNT dup nutter
    SUBSEQUENT_STATE_COUNT Role3 Interaction1
    TRANSITION_COUNT Role1
    TRANSITION_COUNT Role6
    TRANSITION_COUNT State4
    SUBSEQUENT_STATE_COUNT State7 Role1
    SUBSEQUENT_STATE_COUNT self Message3
    STATE_COUNT dup_name
    PTCP_OBJ_COUNT normal
    STATE_COUNT State5
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT Role8
    SUBSEQUENT_STATE_COUNT State2 incoming
    STATE_COUNT Role1
    TRANSITION_COUNT State8
    MESSAGE_COUNT State1
    SUBSEQUENT_STATE_COUNT dup Role4
    SUBSEQUENT_STATE_COUNT dup_name Lifeline1
    SUBSEQUENT_STATE_COUNT Interaction1 Normal
    MESSAGE_COUNT dup2
    SUBSEQUENT_STATE_COUNT State2 State6
    SUBSEQUENT_STATE_COUNT State6 Message1
    SUBSEQUENT_STATE_COUNT Lifeline1 dup
    TRANSITION_COUNT Lifeline3
    PTCP_OBJ_COUNT dup2
    PTCP_OBJ_COUNT State6
    SUBSEQUENT_STATE_COUNT dup_name State8
    SUBSEQUENT_STATE_COUNT Message1 dup
    STATE_COUNT State4
    MESSAGE_COUNT State5
    TRANSITION_COUNT incoming
    STATE_COUNT Role2
    CLASS_ASSO_COUNT dup_name
    TRANSITION_COUNT Lifeline1
    TRANSITION_COUNT State2
    TRANSITION_COUNT Message1
    TRANSITION_COUNT dup
    STATE_COUNT State2
    SUBSEQUENT_STATE_COUNT dup dup_inter
    INCOMING_MSG_COUNT Role1 Role6
    PTCP_OBJ_COUNT Role2
    SUBSEQUENT_STATE_COUNT incoming dup_inter
    INCOMING_MSG_COUNT dup incoming
    STATE_COUNT Lifeline1
    TRANSITION_COUNT Lifeline1
    STATE_COUNT Lifeline1
    STATE_COUNT Message2
    STATE_COUNT dup_inter
    STATE_COUNT Message1
    TRANSITION_COUNT State2
    SUBSEQUENT_STATE_COUNT Lifeline1 State2
    STATE_COUNT State7
    PTCP_OBJ_COUNT dup_name
    SUBSEQUENT_STATE_COUNT Self State3
    SUBSEQUENT_STATE_COUNT self Role2
    STATE_COUNT Message1
    SUBSEQUENT_STATE_COUNT State5 Lifeline2
    INCOMING_MSG_COUNT State2 State1
    TRANSITION_COUNT init
    TRANSITION_COUNT Interaction1
    STATE_COUNT NoState
    SUBSEQUENT_STATE_COUNT State2 State6
    CLASS_COUNT
    STATE_COUNT Role1
    TRANSITION_COUNT self
    TRANSITION_COUNT Role1
    SUBSEQUENT_STATE_COUNT State7 Lifeline2
    TRANSITION_COUNT State3
    STATE_COUNT Message2
    STATE_COUNT oneLine
    MESSAGE_COUNT State3
    SUBSEQUENT_STATE_COUNT State3 Role7
    SUBSEQUENT_STATE_COUNT dup dup
    TRANSITION_COUNT Message1
    TRANSITION_COUNT Interaction1
    MESSAGE_COUNT Role2
    CLASS_ATTR_VISIBILITY self Role8
    TRANSITION_COUNT Message1
    STATE_COUNT State7
    INCOMING_MSG_COUNT State3 Role4
    PTCP_OBJ_COUNT dup
    PTCP_OBJ_COUNT dup2
    STATE_COUNT NoState
    STATE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Role1 Message3
    TRANSITION_COUNT State3
    TRANSITION_COUNT State7
    STATE_COUNT Lifeline1
    TRANSITION_COUNT Role5
    SUBSEQUENT_STATE_COUNT Lifeline2 same
    INCOMING_MSG_COUNT OneState dup2
    INCOMING_MSG_COUNT normal Message1
    MESSAGE_COUNT State4
    SUBSEQUENT_STATE_COUNT Role5 Normal
    STATE_COUNT nutter
    PTCP_OBJ_COUNT init
    MESSAGE_COUNT State1
    SUBSEQUENT_STATE_COUNT State1 init
    STATE_COUNT Role3
    PTCP_OBJ_COUNT incoming
    TRANSITION_COUNT Role2
    TRANSITION_COUNT Lifeline2
    MESSAGE_COUNT Lifeline1
    STATE_COUNT Lifeline3
    TRANSITION_COUNT Interaction1
    INCOMING_MSG_COUNT State7 dup_name
    TRANSITION_COUNT Role3
    INCOMING_MSG_COUNT State3 Role8
    STATE_COUNT Message1
    STATE_COUNT State3
    STATE_COUNT Lifeline1
    INCOMING_MSG_COUNT Role5 dup_inter
    STATE_COUNT State8
    SUBSEQUENT_STATE_COUNT init dup2
    STATE_COUNT dup_name
    SUBSEQUENT_STATE_COUNT State2 Role4
    TRANSITION_COUNT State3
    PTCP_OBJ_COUNT Role5
    TRANSITION_COUNT Interaction1
    SUBSEQUENT_STATE_COUNT dup_name Self
    STATE_COUNT State4
    SUBSEQUENT_STATE_COUNT same State1
    STATE_COUNT Message1
    TRANSITION_COUNT Lifeline1
    MESSAGE_COUNT State7
    TRANSITION_COUNT normal
    STATE_COUNT Role3
    INCOMING_MSG_COUNT Interaction1 State2
    SUBSEQUENT_STATE_COUNT State7 State4
    PTCP_OBJ_COUNT dup
    STATE_COUNT State6
    PTCP_OBJ_COUNT Lifeline1
    MESSAGE_COUNT normal
    TRANSITION_COUNT State1
    TRANSITION_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT State2 dup
    TRANSITION_COUNT dup
    INCOMING_MSG_COUNT dup State1
    TRANSITION_COUNT Role5
    TRANSITION_COUNT NoState
    SUBSEQUENT_STATE_COUNT dup Lifeline2
    MESSAGE_COUNT Self
    TRANSITION_COUNT State7
    INCOMING_MSG_COUNT oneLine Lifeline3
    STATE_COUNT dup
    TRANSITION_COUNT Lifeline2
    MESSAGE_COUNT State8
    STATE_COUNT dup
    TRANSITION_COUNT State2
    CLASS_IMPLEMENT_INTERFACE_LIST incoming
    STATE_COUNT dup
    STATE_COUNT dup
    INCOMING_MSG_COUNT State3 State2
    CLASS_ASSO_COUNT State4
    STATE_COUNT Interaction1
    STATE_COUNT dup
    PTCP_OBJ_COUNT oneLine
    MESSAGE_COUNT oneLine
    SUBSEQUENT_STATE_COUNT State3 State3
    SUBSEQUENT_STATE_COUNT NoState State3
    MESSAGE_COUNT dup
    SUBSEQUENT_STATE_COUNT dup nutter
    SUBSEQUENT_STATE_COUNT Message2 Role1
    STATE_COUNT dup_name
    MESSAGE_COUNT self
    TRANSITION_COUNT State1
    STATE_COUNT normal
    STATE_COUNT State3
    STATE_COUNT Role6
    PTCP_OBJ_COUNT oneLine
    TRANSITION_COUNT NoState
    INCOMING_MSG_COUNT Role3 Role2
    SUBSEQUENT_STATE_COUNT State1 Role4
    TRANSITION_COUNT oneLine
    STATE_COUNT Lifeline1
    MESSAGE_COUNT normal
    STATE_COUNT Lifeline3
    SUBSEQUENT_STATE_COUNT State2 dup_name
    MESSAGE_COUNT same
    SUBSEQUENT_STATE_COUNT Lifeline1 State2
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT Message1
    SUBSEQUENT_STATE_COUNT dup_name State2
    MESSAGE_COUNT Lifeline2
    TRANSITION_COUNT Role7
    TRANSITION_COUNT Lifeline3
    INCOMING_MSG_COUNT incoming dup_name
    STATE_COUNT Role2
    SUBSEQUENT_STATE_COUNT Interaction1 Role1
    TRANSITION_COUNT State1
    PTCP_OBJ_COUNT init
    PTCP_OBJ_COUNT Role5
    TRANSITION_COUNT Message2
    TRANSITION_COUNT normal
    INCOMING_MSG_COUNT State2 Message1
    STATE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Normal State3
    SUBSEQUENT_STATE_COUNT nutter dup_name
    SUBSEQUENT_STATE_COUNT dup_name Role2
    SUBSEQUENT_STATE_COUNT State7 dup_name
    MESSAGE_COUNT dup
    TRANSITION_COUNT dup_name
    CLASS_OPERATION_COUNT dup PARAM
    SUBSEQUENT_STATE_COUNT State1 dup
    MESSAGE_COUNT self
    INCOMING_MSG_COUNT dup Role4
    MESSAGE_COUNT Role8
    STATE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Role3 State4
    TRANSITION_COUNT dup
    TRANSITION_COUNT State4
    SUBSEQUENT_STATE_COUNT Role8 State2
    STATE_COUNT self
    PTCP_OBJ_COUNT Role1
    STATE_COUNT Normal
    PTCP_OBJ_COUNT State6
    STATE_COUNT State1
    STATE_COUNT dup_name
    TRANSITION_COUNT Message2
    SUBSEQUENT_STATE_COUNT Lifeline2 Message1
    STATE_COUNT State1
    TRANSITION_COUNT Lifeline2
    TRANSITION_COUNT dup
    PTCP_OBJ_COUNT dup
    CLASS_ASSO_COUNT State2
    STATE_COUNT State3
    SUBSEQUENT_STATE_COUNT State1 State3
    SUBSEQUENT_STATE_COUNT NoState incoming
    MESSAGE_COUNT Lifeline2
    SUBSEQUENT_STATE_COUNT dup_name dup
    PTCP_OBJ_COUNT State2
    TRANSITION_COUNT Role6
    MESSAGE_COUNT init
    TRANSITION_COUNT Role6
    SUBSEQUENT_STATE_COUNT Role3 Lifeline3
    PTCP_OBJ_COUNT Lifeline3
    MESSAGE_COUNT Role8
    STATE_COUNT State1
    MESSAGE_COUNT init
    MESSAGE_COUNT dup
    TRANSITION_COUNT init
    TRANSITION_COUNT dup_name
    SUBSEQUENT_STATE_COUNT Lifeline3 Role7
    MESSAGE_COUNT Normal
    STATE_COUNT dup_name
    SUBSEQUENT_STATE_COUNT State6 Lifeline2
    INCOMING_MSG_COUNT dup State6
    STATE_COUNT NoState
    INCOMING_MSG_COUNT normal dup
    STATE_COUNT State2
    INCOMING_MSG_COUNT Lifeline1 State2
    STATE_COUNT Role1
    TRANSITION_COUNT State2
    TRANSITION_COUNT Lifeline1
    INCOMING_MSG_COUNT State2 Interaction1
    STATE_COUNT Role3
    SUBSEQUENT_STATE_COUNT Role1 Lifeline1
    SUBSEQUENT_STATE_COUNT Lifeline1 dup
    PTCP_OBJ_COUNT State2
    TRANSITION_COUNT self
    TRANSITION_COUNT State3
    STATE_COUNT same
    TRANSITION_COUNT dup
    PTCP_OBJ_COUNT State5
    STATE_COUNT dup2
    TRANSITION_COUNT Role8
    TRANSITION_COUNT State7
    SUBSEQUENT_STATE_COUNT Message1 nutter
    SUBSEQUENT_STATE_COUNT State4 Role8
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT State3
    PTCP_OBJ_COUNT Role4
    CLASS_IMPLEMENT_INTERFACE_LIST State5
    TRANSITION_COUNT State4
    TRANSITION_COUNT Role1
    STATE_COUNT dup2
    STATE_COUNT State3
    STATE_COUNT oneLine
    TRANSITION_COUNT Role7
    SUBSEQUENT_STATE_COUNT State7 Message3
    PTCP_OBJ_COUNT init
    CLASS_IMPLEMENT_INTERFACE_LIST Interaction1
    TRANSITION_COUNT Normal
    STATE_COUNT Lifeline3
    SUBSEQUENT_STATE_COUNT nutter Lifeline1
    INCOMING_MSG_COUNT State2 dup
    STATE_COUNT same
    TRANSITION_COUNT State3
    MESSAGE_COUNT State3
    SUBSEQUENT_STATE_COUNT Role8 OneState
    STATE_COUNT normal
    PTCP_OBJ_COUNT init
    MESSAGE_COUNT Message1
    SUBSEQUENT_STATE_COUNT Interaction1 dup
    CLASS_ASSO_COUNT dup
    SUBSEQUENT_STATE_COUNT Role5 Lifeline1
    STATE_COUNT State1
    MESSAGE_COUNT Role7
    SUBSEQUENT_STATE_COUNT Lifeline1 State2
    PTCP_OBJ_COUNT Lifeline3
    SUBSEQUENT_STATE_COUNT Lifeline2 Normal
    PTCP_OBJ_COUNT self
    STATE_COUNT nutter
    STATE_COUNT init
    TRANSITION_COUNT dup
    PTCP_OBJ_COUNT Lifeline1
    PTCP_OBJ_COUNT Role4
    STATE_COUNT Normal
    STATE_COUNT State2
    SUBSEQUENT_STATE_COUNT init State5
    SUBSEQUENT_STATE_COUNT self State2
    TRANSITION_COUNT Lifeline3
    PTCP_OBJ_COUNT State5
    CLASS_INFO_HIDDEN State6
    PTCP_OBJ_COUNT Normal
    TRANSITION_COUNT Role6
    TRANSITION_COUNT dup_name
    PTCP_OBJ_COUNT Role6
    SUBSEQUENT_STATE_COUNT State2 Lifeline1
    MESSAGE_COUNT State1
    STATE_COUNT State4
    STATE_COUNT State5
    STATE_COUNT Lifeline2
    STATE_COUNT Message3
    TRANSITION_COUNT dup
    PTCP_OBJ_COUNT State3
    SUBSEQUENT_STATE_COUNT dup Lifeline2
    INCOMING_MSG_COUNT State3 State4
    SUBSEQUENT_STATE_COUNT Role8 State1
    SUBSEQUENT_STATE_COUNT State5 Role7
    SUBSEQUENT_STATE_COUNT Message3 same
    TRANSITION_COUNT State1
    STATE_COUNT Lifeline3
    MESSAGE_COUNT State2
    STATE_COUNT dup
    PTCP_OBJ_COUNT Lifeline1
    TRANSITION_COUNT dup
    MESSAGE_COUNT dup2
    TRANSITION_COUNT dup
    STATE_COUNT Message1
    SUBSEQUENT_STATE_COUNT Lifeline1 State8
    SUBSEQUENT_STATE_COUNT Message1 init
    STATE_COUNT State3
    STATE_COUNT Role3
    MESSAGE_COUNT Lifeline1
    MESSAGE_COUNT dup_inter
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT Message3
    CLASS_ATTR_COUNT State2 ALL
    TRANSITION_COUNT dup_name
    CLASS_ASSO_CLASS_LIST Role4
    SUBSEQUENT_STATE_COUNT State7 dup
    TRANSITION_COUNT dup
    TRANSITION_COUNT State3
    STATE_COUNT normal
    SUBSEQUENT_STATE_COUNT nutter State6
    SUBSEQUENT_STATE_COUNT dup2 dup_name
    SUBSEQUENT_STATE_COUNT Lifeline2 State3
    TRANSITION_COUNT Lifeline1
    STATE_COUNT Lifeline3
    TRANSITION_COUNT Role3
    TRANSITION_COUNT State3
    TRANSITION_COUNT State2
    TRANSITION_COUNT Lifeline3
    STATE_COUNT same
    TRANSITION_COUNT incoming
    SUBSEQUENT_STATE_COUNT State6 Lifeline1
    STATE_COUNT State1
    TRANSITION_COUNT init
    SUBSEQUENT_STATE_COUNT State7 State1
    SUBSEQUENT_STATE_COUNT State6 Role1
    TRANSITION_COUNT State2
    STATE_COUNT normal
    MESSAGE_COUNT init
    STATE_COUNT State5
    PTCP_OBJ_COUNT incoming
    CLASS_ATTR_COUNT dup_inter SELF_ONLY
    STATE_COUNT oneLine
    PTCP_OBJ_COUNT nutter
    SUBSEQUENT_STATE_COUNT State1 Lifeline2
    INCOMING_MSG_COUNT same same
    MESSAGE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Lifeline1 Message3
    STATE_COUNT State3
    TRANSITION_COUNT Lifeline1
    MESSAGE_COUNT Role1
    PTCP_OBJ_COUNT State1
    STATE_COUNT dup
    SUBSEQUENT_STATE_COUNT same Lifeline1
    TRANSITION_COUNT Message1
    TRANSITION_COUNT Lifeline1
    TRANSITION_COUNT NoState
    MESSAGE_COUNT Lifeline1
    INCOMING_MSG_COUNT incoming Lifeline2
    PTCP_OBJ_COUNT Lifeline1
    TRANSITION_COUNT State2
    PTCP_OBJ_COUNT OneState
    PTCP_OBJ_COUNT State6
    TRANSITION_COUNT State4
    TRANSITION_COUNT State5
    TRANSITION_COUNT State1
    MESSAGE_COUNT dup_inter
    SUBSEQUENT_STATE_COUNT State1 State6
    STATE_COUNT dup_name
    SUBSEQUENT_STATE_COUNT dup dup
    SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
    TRANSITION_COUNT Role5
    SUBSEQUENT_STATE_COUNT same Role4
    SUBSEQUENT_STATE_COUNT Message2 Lifeline1
    TRANSITION_COUNT same
    MESSAGE_COUNT dup2
    STATE_COUNT oneLine
    SUBSEQUENT_STATE_COUNT Message2 Role4
    INCOMING_MSG_COUNT incoming Lifeline1
    TRANSITION_COUNT Lifeline3
    CLASS_ASSO_COUNT normal
    PTCP_OBJ_COUNT State2
    SUBSEQUENT_STATE_COUNT incoming oneLine
    TRANSITION_COUNT dup
    TRANSITION_COUNT Role6
    TRANSITION_COUNT Message2
    INCOMING_MSG_COUNT Role8 dup_inter
    SUBSEQUENT_STATE_COUNT State7 State3
    PTCP_OBJ_COUNT dup2
    STATE_COUNT nutter
    SUBSEQUENT_STATE_COUNT State3 nutter
    SUBSEQUENT_STATE_COUNT same State1
    SUBSEQUENT_STATE_COUNT Role1 dup
    STATE_COUNT State1
    SUBSEQUENT_STATE_COUNT Message1 Lifeline1
    MESSAGE_COUNT Role3
    SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
    STATE_COUNT Role6
    SUBSEQUENT_STATE_COUNT Role2 State2
    MESSAGE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT dup Interaction1
    STATE_COUNT OneState
    STATE_COUNT Role2
    SUBSEQUENT_STATE_COUNT dup init
    SUBSEQUENT_STATE_COUNT Role1 Lifeline1
    TRANSITION_COUNT Role3
    INCOMING_MSG_COUNT Lifeline2 Lifeline2
    MESSAGE_COUNT Role6
    SUBSEQUENT_STATE_COUNT dup_name same
    SUBSEQUENT_STATE_COUNT dup dup
    STATE_COUNT State4
    SUBSEQUENT_STATE_COUNT dup self
    TRANSITION_COUNT Lifeline2
    SUBSEQUENT_STATE_COUNT State1 State2
    SUBSEQUENT_STATE_COUNT dup oneLine
    SUBSEQUENT_STATE_COUNT Role6 Role7
    TRANSITION_COUNT Message2
    STATE_COUNT State5
    STATE_COUNT Role3
    TRANSITION_COUNT dup
    INCOMING_MSG_COUNT dup incoming
    INCOMING_MSG_COUNT Lifeline1 State1
    INCOMING_MSG_COUNT oneLine dup
    PTCP_OBJ_COUNT Role8
    INCOMING_MSG_COUNT Lifeline1 NoState
    PTCP_OBJ_COUNT dup
    SUBSEQUENT_STATE_COUNT Interaction1 dup2
    SUBSEQUENT_STATE_COUNT dup State3
    TRANSITION_COUNT NoState
    TRANSITION_COUNT init
    SUBSEQUENT_STATE_COUNT incoming init
    SUBSEQUENT_STATE_COUNT dup2 dup2
    MESSAGE_COUNT State1
    MESSAGE_COUNT dup
    PTCP_OBJ_COUNT Lifeline1
    MESSAGE_COUNT init
    MESSAGE_COUNT oneLine
    STATE_COUNT Lifeline1
    STATE_COUNT Role3
    SUBSEQUENT_STATE_COUNT State1 State1
    SUBSEQUENT_STATE_COUNT normal NoState
    INCOMING_MSG_COUNT dup dup2
    STATE_COUNT dup_name
    PTCP_OBJ_COUNT State2
    STATE_COUNT dup
    INCOMING_MSG_COUNT normal dup2
    STATE_COUNT Lifeline2
    STATE_COUNT Role3
    CLASS_ASSO_CLASS_LIST State1
    SUBSEQUENT_STATE_COUNT dup dup
    STATE_COUNT Message2
    STATE_COUNT State2
    STATE_COUNT State8
    SUBSEQUENT_STATE_COUNT dup2 same
    SUBSEQUENT_STATE_COUNT dup_inter State3
    STATE_COUNT Role6
    MESSAGE_COUNT normal
    STATE_COUNT dup
    MESSAGE_COUNT Message1
    INCOMING_MSG_COUNT State1 State3
    TRANSITION_COUNT Lifeline3
    TRANSITION_COUNT Role1
    PTCP_OBJ_COUNT Lifeline1
    TRANSITION_COUNT Lifeline2
    SUBSEQUENT_STATE_COUNT oneLine Message1
    SUBSEQUENT_STATE_COUNT Self Role6
    STATE_COUNT normal
    STATE_COUNT State4
    STATE_COUNT dup2
    PTCP_OBJ_COUNT nutter
    SUBSEQUENT_STATE_COUNT State2 State8
    TRANSITION_COUNT dup_name
    SUBSEQUENT_STATE_COUNT init Role2
    INCOMING_MSG_COUNT dup State8
    STATE_COUNT State2
    SUBSEQUENT_STATE_COUNT normal State3
    INCOMING_MSG_COUNT Role1 Lifeline1
    SUBSEQUENT_STATE_COUNT Message1 Message1
    MESSAGE_COUNT State3
    PTCP_OBJ_COUNT Lifeline2
    STATE_COUNT Message1
    SUBSEQUENT_STATE_COUNT Message2 same
    SUBSEQUENT_STATE_COUNT Lifeline2 dup
    TRANSITION_COUNT Interaction1
    INCOMING_MSG_COUNT Role3 Message2
    SUBSEQUENT_STATE_COUNT dup_inter Role4
    STATE_COUNT NoState
    MESSAGE_COUNT dup
    STATE_COUNT OneState
    STATE_COUNT Role6
    SUBSEQUENT_STATE_COUNT State1 dup
    PTCP_OBJ_COUNT State5
    PTCP_OBJ_COUNT dup
    MESSAGE_COUNT self
    STATE_COUNT dup2
    MESSAGE_COUNT Role6
    TRANSITION_COUNT Lifeline2
    STATE_COUNT Lifeline3
    PTCP_OBJ_COUNT dup_name
    SUBSEQUENT_STATE_COUNT Lifeline2 State3
    TRANSITION_COUNT dup
    STATE_COUNT init
    SUBSEQUENT_STATE_COUNT dup State5
    SUBSEQUENT_STATE_COUNT Lifeline1 Role1
    STATE_COUNT init
    STATE_COUNT init
    MESSAGE_COUNT Role7
    SUBSEQUENT_STATE_COUNT Role2 State8
    STATE_COUNT dup
    TRANSITION_COUNT State3
    STATE_COUNT Role2
    TRANSITION_COUNT Role4
    STATE_COUNT dup_name
    TRANSITION_COUNT Role4
    TRANSITION_COUNT Lifeline2
    PTCP_OBJ_COUNT Lifeline2
    TRANSITION_COUNT dup_inter
    SUBSEQUENT_STATE_COUNT Message2 init
    TRANSITION_COUNT dup
    TRANSITION_COUNT Message3
    TRANSITION_COUNT State3
    STATE_COUNT Lifeline3
    SUBSEQUENT_STATE_COUNT Role3 Lifeline3
    STATE_COUNT State2
    TRANSITION_COUNT State3
    STATE_COUNT normal
    SUBSEQUENT_STATE_COUNT Lifeline1 Normal
    TRANSITION_COUNT nutter
    TRANSITION_COUNT init
    STATE_COUNT State8
    TRANSITION_COUNT Role2
    MESSAGE_COUNT State2
    MESSAGE_COUNT State3
    TRANSITION_COUNT State2
    STATE_COUNT nutter
    INCOMING_MSG_COUNT same Lifeline1
    STATE_COUNT Role3
    SUBSEQUENT_STATE_COUNT State2 Role4
    TRANSITION_COUNT Role5
    MESSAGE_COUNT Interaction1
    SUBSEQUENT_STATE_COUNT State4 dup_name
    STATE_COUNT nutter
    TRANSITION_COUNT State2
    MESSAGE_COUNT State6
    SUBSEQUENT_STATE_COUNT Lifeline2 dup
    MESSAGE_COUNT Message3
    SUBSEQUENT_STATE_COUNT Role6 Lifeline2
    MESSAGE_COUNT Lifeline1
    TRANSITION_COUNT Lifeline2
    STATE_COUNT same
    SUBSEQUENT_STATE_COUNT Role1 Role2
    STATE_COUNT nutter
    STATE_COUNT Role1
    SUBSEQUENT_STATE_COUNT dup_name dup
    STATE_COUNT dup2
    TRANSITION_COUNT Message1
    CLASS_ATTR_VISIBILITY Normal Message1
    SUBSEQUENT_STATE_COUNT Lifeline1 Role4
    MESSAGE_COUNT State7
    STATE_COUNT State2
    CLASS_OPERATION_VISIBILITY Role3 Message3
    TRANSITION_COUNT same
    INCOMING_MSG_COUNT NoState State2
    TRANSITION_COUNT Interaction1
    SUBSEQUENT_STATE_COUNT State3 State1
    TRANSITION_COUNT State3
    PTCP_OBJ_COUNT OneState
    STATE_COUNT Role8
    SUBSEQUENT_STATE_COUNT dup Lifeline1
    TRANSITION_COUNT Message1
    CLASS_ASSO_COUNT dup
    TRANSITION_COUNT Role1
    INCOMING_MSG_COUNT Normal Message1
    TRANSITION_COUNT dup
    STATE_COUNT State2
    PTCP_OBJ_COUNT dup_name
    PTCP_OBJ_COUNT State3
    SUBSEQUENT_STATE_COUNT Message1 Lifeline2
    TRANSITION_COUNT State3
    TRANSITION_COUNT self
    SUBSEQUENT_STATE_COUNT Role6 OneState
    SUBSEQUENT_STATE_COUNT Role2 dup_name
    STATE_COUNT Role4
    CLASS_OPERATION_VISIBILITY Normal dup
    TRANSITION_COUNT dup_name
    SUBSEQUENT_STATE_COUNT State3 State8
    SUBSEQUENT_STATE_COUNT State1 Lifeline3
    TRANSITION_COUNT Lifeline1
    STATE_COUNT Role3
    STATE_COUNT Message2
    SUBSEQUENT_STATE_COUNT nutter init
    TRANSITION_COUNT State6
    TRANSITION_COUNT State1
    INCOMING_MSG_COUNT same Lifeline1
    PTCP_OBJ_COUNT dup
    STATE_COUNT State2
    STATE_COUNT dup_name
    PTCP_OBJ_COUNT Role5
    SUBSEQUENT_STATE_COUNT Self Lifeline1
    CLASS_COUNT
    STATE_COUNT Self
    SUBSEQUENT_STATE_COUNT dup_name Role8
    SUBSEQUENT_STATE_COUNT Message1 State6
    SUBSEQUENT_STATE_COUNT State5 State8
    PTCP_OBJ_COUNT Role4
    INCOMING_MSG_COUNT Lifeline1 oneLine
    MESSAGE_COUNT Message3
    INCOMING_MSG_COUNT dup dup2
    INCOMING_MSG_COUNT Role2 dup
    PTCP_OBJ_COUNT self
    TRANSITION_COUNT incoming
    MESSAGE_COUNT Normal
    STATE_COUNT dup
    TRANSITION_COUNT Role2
    STATE_COUNT NoState
    STATE_COUNT dup
    INCOMING_MSG_COUNT dup2 dup
    MESSAGE_COUNT Message1
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Lifeline1 State1
    SUBSEQUENT_STATE_COUNT Role8 Message1
    INCOMING_MSG_COUNT Role2 State3
    TRANSITION_COUNT dup
    PTCP_OBJ_COUNT State1
    PTCP_OBJ_COUNT dup
    TRANSITION_COUNT Normal
    MESSAGE_COUNT State2
    STATE_COUNT same
    TRANSITION_COUNT State5
    STATE_COUNT dup
    INCOMING_MSG_COUNT Interaction1 Role8
    TRANSITION_COUNT State5
    INCOMING_MSG_COUNT dup Role4
    TRANSITION_COUNT Lifeline3
    TRANSITION_COUNT State3
    TRANSITION_COUNT Role1
    SUBSEQUENT_STATE_COUNT dup Message3
    TRANSITION_COUNT init
    TRANSITION_COUNT Interaction1
    INCOMING_MSG_COUNT Self Lifeline1
    SUBSEQUENT_STATE_COUNT dup_inter State3
    TRANSITION_COUNT incoming
    STATE_COUNT Message3
    TRANSITION_COUNT Self
    TRANSITION_COUNT Message1
    STATE_COUNT dup
    STATE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT dup self
    TRANSITION_COUNT init
    SUBSEQUENT_STATE_COUNT Lifeline2 Role1
    STATE_COUNT Interaction1
    SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
    TRANSITION_COUNT OneState
    TRANSITION_COUNT State6
    STATE_COUNT State5
    TRANSITION_COUNT Role6
    SUBSEQUENT_STATE_COUNT Lifeline1 dup
    STATE_COUNT Role8
    TRANSITION_COUNT State2
    TRANSITION_COUNT dup_name
    TRANSITION_COUNT dup
    TRANSITION_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT NoState Role2
    CLASS_IMPLEMENT_INTERFACE_LIST Interaction1
    MESSAGE_COUNT Lifeline1
    SUBSEQUENT_STATE_COUNT Message3 normal
    SUBSEQUENT_STATE_COUNT State1 dup2
    STATE_COUNT Interaction1
    STATE_COUNT dup
    STATE_COUNT State2
    INCOMING_MSG_COUNT State8 Role6
    PTCP_OBJ_COUNT Role1
    STATE_COUNT dup_name