Time: 2019-06-18 21:44:18
“Critical Errors Occurred!”
I’ve Fixed This Error
Corresponding File:
Click Me To Resolve:
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:
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