4 in allInstrTest on UMLModel test Model

Time: 2019-06-19 11:40:49

“Critical Errors Occurred!”

I’ve Fixed This Error

Corresponding File: 2019-06-19-11-40-49.markdown
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 39

./gen_case/allInstrTest.mdj_UMLModel_Model_4.test

Files

Model File:

Source File

Error Info:

[!] FAILED On Line 1575
[!] ERROR: Line 1575 {Ok, subsequent state count from state "State2" in statemachine "nutter" is 1.} -> ['ws', 'sdy', 'bxy']
[!] ERROR: Line 1575 {Ok, subsequent state count from state "State2" in statemachine "nutter" is 2.} -> ['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
SUBSEQUENT_STATE_COUNT State3 same
TRANSITION_COUNT Role3
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Role5 Role1
PTCP_OBJ_COUNT State3
PTCP_OBJ_COUNT dup
STATE_COUNT Message1
MESSAGE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State2 State2
MESSAGE_COUNT Role1
TRANSITION_COUNT nutter
CLASS_OPERATION_COUNT dup NON_PARAM
STATE_COUNT self
STATE_COUNT State7
PTCP_OBJ_COUNT Self
MESSAGE_COUNT nutter
PTCP_OBJ_COUNT Role3
INCOMING_MSG_COUNT Lifeline3 init
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT dup_name Normal
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT Role7
TRANSITION_COUNT Self
STATE_COUNT State1
TRANSITION_COUNT self
MESSAGE_COUNT State3
INCOMING_MSG_COUNT dup Role8
TRANSITION_COUNT Message1
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT State1 State1
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT init
MESSAGE_COUNT init
TRANSITION_COUNT Role2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 State2
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT dup Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline1 incoming
SUBSEQUENT_STATE_COUNT normal State3
SUBSEQUENT_STATE_COUNT Message2 dup_name
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT Role3 dup
STATE_COUNT NoState
PTCP_OBJ_COUNT Role1
CLASS_ASSO_CLASS_LIST normal
TRANSITION_COUNT dup
STATE_COUNT dup
TRANSITION_COUNT State7
STATE_COUNT State5
STATE_COUNT Role5
TRANSITION_COUNT NoState
STATE_COUNT nutter
SUBSEQUENT_STATE_COUNT State7 dup2
TRANSITION_COUNT dup
TRANSITION_COUNT Message1
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Message1 dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT OneState OneState
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT nutter dup
STATE_COUNT State3
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT Role6 State1
SUBSEQUENT_STATE_COUNT OneState State6
INCOMING_MSG_COUNT incoming same
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State3 Role2
PTCP_OBJ_COUNT dup2
MESSAGE_COUNT Message2
SUBSEQUENT_STATE_COUNT dup State3
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline3
INCOMING_MSG_COUNT Lifeline1 nutter
CLASS_OPERATION_VISIBILITY State3 dup_inter
TRANSITION_COUNT Role3
TRANSITION_COUNT nutter
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT self
TRANSITION_COUNT dup
INCOMING_MSG_COUNT init Lifeline1
TRANSITION_COUNT State3
TRANSITION_COUNT Self
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT State2
MESSAGE_COUNT State2
STATE_COUNT Role4
MESSAGE_COUNT State2
TRANSITION_COUNT dup_name
TRANSITION_COUNT Role3
SUBSEQUENT_STATE_COUNT Message3 Role1
STATE_COUNT Lifeline1
TRANSITION_COUNT oneLine
TRANSITION_COUNT dup_inter
TRANSITION_COUNT NoState
PTCP_OBJ_COUNT Lifeline2
INCOMING_MSG_COUNT Message1 dup2
SUBSEQUENT_STATE_COUNT Message2 OneState
SUBSEQUENT_STATE_COUNT Message1 incoming
STATE_COUNT init
STATE_COUNT State1
TRANSITION_COUNT State3
STATE_COUNT State5
TRANSITION_COUNT dup2
STATE_COUNT State6
STATE_COUNT Role7
PTCP_OBJ_COUNT Lifeline1
PTCP_OBJ_COUNT NoState
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role8 Role6
TRANSITION_COUNT State2
MESSAGE_COUNT State4
TRANSITION_COUNT State8
STATE_COUNT Lifeline3
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT init State1
STATE_COUNT dup2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role1 dup2
STATE_COUNT State1
INCOMING_MSG_COUNT Interaction1 Lifeline2
TRANSITION_COUNT State3
TRANSITION_COUNT State5
STATE_COUNT dup
INCOMING_MSG_COUNT Message2 Role6
SUBSEQUENT_STATE_COUNT Role4 init
STATE_COUNT Role2
STATE_COUNT init
PTCP_OBJ_COUNT Message1
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 Role1
PTCP_OBJ_COUNT nutter
TRANSITION_COUNT dup2
TRANSITION_COUNT Interaction1
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline1 NoState
SUBSEQUENT_STATE_COUNT self dup
MESSAGE_COUNT State2
CLASS_COUNT
SUBSEQUENT_STATE_COUNT self Role7
SUBSEQUENT_STATE_COUNT Lifeline1 Interaction1
TRANSITION_COUNT State1
INCOMING_MSG_COUNT Lifeline1 State4
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
STATE_COUNT State1
INCOMING_MSG_COUNT State4 Role2
SUBSEQUENT_STATE_COUNT Role3 Self
MESSAGE_COUNT Message3
SUBSEQUENT_STATE_COUNT Message1 State2
CLASS_OPERATION_VISIBILITY Lifeline1 Role4
PTCP_OBJ_COUNT incoming
TRANSITION_COUNT OneState
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Role5 State3
STATE_COUNT State8
STATE_COUNT dup
INCOMING_MSG_COUNT Message2 oneLine
PTCP_OBJ_COUNT dup
MESSAGE_COUNT Role1
MESSAGE_COUNT State3
STATE_COUNT State2
STATE_COUNT init
STATE_COUNT oneLine
MESSAGE_COUNT Lifeline2
INCOMING_MSG_COUNT self dup
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT normal NoState
SUBSEQUENT_STATE_COUNT dup_name nutter
CLASS_OPERATION_COUNT dup RETURN
STATE_COUNT Message1
TRANSITION_COUNT Interaction1
TRANSITION_COUNT normal
TRANSITION_COUNT dup
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Role3 Normal
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT dup dup
CLASS_IMPLEMENT_INTERFACE_LIST oneLine
PTCP_OBJ_COUNT dup_inter
STATE_COUNT Role3
STATE_COUNT dup2
MESSAGE_COUNT dup
TRANSITION_COUNT Lifeline3
PTCP_OBJ_COUNT State3
TRANSITION_COUNT Role6
TRANSITION_COUNT nutter
PTCP_OBJ_COUNT State3
MESSAGE_COUNT State7
PTCP_OBJ_COUNT dup_inter
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline2 Role6
TRANSITION_COUNT init
TRANSITION_COUNT NoState
TRANSITION_COUNT dup2
TRANSITION_COUNT Lifeline1
STATE_COUNT dup
INCOMING_MSG_COUNT State3 nutter
TRANSITION_COUNT normal
STATE_COUNT self
TRANSITION_COUNT Role3
TRANSITION_COUNT State5
TRANSITION_COUNT Role4
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Role7 Message1
SUBSEQUENT_STATE_COUNT dup Message1
SUBSEQUENT_STATE_COUNT State2 OneState
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT Role1 Self
STATE_COUNT normal
TRANSITION_COUNT self
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT State3
SUBSEQUENT_STATE_COUNT incoming Role5
STATE_COUNT State1
STATE_COUNT dup_name
PTCP_OBJ_COUNT Self
STATE_COUNT Message1
CLASS_TOP_BASE State6
STATE_COUNT State3
STATE_COUNT init
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
SUBSEQUENT_STATE_COUNT State1 Lifeline2
SUBSEQUENT_STATE_COUNT State1 Lifeline1
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT Role3 oneLine
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Normal dup_inter
MESSAGE_COUNT same
STATE_COUNT Lifeline1
TRANSITION_COUNT State4
STATE_COUNT Role1
PTCP_OBJ_COUNT Lifeline2
MESSAGE_COUNT Interaction1
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State3 Role4
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT self Role8
TRANSITION_COUNT oneLine
TRANSITION_COUNT Normal
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT init
TRANSITION_COUNT Role1
STATE_COUNT Role7
PTCP_OBJ_COUNT Role6
STATE_COUNT normal
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT OneState Normal
TRANSITION_COUNT Role3
SUBSEQUENT_STATE_COUNT Lifeline1 Role2
MESSAGE_COUNT State1
STATE_COUNT self
SUBSEQUENT_STATE_COUNT init Role5
SUBSEQUENT_STATE_COUNT Role6 Message1
STATE_COUNT dup
STATE_COUNT Role1
STATE_COUNT dup
STATE_COUNT Role5
TRANSITION_COUNT Role4
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT State7 Message1
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT State3 dup
PTCP_OBJ_COUNT Role3
STATE_COUNT Message2
TRANSITION_COUNT State7
MESSAGE_COUNT same
TRANSITION_COUNT State6
INCOMING_MSG_COUNT init Lifeline1
TRANSITION_COUNT Role4
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role3 dup2
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline1 Role6
INCOMING_MSG_COUNT State4 Normal
SUBSEQUENT_STATE_COUNT incoming Message1
SUBSEQUENT_STATE_COUNT Role8 dup
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Lifeline1 Interaction1
TRANSITION_COUNT Lifeline1
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT State2 State1
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT Role1
SUBSEQUENT_STATE_COUNT NoState Role6
TRANSITION_COUNT Message1
STATE_COUNT Message1
INCOMING_MSG_COUNT Message2 Role8
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT Role1 Lifeline2
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT State2 init
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT dup State8
SUBSEQUENT_STATE_COUNT State3 Role1
STATE_COUNT dup_inter
STATE_COUNT NoState
PTCP_OBJ_COUNT same
STATE_COUNT self
TRANSITION_COUNT normal
MESSAGE_COUNT State5
INCOMING_MSG_COUNT Lifeline1 Message1
STATE_COUNT Lifeline1
CLASS_OPERATION_COUNT Role6 RETURN
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT State1 dup
SUBSEQUENT_STATE_COUNT State3 nutter
STATE_COUNT State7
TRANSITION_COUNT State8
TRANSITION_COUNT NoState
STATE_COUNT dup
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State2 Role2
INCOMING_MSG_COUNT incoming dup_name
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT NoState
STATE_COUNT normal
CLASS_INFO_HIDDEN OneState
CLASS_ATTR_VISIBILITY Interaction1 init
SUBSEQUENT_STATE_COUNT Role1 Role2
PTCP_OBJ_COUNT nutter
SUBSEQUENT_STATE_COUNT State3 dup2
TRANSITION_COUNT State6
STATE_COUNT Lifeline2
MESSAGE_COUNT State7
INCOMING_MSG_COUNT Lifeline3 State6
STATE_COUNT State2
TRANSITION_COUNT normal
PTCP_OBJ_COUNT Role7
SUBSEQUENT_STATE_COUNT Lifeline3 dup_name
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT State1 Lifeline1
CLASS_ASSO_CLASS_LIST dup
MESSAGE_COUNT dup
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT nutter Role2
STATE_COUNT Message3
TRANSITION_COUNT State2
STATE_COUNT State8
STATE_COUNT State2
MESSAGE_COUNT dup2
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role6 Role1
TRANSITION_COUNT Message3
TRANSITION_COUNT self
TRANSITION_COUNT State1
STATE_COUNT dup_name
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State7 Role6
SUBSEQUENT_STATE_COUNT Lifeline1 Message1
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT Message1
TRANSITION_COUNT dup
STATE_COUNT Role1
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT same Role8
PTCP_OBJ_COUNT Role6
INCOMING_MSG_COUNT Interaction1 State3
TRANSITION_COUNT dup
STATE_COUNT State4
INCOMING_MSG_COUNT dup normal
MESSAGE_COUNT Role1
STATE_COUNT State2
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT same
MESSAGE_COUNT dup_name
CLASS_OPERATION_VISIBILITY dup_name dup
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT OneState State3
PTCP_OBJ_COUNT nutter
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup2 normal
TRANSITION_COUNT dup
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Normal oneLine
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 State3
SUBSEQUENT_STATE_COUNT Lifeline2 self
PTCP_OBJ_COUNT Interaction1
TRANSITION_COUNT oneLine
INCOMING_MSG_COUNT State2 Lifeline1
SUBSEQUENT_STATE_COUNT dup nutter
SUBSEQUENT_STATE_COUNT State7 Role7
CLASS_ASSO_CLASS_LIST incoming
STATE_COUNT Role1
MESSAGE_COUNT Lifeline2
STATE_COUNT dup2
PTCP_OBJ_COUNT Role6
TRANSITION_COUNT incoming
STATE_COUNT Lifeline3
INCOMING_MSG_COUNT init dup
SUBSEQUENT_STATE_COUNT dup_name same
INCOMING_MSG_COUNT dup2 dup
SUBSEQUENT_STATE_COUNT State2 Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline2
STATE_COUNT State7
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT dup init
SUBSEQUENT_STATE_COUNT incoming State5
STATE_COUNT normal
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT State1
STATE_COUNT Interaction1
TRANSITION_COUNT dup
TRANSITION_COUNT State8
MESSAGE_COUNT State1
TRANSITION_COUNT Role1
STATE_COUNT Lifeline1
STATE_COUNT Role6
TRANSITION_COUNT Self
TRANSITION_COUNT State3
INCOMING_MSG_COUNT dup Role1
STATE_COUNT nutter
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT dup
TRANSITION_COUNT nutter
SUBSEQUENT_STATE_COUNT Normal Lifeline1
MESSAGE_COUNT Role8
SUBSEQUENT_STATE_COUNT dup2 init
TRANSITION_COUNT Lifeline1
STATE_COUNT oneLine
CLASS_OPERATION_VISIBILITY Message2 NoState
INCOMING_MSG_COUNT Message3 State1
INCOMING_MSG_COUNT OneState Role4
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role8 Role5
INCOMING_MSG_COUNT Role5 NoState
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT Lifeline2
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT OneState Role6
SUBSEQUENT_STATE_COUNT Lifeline1 dup_name
TRANSITION_COUNT dup_inter
INCOMING_MSG_COUNT Lifeline1 Interaction1
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup dup
INCOMING_MSG_COUNT Role6 Role5
SUBSEQUENT_STATE_COUNT Lifeline2 State1
SUBSEQUENT_STATE_COUNT Role8 Normal
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 Role3
TRANSITION_COUNT State2
TRANSITION_COUNT dup_name
TRANSITION_COUNT State8
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT normal Message3
STATE_COUNT State3
PTCP_OBJ_COUNT Message1
PTCP_OBJ_COUNT Role8
SUBSEQUENT_STATE_COUNT State2 Role4
TRANSITION_COUNT Message1
TRANSITION_COUNT Message3
TRANSITION_COUNT dup_name
MESSAGE_COUNT Message1
TRANSITION_COUNT Lifeline2
STATE_COUNT Role5
CLASS_OPERATION_VISIBILITY NoState Lifeline3
SUBSEQUENT_STATE_COUNT dup State5
TRANSITION_COUNT OneState
CLASS_TOP_BASE Role6
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State3
TRANSITION_COUNT dup2
STATE_COUNT State1
INCOMING_MSG_COUNT Message2 self
CLASS_IMPLEMENT_INTERFACE_LIST dup
SUBSEQUENT_STATE_COUNT dup_inter dup_name
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT State2 State1
SUBSEQUENT_STATE_COUNT self State7
TRANSITION_COUNT Normal
PTCP_OBJ_COUNT dup
STATE_COUNT Role7
TRANSITION_COUNT Message3
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT Message3 State6
SUBSEQUENT_STATE_COUNT OneState Role7
SUBSEQUENT_STATE_COUNT Message2 same
SUBSEQUENT_STATE_COUNT State4 dup_name
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT State6
TRANSITION_COUNT Message3
STATE_COUNT State7
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Message3 State5
STATE_COUNT Message1
PTCP_OBJ_COUNT State8
INCOMING_MSG_COUNT State1 State4
TRANSITION_COUNT same
STATE_COUNT State5
STATE_COUNT Role6
TRANSITION_COUNT State2
PTCP_OBJ_COUNT dup
TRANSITION_COUNT dup2
STATE_COUNT State3
STATE_COUNT Role1
INCOMING_MSG_COUNT dup State3
SUBSEQUENT_STATE_COUNT Role1 State2
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT dup dup_name
SUBSEQUENT_STATE_COUNT normal dup
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT Role5
MESSAGE_COUNT dup
INCOMING_MSG_COUNT dup2 Lifeline3
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT Interaction1 nutter
SUBSEQUENT_STATE_COUNT dup State1
SUBSEQUENT_STATE_COUNT State2 Role7
TRANSITION_COUNT Role7
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT dup State1
STATE_COUNT dup
TRANSITION_COUNT self
TRANSITION_COUNT State5
STATE_COUNT OneState
INCOMING_MSG_COUNT Message3 Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
SUBSEQUENT_STATE_COUNT dup Normal
MESSAGE_COUNT incoming
MESSAGE_COUNT Role6
INCOMING_MSG_COUNT normal dup
SUBSEQUENT_STATE_COUNT normal dup2
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
STATE_COUNT Message1
STATE_COUNT dup
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT State7 State8
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT dup2 State3
STATE_COUNT State5
MESSAGE_COUNT Role1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline3 dup_name
PTCP_OBJ_COUNT dup
TRANSITION_COUNT State6
SUBSEQUENT_STATE_COUNT State3 incoming
TRANSITION_COUNT dup
STATE_COUNT State4
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT dup normal
SUBSEQUENT_STATE_COUNT Role6 State5
INCOMING_MSG_COUNT init Lifeline1
STATE_COUNT Role2
TRANSITION_COUNT dup_name
TRANSITION_COUNT State3
STATE_COUNT dup
STATE_COUNT State3
STATE_COUNT State3
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT dup_name
TRANSITION_COUNT Role3
STATE_COUNT dup_inter
STATE_COUNT NoState
STATE_COUNT State1
PTCP_OBJ_COUNT Role8
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Role2 self
SUBSEQUENT_STATE_COUNT normal Self
SUBSEQUENT_STATE_COUNT dup Role8
TRANSITION_COUNT State8
INCOMING_MSG_COUNT dup_name State7
CLASS_COUNT
SUBSEQUENT_STATE_COUNT dup2 dup_name
SUBSEQUENT_STATE_COUNT incoming State7
TRANSITION_COUNT State2
MESSAGE_COUNT Normal
TRANSITION_COUNT same
TRANSITION_COUNT Role8
STATE_COUNT dup_inter
INCOMING_MSG_COUNT Role2 Role4
PTCP_OBJ_COUNT State3
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT State1
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Role1 State4
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT State2 dup2
MESSAGE_COUNT dup
CLASS_ASSO_CLASS_LIST dup
SUBSEQUENT_STATE_COUNT Interaction1 dup
INCOMING_MSG_COUNT dup State3
SUBSEQUENT_STATE_COUNT dup State1
TRANSITION_COUNT Role4
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT init init
PTCP_OBJ_COUNT Role7
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT Role5 dup2
SUBSEQUENT_STATE_COUNT Message2 State4
SUBSEQUENT_STATE_COUNT State4 Message3
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State3 Role6
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT Lifeline2
STATE_COUNT Normal
TRANSITION_COUNT incoming
TRANSITION_COUNT State3
PTCP_OBJ_COUNT Message3
STATE_COUNT Self
STATE_COUNT Message1
INCOMING_MSG_COUNT dup2 dup_name
INCOMING_MSG_COUNT Role6 dup
SUBSEQUENT_STATE_COUNT Normal State2
STATE_COUNT Lifeline1
STATE_COUNT State2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role5 State3
SUBSEQUENT_STATE_COUNT init Role1
TRANSITION_COUNT Role8
STATE_COUNT dup
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT dup Message1
PTCP_OBJ_COUNT dup
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State6 State5
SUBSEQUENT_STATE_COUNT oneLine Message2
TRANSITION_COUNT State1
STATE_COUNT State4
TRANSITION_COUNT State1
INCOMING_MSG_COUNT dup dup
STATE_COUNT State1
STATE_COUNT State2
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Message1 State2
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup init
CLASS_OPERATION_VISIBILITY dup Lifeline1
STATE_COUNT Interaction1
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT nutter normal
STATE_COUNT nutter
TRANSITION_COUNT Normal
STATE_COUNT Role5
STATE_COUNT dup
STATE_COUNT State6
SUBSEQUENT_STATE_COUNT dup_inter incoming
INCOMING_MSG_COUNT Lifeline2 Role2
TRANSITION_COUNT Role1
STATE_COUNT dup
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT Lifeline2
MESSAGE_COUNT State1
INCOMING_MSG_COUNT Lifeline2 dup_inter
TRANSITION_COUNT oneLine
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT State3 dup_name
TRANSITION_COUNT Interaction1
INCOMING_MSG_COUNT dup dup
STATE_COUNT dup
MESSAGE_COUNT Interaction1
MESSAGE_COUNT dup
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT Role2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State1 Role1
TRANSITION_COUNT Role2
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT Role1 Message3
PTCP_OBJ_COUNT State8
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Role7
INCOMING_MSG_COUNT State5 dup_name
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT Self
STATE_COUNT State8
PTCP_OBJ_COUNT oneLine
PTCP_OBJ_COUNT Role8
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT dup_name Normal
INCOMING_MSG_COUNT Lifeline3 State3
CLASS_TOP_BASE dup
STATE_COUNT dup
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT OneState Role6
SUBSEQUENT_STATE_COUNT State1 Lifeline2
STATE_COUNT dup2
STATE_COUNT dup2
STATE_COUNT incoming
STATE_COUNT Role8
STATE_COUNT State3
PTCP_OBJ_COUNT incoming
STATE_COUNT State3
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT Interaction1 dup2
SUBSEQUENT_STATE_COUNT Role5 Message2
TRANSITION_COUNT oneLine
TRANSITION_COUNT Role1
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT dup Role2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role6 State4
TRANSITION_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State3 State1
PTCP_OBJ_COUNT State2
TRANSITION_COUNT State7
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT Role1 State3
MESSAGE_COUNT Role6
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup State1
TRANSITION_COUNT same
MESSAGE_COUNT dup2
STATE_COUNT State2
TRANSITION_COUNT dup_name
TRANSITION_COUNT self
TRANSITION_COUNT nutter
SUBSEQUENT_STATE_COUNT dup2 Role1
SUBSEQUENT_STATE_COUNT dup NoState
STATE_COUNT Role5
MESSAGE_COUNT Lifeline3
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT State3 State1
SUBSEQUENT_STATE_COUNT State3 normal
TRANSITION_COUNT State6
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT dup2
TRANSITION_COUNT Role2
STATE_COUNT nutter
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Lifeline2 Role6
SUBSEQUENT_STATE_COUNT dup_inter Message1
MESSAGE_COUNT dup2
STATE_COUNT State3
TRANSITION_COUNT Lifeline2
STATE_COUNT Lifeline1
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup State8
CLASS_TOP_BASE State3
STATE_COUNT dup
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Message1 State3
MESSAGE_COUNT OneState
STATE_COUNT dup_name
STATE_COUNT oneLine
STATE_COUNT init
STATE_COUNT Role8
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT Role7 State1
TRANSITION_COUNT incoming
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT State2 same
STATE_COUNT NoState
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT State4 Role4
TRANSITION_COUNT dup
TRANSITION_COUNT Self
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT State1 NoState
STATE_COUNT dup_name
STATE_COUNT Role5
MESSAGE_COUNT Message1
TRANSITION_COUNT Role1
TRANSITION_COUNT dup_inter
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State2 State2
STATE_COUNT dup_inter
PTCP_OBJ_COUNT Lifeline3
INCOMING_MSG_COUNT Message3 State1
MESSAGE_COUNT normal
PTCP_OBJ_COUNT dup
STATE_COUNT Lifeline1
STATE_COUNT Role6
STATE_COUNT State4
MESSAGE_COUNT State1
TRANSITION_COUNT init
INCOMING_MSG_COUNT State3 OneState
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT Lifeline1 dup
STATE_COUNT State3
STATE_COUNT dup
STATE_COUNT State3
CLASS_INFO_HIDDEN Message3
TRANSITION_COUNT incoming
STATE_COUNT State3
STATE_COUNT init
SUBSEQUENT_STATE_COUNT State6 Interaction1
SUBSEQUENT_STATE_COUNT same Role1
TRANSITION_COUNT dup2
CLASS_INFO_HIDDEN dup_name
TRANSITION_COUNT State3
INCOMING_MSG_COUNT Role6 Lifeline1
STATE_COUNT Lifeline1
STATE_COUNT Role1
TRANSITION_COUNT same
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT self State7
SUBSEQUENT_STATE_COUNT nutter dup_inter
STATE_COUNT State6
SUBSEQUENT_STATE_COUNT init dup2
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Normal Self
STATE_COUNT Lifeline1
MESSAGE_COUNT dup
STATE_COUNT State1
TRANSITION_COUNT incoming
STATE_COUNT State1
STATE_COUNT dup_inter
CLASS_ATTR_VISIBILITY Role7 dup_name
SUBSEQUENT_STATE_COUNT dup Role4
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT State2
TRANSITION_COUNT OneState
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Message3 Lifeline1
TRANSITION_COUNT Self
TRANSITION_COUNT nutter
SUBSEQUENT_STATE_COUNT Role2 State1
TRANSITION_COUNT dup2
TRANSITION_COUNT Role2
TRANSITION_COUNT dup
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT Lifeline3
CLASS_OPERATION_COUNT State4 NON_PARAM
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State3 NoState
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT State1 same
SUBSEQUENT_STATE_COUNT State2 Self
INCOMING_MSG_COUNT oneLine nutter
SUBSEQUENT_STATE_COUNT NoState State8
TRANSITION_COUNT State3
TRANSITION_COUNT dup
INCOMING_MSG_COUNT dup_name Lifeline1
STATE_COUNT dup
TRANSITION_COUNT State3
TRANSITION_COUNT Lifeline1
CLASS_INFO_HIDDEN dup2
MESSAGE_COUNT Role7
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup Lifeline2
TRANSITION_COUNT Role6
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT State1 incoming
TRANSITION_COUNT dup_inter
TRANSITION_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline2
SUBSEQUENT_STATE_COUNT Role1 NoState
INCOMING_MSG_COUNT State3 dup_name
MESSAGE_COUNT Message2
TRANSITION_COUNT Role2
SUBSEQUENT_STATE_COUNT State1 dup
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State1 dup_name
MESSAGE_COUNT OneState
INCOMING_MSG_COUNT Message1 Lifeline3
TRANSITION_COUNT State7
STATE_COUNT init
STATE_COUNT Role8
MESSAGE_COUNT Role6
SUBSEQUENT_STATE_COUNT Message2 Interaction1
TRANSITION_COUNT Self
MESSAGE_COUNT same
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Interaction1
STATE_COUNT State1
INCOMING_MSG_COUNT State2 State2
INCOMING_MSG_COUNT Lifeline2 Role5
STATE_COUNT State8
TRANSITION_COUNT init
PTCP_OBJ_COUNT State5
TRANSITION_COUNT self
MESSAGE_COUNT normal
TRANSITION_COUNT OneState
SUBSEQUENT_STATE_COUNT Message1 Message2
STATE_COUNT dup
PTCP_OBJ_COUNT dup
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT State7 dup_name
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 Role1
SUBSEQUENT_STATE_COUNT nutter normal
INCOMING_MSG_COUNT dup Lifeline1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT Message2 normal
TRANSITION_COUNT oneLine
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT dup2
TRANSITION_COUNT Role1
STATE_COUNT Role2
MESSAGE_COUNT normal
MESSAGE_COUNT init
INCOMING_MSG_COUNT Message1 Message2
TRANSITION_COUNT dup_inter
STATE_COUNT State3
TRANSITION_COUNT dup2
INCOMING_MSG_COUNT OneState Lifeline1
INCOMING_MSG_COUNT Lifeline2 dup
TRANSITION_COUNT same
INCOMING_MSG_COUNT State5 OneState
SUBSEQUENT_STATE_COUNT dup NoState
STATE_COUNT OneState
STATE_COUNT dup
TRANSITION_COUNT self
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT dup dup_name
MESSAGE_COUNT Role3
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT Message1 incoming
INCOMING_MSG_COUNT State3 dup
PTCP_OBJ_COUNT Normal
CLASS_INFO_HIDDEN Lifeline1
STATE_COUNT Message1
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role8 normal
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT oneLine Role8
CLASS_ATTR_COUNT Message2 ALL
SUBSEQUENT_STATE_COUNT State4 dup_name
SUBSEQUENT_STATE_COUNT dup dup
INCOMING_MSG_COUNT Role4 dup
SUBSEQUENT_STATE_COUNT State6 State3
INCOMING_MSG_COUNT Role7 Role7
PTCP_OBJ_COUNT same
MESSAGE_COUNT State2
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT Self dup
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
PTCP_OBJ_COUNT OneState
TRANSITION_COUNT Self
CLASS_COUNT
STATE_COUNT same
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
MESSAGE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Lifeline1 Role1
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT oneLine State3
SUBSEQUENT_STATE_COUNT dup_name OneState
MESSAGE_COUNT OneState
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT dup oneLine
STATE_COUNT Role4
INCOMING_MSG_COUNT State6 State1
SUBSEQUENT_STATE_COUNT State4 State4
INCOMING_MSG_COUNT Lifeline1 State1
STATE_COUNT Self
TRANSITION_COUNT State8
TRANSITION_COUNT nutter
TRANSITION_COUNT dup2
TRANSITION_COUNT dup2
STATE_COUNT Interaction1
TRANSITION_COUNT incoming
INCOMING_MSG_COUNT Role7 Role1
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State3 dup
PTCP_OBJ_COUNT State4
SUBSEQUENT_STATE_COUNT dup2 Role4
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Message2
MESSAGE_COUNT State1
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT OneState OneState
SUBSEQUENT_STATE_COUNT Role7 State3
SUBSEQUENT_STATE_COUNT State3 dup
STATE_COUNT State2
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT Message2 Lifeline1
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT State2 OneState
PTCP_OBJ_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role6 Lifeline2
MESSAGE_COUNT Message3
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT NoState
INCOMING_MSG_COUNT dup2 Lifeline1
TRANSITION_COUNT State2
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT State8 State3
SUBSEQUENT_STATE_COUNT State1 State1
SUBSEQUENT_STATE_COUNT Normal self
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT dup_name Role4
SUBSEQUENT_STATE_COUNT Interaction1 State1
SUBSEQUENT_STATE_COUNT normal Lifeline2
STATE_COUNT State1
TRANSITION_COUNT Role8
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT incoming dup
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT dup Role1
INCOMING_MSG_COUNT State1 init
SUBSEQUENT_STATE_COUNT Role1 dup
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT dup OneState
PTCP_OBJ_COUNT State2
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT State2 Self
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT State2 Self
SUBSEQUENT_STATE_COUNT State3 nutter
STATE_COUNT Message1
CLASS_ASSO_COUNT Lifeline1
MESSAGE_COUNT State8
STATE_COUNT State8
CLASS_ASSO_COUNT dup_name
SUBSEQUENT_STATE_COUNT nutter Lifeline1
TRANSITION_COUNT Role8
STATE_COUNT State3
STATE_COUNT dup_name
MESSAGE_COUNT Lifeline3
STATE_COUNT dup_name
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Role7 dup_inter
MESSAGE_COUNT State1
PTCP_OBJ_COUNT Role4
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT Lifeline2 Role3
MESSAGE_COUNT Interaction1
TRANSITION_COUNT OneState
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT dup2
MESSAGE_COUNT State3
STATE_COUNT Message1
INCOMING_MSG_COUNT dup2 State2
MESSAGE_COUNT Role1
SUBSEQUENT_STATE_COUNT NoState Lifeline1
TRANSITION_COUNT Message1
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT dup_name Role8
SUBSEQUENT_STATE_COUNT oneLine same
SUBSEQUENT_STATE_COUNT State7 State7
STATE_COUNT Role5
TRANSITION_COUNT self
PTCP_OBJ_COUNT Lifeline3
TRANSITION_COUNT NoState
TRANSITION_COUNT Role4
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT dup Role3
TRANSITION_COUNT State2
INCOMING_MSG_COUNT incoming Role8
MESSAGE_COUNT Role1
INCOMING_MSG_COUNT Role8 Role1
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Lifeline1 normal
SUBSEQUENT_STATE_COUNT Normal Lifeline3
STATE_COUNT normal
MESSAGE_COUNT Message1
TRANSITION_COUNT same
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 State2
SUBSEQUENT_STATE_COUNT Role1 State3
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT State3 State2
PTCP_OBJ_COUNT same
STATE_COUNT dup_inter
TRANSITION_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Message2 Role5
TRANSITION_COUNT Lifeline1
STATE_COUNT dup
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT dup_inter dup
SUBSEQUENT_STATE_COUNT Lifeline3 Message3
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT Message3 Message2
STATE_COUNT incoming
TRANSITION_COUNT State4
TRANSITION_COUNT self
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT State7 dup
SUBSEQUENT_STATE_COUNT dup State5
PTCP_OBJ_COUNT Message2
INCOMING_MSG_COUNT Role3 dup
PTCP_OBJ_COUNT dup
STATE_COUNT Lifeline3
STATE_COUNT State2
TRANSITION_COUNT Message1
TRANSITION_COUNT dup
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT same dup
TRANSITION_COUNT Normal
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT NoState incoming
SUBSEQUENT_STATE_COUNT State2 Role1
STATE_COUNT Self
INCOMING_MSG_COUNT Role1 Lifeline1
SUBSEQUENT_STATE_COUNT dup State2
STATE_COUNT Lifeline2
MESSAGE_COUNT State1
CLASS_ASSO_CLASS_LIST Message1
SUBSEQUENT_STATE_COUNT Role5 State1
TRANSITION_COUNT State2
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT State3 oneLine
SUBSEQUENT_STATE_COUNT init NoState
SUBSEQUENT_STATE_COUNT Lifeline3 Role1
SUBSEQUENT_STATE_COUNT Normal State3
TRANSITION_COUNT dup2
TRANSITION_COUNT Role8
MESSAGE_COUNT Lifeline3
TRANSITION_COUNT Role4
INCOMING_MSG_COUNT State7 OneState
TRANSITION_COUNT dup_inter
PTCP_OBJ_COUNT Lifeline3
TRANSITION_COUNT Lifeline1
STATE_COUNT State1
STATE_COUNT Message2
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Interaction1 State3
STATE_COUNT normal
TRANSITION_COUNT Role3
INCOMING_MSG_COUNT Role4 dup2
TRANSITION_COUNT init
STATE_COUNT State2
STATE_COUNT init
STATE_COUNT Role7
TRANSITION_COUNT Role6
TRANSITION_COUNT self
STATE_COUNT dup_name
INCOMING_MSG_COUNT Lifeline1 State3
STATE_COUNT Role3
INCOMING_MSG_COUNT State2 normal
STATE_COUNT Role1
TRANSITION_COUNT State3
TRANSITION_COUNT State7
INCOMING_MSG_COUNT init dup
STATE_COUNT Message2
STATE_COUNT Normal
STATE_COUNT State4
TRANSITION_COUNT dup_inter
TRANSITION_COUNT Self
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Interaction1 same
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT dup dup
MESSAGE_COUNT dup2
STATE_COUNT Role2
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT State6
TRANSITION_COUNT self
INCOMING_MSG_COUNT normal dup
SUBSEQUENT_STATE_COUNT oneLine normal
SUBSEQUENT_STATE_COUNT Lifeline3 dup
PTCP_OBJ_COUNT dup_inter
INCOMING_MSG_COUNT State1 Lifeline1
CLASS_INFO_HIDDEN same
INCOMING_MSG_COUNT Role5 init
STATE_COUNT State1
MESSAGE_COUNT Role2
TRANSITION_COUNT Role1
TRANSITION_COUNT Lifeline2
STATE_COUNT dup
TRANSITION_COUNT OneState
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 Normal
TRANSITION_COUNT Lifeline2
CLASS_IMPLEMENT_INTERFACE_LIST Lifeline1
MESSAGE_COUNT dup2
TRANSITION_COUNT Role1
STATE_COUNT nutter
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State1 dup_inter
SUBSEQUENT_STATE_COUNT State1 Message1
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT dup State2
STATE_COUNT Role5
INCOMING_MSG_COUNT Message1 Role7
STATE_COUNT Interaction1
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT dup Lifeline3
MESSAGE_COUNT dup
INCOMING_MSG_COUNT dup Role8
STATE_COUNT dup_inter
STATE_COUNT Role6
PTCP_OBJ_COUNT Lifeline1
PTCP_OBJ_COUNT same
TRANSITION_COUNT State3
STATE_COUNT NoState
INCOMING_MSG_COUNT State1 Role8
PTCP_OBJ_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Role1 dup
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT nutter Role1
SUBSEQUENT_STATE_COUNT dup_name Normal
INCOMING_MSG_COUNT Role8 dup2
SUBSEQUENT_STATE_COUNT Role1 same
PTCP_OBJ_COUNT dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
STATE_COUNT dup
TRANSITION_COUNT State8
TRANSITION_COUNT Role6
INCOMING_MSG_COUNT init State5
INCOMING_MSG_COUNT Lifeline1 Role5
STATE_COUNT State1
TRANSITION_COUNT oneLine
MESSAGE_COUNT nutter
STATE_COUNT Role2
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT dup init
INCOMING_MSG_COUNT Message1 Role1
STATE_COUNT dup2
TRANSITION_COUNT normal
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT dup Lifeline2
SUBSEQUENT_STATE_COUNT Role6 dup
TRANSITION_COUNT Interaction1
TRANSITION_COUNT dup
STATE_COUNT dup_name
INCOMING_MSG_COUNT State2 dup
STATE_COUNT State3
PTCP_OBJ_COUNT State1
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT Self Role1
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT Lifeline1 nutter
INCOMING_MSG_COUNT dup_name Role7
STATE_COUNT incoming
STATE_COUNT incoming
TRANSITION_COUNT Lifeline1
STATE_COUNT dup_inter
STATE_COUNT Message1
TRANSITION_COUNT Role5
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline3 Interaction1
SUBSEQUENT_STATE_COUNT State2 dup_name
STATE_COUNT Lifeline3
PTCP_OBJ_COUNT Message3
SUBSEQUENT_STATE_COUNT State2 Lifeline2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State2 Lifeline1
CLASS_OPERATION_VISIBILITY Role3 init
STATE_COUNT Role3
TRANSITION_COUNT State7
INCOMING_MSG_COUNT oneLine State5
STATE_COUNT Role3
TRANSITION_COUNT State3
STATE_COUNT State8
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup_name incoming
SUBSEQUENT_STATE_COUNT dup Role1
SUBSEQUENT_STATE_COUNT State1 Message1
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline2
STATE_COUNT State1
INCOMING_MSG_COUNT State1 State4
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT normal
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT Role1 Role4
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT incoming Lifeline1
STATE_COUNT nutter
SUBSEQUENT_STATE_COUNT Message1 Role3
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT State7 dup
SUBSEQUENT_STATE_COUNT State3 dup
SUBSEQUENT_STATE_COUNT Role7 State8
SUBSEQUENT_STATE_COUNT Lifeline1 dup_name
SUBSEQUENT_STATE_COUNT State2 Role1
SUBSEQUENT_STATE_COUNT same State2
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Self Lifeline3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State3 self
MESSAGE_COUNT Interaction1
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT dup
TRANSITION_COUNT NoState
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT Message2 Role6
PTCP_OBJ_COUNT State7
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State3 self
INCOMING_MSG_COUNT State2 normal
CLASS_TOP_BASE same
SUBSEQUENT_STATE_COUNT Role7 Normal
STATE_COUNT Lifeline3
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Message1 Lifeline2
SUBSEQUENT_STATE_COUNT Message3 init
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Self Lifeline1
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT State8
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT State1 Message3
STATE_COUNT State2
TRANSITION_COUNT State3
CLASS_OPERATION_COUNT init PARAM
STATE_COUNT dup_name
STATE_COUNT State2
TRANSITION_COUNT dup
TRANSITION_COUNT State6
TRANSITION_COUNT State3
PTCP_OBJ_COUNT State6
TRANSITION_COUNT self
STATE_COUNT OneState
MESSAGE_COUNT State1
TRANSITION_COUNT dup2
TRANSITION_COUNT Lifeline3
INCOMING_MSG_COUNT dup Lifeline1
STATE_COUNT State1
INCOMING_MSG_COUNT normal Interaction1
PTCP_OBJ_COUNT State7
SUBSEQUENT_STATE_COUNT State1 Role1
INCOMING_MSG_COUNT Lifeline1 Lifeline1
SUBSEQUENT_STATE_COUNT State7 dup
STATE_COUNT Lifeline2
TRANSITION_COUNT State2
STATE_COUNT Lifeline3
MESSAGE_COUNT dup2
TRANSITION_COUNT Message2
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT Lifeline2 State3
STATE_COUNT Message3
STATE_COUNT self
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT normal
SUBSEQUENT_STATE_COUNT Role5 State2
TRANSITION_COUNT State5
PTCP_OBJ_COUNT normal
SUBSEQUENT_STATE_COUNT Message1 State3
SUBSEQUENT_STATE_COUNT State5 State5
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT Role5 dup
STATE_COUNT Role1
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 NoState
SUBSEQUENT_STATE_COUNT Normal State2
PTCP_OBJ_COUNT dup
STATE_COUNT init
SUBSEQUENT_STATE_COUNT init State4
TRANSITION_COUNT NoState
STATE_COUNT NoState
PTCP_OBJ_COUNT dup
CLASS_IMPLEMENT_INTERFACE_LIST dup_name
INCOMING_MSG_COUNT State1 dup
SUBSEQUENT_STATE_COUNT dup Lifeline1
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT Message2 Role1
SUBSEQUENT_STATE_COUNT same State3
SUBSEQUENT_STATE_COUNT dup_name Message3
STATE_COUNT State5
STATE_COUNT dup_inter
CLASS_OPERATION_COUNT OneState NON_RETURN
TRANSITION_COUNT nutter
TRANSITION_COUNT dup
TRANSITION_COUNT normal
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT State1
MESSAGE_COUNT State1
INCOMING_MSG_COUNT Role1 Interaction1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT init State7
SUBSEQUENT_STATE_COUNT State1 Message3
STATE_COUNT Role8
CLASS_OPERATION_VISIBILITY self Role4
INCOMING_MSG_COUNT dup_name State3
SUBSEQUENT_STATE_COUNT normal init
STATE_COUNT Lifeline2
STATE_COUNT Role6
STATE_COUNT State8
INCOMING_MSG_COUNT same State1
MESSAGE_COUNT oneLine
STATE_COUNT Interaction1
TRANSITION_COUNT Interaction1
STATE_COUNT Lifeline3
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 State1
SUBSEQUENT_STATE_COUNT incoming dup2
TRANSITION_COUNT State2
MESSAGE_COUNT self
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT oneLine dup_name
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT State3 State1
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT Message3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT dup State2
CLASS_ASSO_CLASS_LIST State3
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT dup2
TRANSITION_COUNT self
TRANSITION_COUNT oneLine
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role1 init
SUBSEQUENT_STATE_COUNT self Role1
TRANSITION_COUNT normal
STATE_COUNT oneLine
TRANSITION_COUNT Role7
STATE_COUNT State2
STATE_COUNT State1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT dup2
TRANSITION_COUNT State7
STATE_COUNT Message1
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State2 dup2
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT State3 init
MESSAGE_COUNT init
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT State6
STATE_COUNT self
SUBSEQUENT_STATE_COUNT OneState Lifeline3
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT NoState State1
SUBSEQUENT_STATE_COUNT dup2 dup_name
TRANSITION_COUNT normal
INCOMING_MSG_COUNT Role6 Lifeline1
MESSAGE_COUNT Lifeline3
PTCP_OBJ_COUNT State2
CLASS_COUNT
TRANSITION_COUNT dup
MESSAGE_COUNT Message1
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT dup2 Lifeline1
PTCP_OBJ_COUNT self
SUBSEQUENT_STATE_COUNT Normal State1
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
MESSAGE_COUNT incoming
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT State8 dup
STATE_COUNT dup
STATE_COUNT dup_name
PTCP_OBJ_COUNT State2
CLASS_COUNT
TRANSITION_COUNT State2
TRANSITION_COUNT Message2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Lifeline1 State7
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup dup2
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT Role6 dup_name
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role6 oneLine
TRANSITION_COUNT dup
STATE_COUNT State3
TRANSITION_COUNT incoming
STATE_COUNT dup
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT Lifeline1 Role1
MESSAGE_COUNT Role4
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup same
SUBSEQUENT_STATE_COUNT Role6 NoState
TRANSITION_COUNT Role1
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT Role5 State1
INCOMING_MSG_COUNT dup_inter Lifeline2
SUBSEQUENT_STATE_COUNT Role8 Lifeline2
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT normal same
TRANSITION_COUNT Role2
SUBSEQUENT_STATE_COUNT dup2 Interaction1
TRANSITION_COUNT Role1
STATE_COUNT State3
STATE_COUNT dup
TRANSITION_COUNT dup2
TRANSITION_COUNT State2
MESSAGE_COUNT State2
TRANSITION_COUNT State8
CLASS_ATTR_COUNT Lifeline2 SELF_ONLY
SUBSEQUENT_STATE_COUNT Lifeline1 dup_name
TRANSITION_COUNT NoState
INCOMING_MSG_COUNT dup Lifeline1
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT dup State7
TRANSITION_COUNT State3
PTCP_OBJ_COUNT Lifeline2
CLASS_OPERATION_VISIBILITY Role2 State8
TRANSITION_COUNT State2
STATE_COUNT State1
TRANSITION_COUNT Role1
MESSAGE_COUNT dup_inter
MESSAGE_COUNT normal
INCOMING_MSG_COUNT State1 Message1
SUBSEQUENT_STATE_COUNT Role2 OneState
INCOMING_MSG_COUNT State3 Message2
STATE_COUNT State3
MESSAGE_COUNT nutter
SUBSEQUENT_STATE_COUNT init Role2
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Message1 normal
STATE_COUNT State3
PTCP_OBJ_COUNT State3
INCOMING_MSG_COUNT dup2 State7
STATE_COUNT State6
CLASS_OPERATION_VISIBILITY nutter dup_name
TRANSITION_COUNT oneLine
STATE_COUNT Role7
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT incoming Lifeline3
STATE_COUNT incoming
STATE_COUNT Message3
PTCP_OBJ_COUNT Lifeline2
TRANSITION_COUNT Message2
INCOMING_MSG_COUNT State4 dup
INCOMING_MSG_COUNT State2 Lifeline1
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT same Lifeline1
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Role7 State3
PTCP_OBJ_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State2 dup
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT NoState Interaction1
SUBSEQUENT_STATE_COUNT dup2 init
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT incoming Message1
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT State2
CLASS_COUNT
STATE_COUNT State1
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT Lifeline3 Role6
STATE_COUNT oneLine
STATE_COUNT Role4
INCOMING_MSG_COUNT normal dup
PTCP_OBJ_COUNT State5
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT same
TRANSITION_COUNT Message2
CLASS_INFO_HIDDEN Role5
STATE_COUNT State4
STATE_COUNT oneLine
STATE_COUNT State5
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT normal
INCOMING_MSG_COUNT init dup
TRANSITION_COUNT Message3
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT Self Role6
STATE_COUNT State2
CLASS_TOP_BASE Message2
MESSAGE_COUNT Role6
TRANSITION_COUNT Normal
TRANSITION_COUNT Role6
TRANSITION_COUNT State6
INCOMING_MSG_COUNT State2 State1
TRANSITION_COUNT State3
PTCP_OBJ_COUNT State7
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT State3 dup
MESSAGE_COUNT Role4
TRANSITION_COUNT dup
STATE_COUNT init
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT Lifeline2
STATE_COUNT State3
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State5 NoState
SUBSEQUENT_STATE_COUNT normal State4
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT Message3 Normal
CLASS_ASSO_CLASS_LIST Message2
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT incoming dup2
TRANSITION_COUNT nutter
SUBSEQUENT_STATE_COUNT nutter State2
STATE_COUNT Lifeline1
STATE_COUNT dup2
STATE_COUNT NoState
PTCP_OBJ_COUNT State5
SUBSEQUENT_STATE_COUNT State6 State2
TRANSITION_COUNT self
SUBSEQUENT_STATE_COUNT State1 Role5
STATE_COUNT same
INCOMING_MSG_COUNT Role1 self
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT same nutter
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT Role8 Lifeline1
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT State8 Role1
SUBSEQUENT_STATE_COUNT State6 Message2
SUBSEQUENT_STATE_COUNT Self normal
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT Lifeline3
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT Lifeline2 dup
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT Lifeline2 Role5
CLASS_TOP_BASE State1
STATE_COUNT same
INCOMING_MSG_COUNT NoState Role2
CLASS_ASSO_CLASS_LIST Lifeline3
INCOMING_MSG_COUNT Role3 incoming
INCOMING_MSG_COUNT nutter nutter
INCOMING_MSG_COUNT State7 Interaction1
TRANSITION_COUNT dup_inter
PTCP_OBJ_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 State6
TRANSITION_COUNT NoState
STATE_COUNT nutter
TRANSITION_COUNT dup_name
STATE_COUNT State5
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 same
SUBSEQUENT_STATE_COUNT self Role2
SUBSEQUENT_STATE_COUNT self Interaction1
STATE_COUNT Role8
TRANSITION_COUNT Interaction1
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT OneState Role1
STATE_COUNT Message1
MESSAGE_COUNT State4
MESSAGE_COUNT same
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline2 incoming
SUBSEQUENT_STATE_COUNT dup2 incoming
STATE_COUNT dup_inter
INCOMING_MSG_COUNT Role1 Role3
STATE_COUNT Role3
STATE_COUNT Lifeline3
STATE_COUNT Role1
STATE_COUNT Self
MESSAGE_COUNT dup_inter
TRANSITION_COUNT dup
STATE_COUNT State2
STATE_COUNT Lifeline1
TRANSITION_COUNT dup_name
STATE_COUNT Role8
STATE_COUNT Role1
STATE_COUNT Role7
STATE_COUNT State3
STATE_COUNT Role1
STATE_COUNT init
SUBSEQUENT_STATE_COUNT State6 State2
TRANSITION_COUNT State4
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT oneLine State1
TRANSITION_COUNT Message2
CLASS_ASSO_CLASS_LIST Role4
CLASS_OPERATION_VISIBILITY State1 Role7
TRANSITION_COUNT State1
INCOMING_MSG_COUNT State1 State7
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT Normal State2
SUBSEQUENT_STATE_COUNT Lifeline2 Role6
TRANSITION_COUNT oneLine
PTCP_OBJ_COUNT State1
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT dup State2
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT self
MESSAGE_COUNT normal
STATE_COUNT Message2
TRANSITION_COUNT init
TRANSITION_COUNT Role4
INCOMING_MSG_COUNT incoming State8
INCOMING_MSG_COUNT Lifeline1 Role3
INCOMING_MSG_COUNT Role7 State1
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT dup_name
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT State2 Lifeline2
STATE_COUNT Normal
TRANSITION_COUNT dup
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Message3 nutter
INCOMING_MSG_COUNT Message3 nutter
STATE_COUNT Message2
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT State3 State5
MESSAGE_COUNT dup2
INCOMING_MSG_COUNT State3 Lifeline1
CLASS_COUNT
TRANSITION_COUNT dup
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Message1 Message1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT dup2 Role4
STATE_COUNT dup_name
INCOMING_MSG_COUNT Role8 Self
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT State2
MESSAGE_COUNT State2
TRANSITION_COUNT Role5
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT Role5 Lifeline3
SUBSEQUENT_STATE_COUNT init State3
TRANSITION_COUNT dup
INCOMING_MSG_COUNT State5 self
TRANSITION_COUNT Message3
STATE_COUNT Interaction1
TRANSITION_COUNT State1
STATE_COUNT Normal
STATE_COUNT State1
INCOMING_MSG_COUNT init dup
STATE_COUNT State8
STATE_COUNT Role6
TRANSITION_COUNT dup_name
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT Interaction1 self
SUBSEQUENT_STATE_COUNT Lifeline1 Role2
STATE_COUNT same
STATE_COUNT same
PTCP_OBJ_COUNT Message2
SUBSEQUENT_STATE_COUNT Message1 dup
SUBSEQUENT_STATE_COUNT Role4 dup
CLASS_ATTR_VISIBILITY init Role2
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT State5 NoState
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role4 Role2
PTCP_OBJ_COUNT Lifeline2
TRANSITION_COUNT same
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State6 dup
STATE_COUNT Normal
TRANSITION_COUNT Message3
INCOMING_MSG_COUNT Role1 Lifeline1
SUBSEQUENT_STATE_COUNT State1 Role8
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Message1 Lifeline2
SUBSEQUENT_STATE_COUNT State6 State2
SUBSEQUENT_STATE_COUNT OneState Message3
TRANSITION_COUNT State1
TRANSITION_COUNT State6
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT Lifeline1 Message2
SUBSEQUENT_STATE_COUNT Lifeline1 NoState
SUBSEQUENT_STATE_COUNT Lifeline3 Role4
SUBSEQUENT_STATE_COUNT incoming State2
TRANSITION_COUNT incoming
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State1 dup
PTCP_OBJ_COUNT State3
MESSAGE_COUNT Self
PTCP_OBJ_COUNT dup
CLASS_INFO_HIDDEN Message3
SUBSEQUENT_STATE_COUNT nutter Lifeline1
STATE_COUNT Role4
INCOMING_MSG_COUNT Lifeline3 Normal
STATE_COUNT Normal
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT incoming Normal
STATE_COUNT Message2
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 State1
SUBSEQUENT_STATE_COUNT same Role1
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT dup dup2
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Role4 Role5
SUBSEQUENT_STATE_COUNT State1 Role7
STATE_COUNT State4
STATE_COUNT State3
STATE_COUNT dup
TRANSITION_COUNT Role5
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State7 dup2
CLASS_OPERATION_COUNT Lifeline1 NON_RETURN
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT Role6 Message3
TRANSITION_COUNT State1
STATE_COUNT Message1
TRANSITION_COUNT dup
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role1 Lifeline1
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT dup_name State2
STATE_COUNT Message2
SUBSEQUENT_STATE_COUNT dup Role8
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline2 Message2
SUBSEQUENT_STATE_COUNT State2 dup_inter
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT Message3
TRANSITION_COUNT dup
TRANSITION_COUNT Role2
INCOMING_MSG_COUNT Lifeline3 State3
TRANSITION_COUNT State1
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT State3
PTCP_OBJ_COUNT oneLine
SUBSEQUENT_STATE_COUNT State1 State1
TRANSITION_COUNT dup
STATE_COUNT dup_name
MESSAGE_COUNT State4
TRANSITION_COUNT Role8
INCOMING_MSG_COUNT Message1 State2
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Lifeline2 Role8
INCOMING_MSG_COUNT NoState dup2
MESSAGE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State4 same
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT Role7 dup_name
PTCP_OBJ_COUNT Lifeline2
MESSAGE_COUNT init
STATE_COUNT Message1
TRANSITION_COUNT State5
STATE_COUNT Role8
SUBSEQUENT_STATE_COUNT init dup_name
TRANSITION_COUNT State2
TRANSITION_COUNT Role1
TRANSITION_COUNT Message3
TRANSITION_COUNT Role4
TRANSITION_COUNT self
SUBSEQUENT_STATE_COUNT OneState Message3
SUBSEQUENT_STATE_COUNT OneState Message3
STATE_COUNT dup2
TRANSITION_COUNT Message3
STATE_COUNT Message1
TRANSITION_COUNT NoState
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT Role1 dup2
TRANSITION_COUNT Lifeline2
STATE_COUNT State1
TRANSITION_COUNT Message1
STATE_COUNT init
SUBSEQUENT_STATE_COUNT oneLine State3
SUBSEQUENT_STATE_COUNT dup_inter NoState
INCOMING_MSG_COUNT dup Lifeline1
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup dup2
TRANSITION_COUNT Message3
SUBSEQUENT_STATE_COUNT State8 Role1
TRANSITION_COUNT dup_inter
MESSAGE_COUNT Self
TRANSITION_COUNT Role2
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT Role7 dup2
SUBSEQUENT_STATE_COUNT normal NoState
TRANSITION_COUNT Interaction1
STATE_COUNT State3
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Role7 Lifeline2
STATE_COUNT dup_name
TRANSITION_COUNT Role8
STATE_COUNT self
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT init dup2
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT Message1
MESSAGE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Lifeline1 init
SUBSEQUENT_STATE_COUNT dup2 State3
STATE_COUNT Role6
TRANSITION_COUNT Message1
TRANSITION_COUNT Role7
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT dup_name
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT init Role1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 State2
INCOMING_MSG_COUNT init Role7
SUBSEQUENT_STATE_COUNT dup State4
SUBSEQUENT_STATE_COUNT Lifeline2 State1
TRANSITION_COUNT State1
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT dup_name Role2
STATE_COUNT init
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State4 Message1
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Lifeline1 Role8
TRANSITION_COUNT dup
MESSAGE_COUNT dup_inter
CLASS_ATTR_VISIBILITY Message1 OneState
SUBSEQUENT_STATE_COUNT Lifeline3 Message1
STATE_COUNT normal
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline2 dup
SUBSEQUENT_STATE_COUNT State2 State4
PTCP_OBJ_COUNT Message1
STATE_COUNT init
SUBSEQUENT_STATE_COUNT dup2 Self
INCOMING_MSG_COUNT Lifeline1 dup
TRANSITION_COUNT State2
STATE_COUNT State2
STATE_COUNT nutter
INCOMING_MSG_COUNT Role3 State7
SUBSEQUENT_STATE_COUNT Role6 dup
INCOMING_MSG_COUNT State5 State6
TRANSITION_COUNT init
TRANSITION_COUNT init
STATE_COUNT incoming
MESSAGE_COUNT State1
TRANSITION_COUNT State6
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT Message1 Role6
SUBSEQUENT_STATE_COUNT dup oneLine
SUBSEQUENT_STATE_COUNT Role6 dup
SUBSEQUENT_STATE_COUNT nutter Role6
TRANSITION_COUNT State3
PTCP_OBJ_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 State5
CLASS_TOP_BASE nutter
TRANSITION_COUNT Role6
MESSAGE_COUNT State3
PTCP_OBJ_COUNT State1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role3 dup_name
TRANSITION_COUNT dup_name
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role2 State1
TRANSITION_COUNT dup
TRANSITION_COUNT Role8
MESSAGE_COUNT Lifeline2
STATE_COUNT dup
TRANSITION_COUNT Role6
INCOMING_MSG_COUNT Message3 Role2
STATE_COUNT nutter
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT State6 dup_name
MESSAGE_COUNT Interaction1
STATE_COUNT Lifeline1
STATE_COUNT dup_name
STATE_COUNT State3
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT Role4 State8
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT State5 dup_inter
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT dup Self
TRANSITION_COUNT same
INCOMING_MSG_COUNT Role8 Lifeline2
SUBSEQUENT_STATE_COUNT Role7 State5
SUBSEQUENT_STATE_COUNT dup State2
PTCP_OBJ_COUNT Message3
CLASS_ASSO_COUNT Interaction1
SUBSEQUENT_STATE_COUNT oneLine OneState
MESSAGE_COUNT NoState
CLASS_ATTR_VISIBILITY same dup_name
STATE_COUNT dup2
PTCP_OBJ_COUNT Interaction1
TRANSITION_COUNT Message1
TRANSITION_COUNT State1
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT init Role5
TRANSITION_COUNT Message2
CLASS_COUNT
TRANSITION_COUNT Lifeline1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State2 State8
SUBSEQUENT_STATE_COUNT oneLine dup
SUBSEQUENT_STATE_COUNT Role7 OneState
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT same Lifeline1
MESSAGE_COUNT self
TRANSITION_COUNT incoming
MESSAGE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Lifeline2 State3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline2 OneState
STATE_COUNT Message3
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup Message2
SUBSEQUENT_STATE_COUNT incoming dup_name
PTCP_OBJ_COUNT dup_name
MESSAGE_COUNT Normal
STATE_COUNT State4
PTCP_OBJ_COUNT incoming
SUBSEQUENT_STATE_COUNT State1 State4
INCOMING_MSG_COUNT State7 dup_inter
SUBSEQUENT_STATE_COUNT State4 State8
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT Message1 Role5
TRANSITION_COUNT init
STATE_COUNT State3
STATE_COUNT self
STATE_COUNT State4
PTCP_OBJ_COUNT Message1
MESSAGE_COUNT Role3
INCOMING_MSG_COUNT dup Message2
PTCP_OBJ_COUNT State3
INCOMING_MSG_COUNT Lifeline1 dup
TRANSITION_COUNT Role6
TRANSITION_COUNT State8
PTCP_OBJ_COUNT init
STATE_COUNT dup2
INCOMING_MSG_COUNT State4 State1
SUBSEQUENT_STATE_COUNT Role1 dup
TRANSITION_COUNT State3
TRANSITION_COUNT State8
PTCP_OBJ_COUNT Message2
STATE_COUNT dup
PTCP_OBJ_COUNT Role5
CLASS_ASSO_COUNT Role8
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT State4 Lifeline2
STATE_COUNT State1
MESSAGE_COUNT dup
TRANSITION_COUNT Role1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role1 Message3
STATE_COUNT State3
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT State3 dup
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT Self self
INCOMING_MSG_COUNT Lifeline1 init
STATE_COUNT Role7
TRANSITION_COUNT State4
STATE_COUNT Lifeline3
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline2 NoState
SUBSEQUENT_STATE_COUNT State2 Normal
STATE_COUNT Role1
MESSAGE_COUNT dup
PTCP_OBJ_COUNT State2
STATE_COUNT State1
STATE_COUNT normal
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT Role6 State3
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT incoming State5
INCOMING_MSG_COUNT init Lifeline2
MESSAGE_COUNT Message1
TRANSITION_COUNT Normal
PTCP_OBJ_COUNT nutter
TRANSITION_COUNT Normal
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT Role4 Message1
STATE_COUNT State1
TRANSITION_COUNT State2
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT dup2 dup_name
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT Role6 dup
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT dup_name Role3
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT Role2 Role1
SUBSEQUENT_STATE_COUNT Role6 Message2
SUBSEQUENT_STATE_COUNT normal same
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT dup_name Role2
SUBSEQUENT_STATE_COUNT Message1 dup
SUBSEQUENT_STATE_COUNT Role1 dup
STATE_COUNT incoming
STATE_COUNT nutter
TRANSITION_COUNT State2
STATE_COUNT Role6
TRANSITION_COUNT dup_name
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline3 oneLine
INCOMING_MSG_COUNT nutter Lifeline2
TRANSITION_COUNT State1
STATE_COUNT State2
TRANSITION_COUNT dup
MESSAGE_COUNT oneLine
MESSAGE_COUNT Role4
SUBSEQUENT_STATE_COUNT Normal Role6
STATE_COUNT State3
STATE_COUNT Role6
STATE_COUNT State4
TRANSITION_COUNT dup2
MESSAGE_COUNT Lifeline1
STATE_COUNT Lifeline3
MESSAGE_COUNT State2
TRANSITION_COUNT init
TRANSITION_COUNT Lifeline1
STATE_COUNT Lifeline1
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role4 OneState
TRANSITION_COUNT Interaction1
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline1 Self
SUBSEQUENT_STATE_COUNT State8 Lifeline1
INCOMING_MSG_COUNT State3 Role5
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT normal Lifeline1
STATE_COUNT same
TRANSITION_COUNT Lifeline1
STATE_COUNT Message2
CLASS_TOP_BASE State8
SUBSEQUENT_STATE_COUNT Self OneState
INCOMING_MSG_COUNT dup dup
STATE_COUNT Normal
MESSAGE_COUNT dup_inter
INCOMING_MSG_COUNT State1 State2
CLASS_TOP_BASE Normal
SUBSEQUENT_STATE_COUNT State8 State3
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup Message2
INCOMING_MSG_COUNT dup2 normal
PTCP_OBJ_COUNT Role2
TRANSITION_COUNT init
STATE_COUNT dup2
INCOMING_MSG_COUNT dup normal
CLASS_IMPLEMENT_INTERFACE_LIST State7
STATE_COUNT Role4
STATE_COUNT State1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State2 Role1
SUBSEQUENT_STATE_COUNT State1 dup
INCOMING_MSG_COUNT State1 Lifeline3
INCOMING_MSG_COUNT dup State7
SUBSEQUENT_STATE_COUNT Role7 State1
SUBSEQUENT_STATE_COUNT Lifeline1 State4
TRANSITION_COUNT State2
TRANSITION_COUNT dup_inter
STATE_COUNT dup
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Role6
STATE_COUNT State3
STATE_COUNT State3
STATE_COUNT State1
TRANSITION_COUNT incoming
INCOMING_MSG_COUNT OneState NoState
SUBSEQUENT_STATE_COUNT Lifeline3 Message1
TRANSITION_COUNT dup_name
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup Normal
STATE_COUNT Role1
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT Role7
TRANSITION_COUNT dup
TRANSITION_COUNT State7
TRANSITION_COUNT incoming
TRANSITION_COUNT incoming
STATE_COUNT dup
STATE_COUNT dup2
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT dup State1
TRANSITION_COUNT Role1
CLASS_COUNT
TRANSITION_COUNT nutter
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT init Lifeline2
TRANSITION_COUNT State3
PTCP_OBJ_COUNT Message2
TRANSITION_COUNT Role3
SUBSEQUENT_STATE_COUNT State3 dup_name
TRANSITION_COUNT Role5
STATE_COUNT State2
TRANSITION_COUNT Message3
MESSAGE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role4 dup
INCOMING_MSG_COUNT State7 dup
SUBSEQUENT_STATE_COUNT incoming Role8
TRANSITION_COUNT State6
TRANSITION_COUNT init
PTCP_OBJ_COUNT State2
TRANSITION_COUNT Message1
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT init Message1
MESSAGE_COUNT Role1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role1 Role6
TRANSITION_COUNT Role6
TRANSITION_COUNT dup
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT nutter Lifeline1
TRANSITION_COUNT State3
TRANSITION_COUNT Message3
PTCP_OBJ_COUNT Interaction1
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT normal
TRANSITION_COUNT Role1
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT dup Lifeline3
STATE_COUNT oneLine
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT State1
MESSAGE_COUNT oneLine
TRANSITION_COUNT Lifeline1
STATE_COUNT State3
STATE_COUNT Lifeline3
TRANSITION_COUNT Role6
TRANSITION_COUNT Role2
PTCP_OBJ_COUNT Message3
SUBSEQUENT_STATE_COUNT Message1 dup
PTCP_OBJ_COUNT Role7
MESSAGE_COUNT Message3
SUBSEQUENT_STATE_COUNT Role7 State2
SUBSEQUENT_STATE_COUNT dup Role7
PTCP_OBJ_COUNT OneState
INCOMING_MSG_COUNT dup2 Role8
SUBSEQUENT_STATE_COUNT Normal Role4
STATE_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT NoState State4
TRANSITION_COUNT Role8
INCOMING_MSG_COUNT Lifeline3 State2
CLASS_OPERATION_VISIBILITY Role7 dup
PTCP_OBJ_COUNT init
TRANSITION_COUNT Role6
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role6 Lifeline2
STATE_COUNT State4
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT Role2
TRANSITION_COUNT Lifeline2
CLASS_ASSO_COUNT Role1
PTCP_OBJ_COUNT dup2
SUBSEQUENT_STATE_COUNT Role1 Normal
INCOMING_MSG_COUNT OneState State3
CLASS_ATTR_COUNT State6 SELF_ONLY
TRANSITION_COUNT Lifeline1
STATE_COUNT normal
INCOMING_MSG_COUNT nutter dup_inter
SUBSEQUENT_STATE_COUNT init State3
INCOMING_MSG_COUNT Lifeline2 OneState
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State6 dup
STATE_COUNT init
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT init Lifeline1
STATE_COUNT Interaction1
STATE_COUNT normal
STATE_COUNT Lifeline1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Message3 Lifeline2
PTCP_OBJ_COUNT Message1
INCOMING_MSG_COUNT Message3 dup_name
TRANSITION_COUNT OneState
STATE_COUNT dup
STATE_COUNT State1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Lifeline2 State1
CLASS_OPERATION_VISIBILITY Lifeline1 OneState
SUBSEQUENT_STATE_COUNT Normal self
SUBSEQUENT_STATE_COUNT Message2 init
SUBSEQUENT_STATE_COUNT Normal Lifeline1
TRANSITION_COUNT OneState
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT incoming Role1
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT init State2
SUBSEQUENT_STATE_COUNT State3 Role5
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT Role5 dup_name
INCOMING_MSG_COUNT Role5 Lifeline2
TRANSITION_COUNT init
TRANSITION_COUNT dup
INCOMING_MSG_COUNT self State3
SUBSEQUENT_STATE_COUNT dup2 dup
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT Role5 init
TRANSITION_COUNT Role4
STATE_COUNT State2
TRANSITION_COUNT State1
STATE_COUNT incoming
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT State1 dup_name
SUBSEQUENT_STATE_COUNT same State2
STATE_COUNT dup_name
TRANSITION_COUNT Role4
TRANSITION_COUNT dup
TRANSITION_COUNT State2
MESSAGE_COUNT State3
TRANSITION_COUNT dup_inter
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 NoState
TRANSITION_COUNT State1
CLASS_TOP_BASE State2
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Role1 dup_name
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT Role7
SUBSEQUENT_STATE_COUNT Lifeline1 State7
TRANSITION_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State7 dup2
PTCP_OBJ_COUNT Role8
STATE_COUNT init
STATE_COUNT dup_name
TRANSITION_COUNT dup2
STATE_COUNT State3
STATE_COUNT dup2
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State1 State8
STATE_COUNT Lifeline1
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT State6 NoState
MESSAGE_COUNT Role1
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT self dup2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT self Interaction1
STATE_COUNT Message1
INCOMING_MSG_COUNT incoming State2
STATE_COUNT State8
STATE_COUNT dup_name
TRANSITION_COUNT Role1
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT Role1 State2
MESSAGE_COUNT State2
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT dup dup
STATE_COUNT dup_name
TRANSITION_COUNT Role5
STATE_COUNT Lifeline2
MESSAGE_COUNT dup
PTCP_OBJ_COUNT State8
STATE_COUNT State8
STATE_COUNT Role1
STATE_COUNT State1
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT self
TRANSITION_COUNT State8
PTCP_OBJ_COUNT State7
SUBSEQUENT_STATE_COUNT Message1 dup_inter
STATE_COUNT Message1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT Lifeline3
TRANSITION_COUNT State3
STATE_COUNT State1
STATE_COUNT NoState
STATE_COUNT Lifeline1
TRANSITION_COUNT Lifeline2
STATE_COUNT NoState
CLASS_TOP_BASE Message3
SUBSEQUENT_STATE_COUNT State2 Message1
SUBSEQUENT_STATE_COUNT Role3 State6
STATE_COUNT dup
STATE_COUNT Role4
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT Role6 Role6
TRANSITION_COUNT Role5
TRANSITION_COUNT normal
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT self
INCOMING_MSG_COUNT same Lifeline3
STATE_COUNT Lifeline2
TRANSITION_COUNT State3
PTCP_OBJ_COUNT Lifeline2
INCOMING_MSG_COUNT Role1 dup
SUBSEQUENT_STATE_COUNT normal dup
STATE_COUNT State2
MESSAGE_COUNT OneState
INCOMING_MSG_COUNT Role7 State2
TRANSITION_COUNT Role7
INCOMING_MSG_COUNT State1 State2
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT Role1 init
MESSAGE_COUNT Role7
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT State2 Lifeline2
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline1 Role2
STATE_COUNT dup_inter
TRANSITION_COUNT Role3
STATE_COUNT Interaction1
TRANSITION_COUNT normal
STATE_COUNT State3
MESSAGE_COUNT Message1
TRANSITION_COUNT Role1
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT init normal
SUBSEQUENT_STATE_COUNT oneLine dup2
SUBSEQUENT_STATE_COUNT Role1 NoState
TRANSITION_COUNT State6
STATE_COUNT same
STATE_COUNT Self
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT dup dup
STATE_COUNT Message1
PTCP_OBJ_COUNT self
STATE_COUNT State6
TRANSITION_COUNT Lifeline3
MESSAGE_COUNT Self
SUBSEQUENT_STATE_COUNT Lifeline1 State4
SUBSEQUENT_STATE_COUNT State1 Lifeline1
INCOMING_MSG_COUNT nutter dup
SUBSEQUENT_STATE_COUNT normal State6
STATE_COUNT Lifeline1
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT Lifeline1 Role8
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role8 State3
TRANSITION_COUNT dup
MESSAGE_COUNT dup2
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT Role5 Role1
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT Role6 dup_name
STATE_COUNT dup
TRANSITION_COUNT Role4
TRANSITION_COUNT State2
STATE_COUNT dup
TRANSITION_COUNT State5
TRANSITION_COUNT dup
TRANSITION_COUNT Role6
STATE_COUNT oneLine
INCOMING_MSG_COUNT State2 Message3
MESSAGE_COUNT State1
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT incoming Lifeline1
STATE_COUNT Message3
INCOMING_MSG_COUNT Lifeline1 State4
STATE_COUNT dup2
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT State8 State1
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role2 Role1
SUBSEQUENT_STATE_COUNT Self dup_inter
STATE_COUNT nutter
INCOMING_MSG_COUNT State7 dup
TRANSITION_COUNT State3
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT dup
STATE_COUNT State1
MESSAGE_COUNT Lifeline3
TRANSITION_COUNT self
MESSAGE_COUNT OneState
STATE_COUNT dup_inter
CLASS_OPERATION_COUNT normal NON_PARAM
TRANSITION_COUNT State7
STATE_COUNT Lifeline2
MESSAGE_COUNT oneLine
INCOMING_MSG_COUNT dup Lifeline1
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Role4 dup
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT incoming State6
MESSAGE_COUNT State1
INCOMING_MSG_COUNT State3 Lifeline1
STATE_COUNT oneLine
TRANSITION_COUNT State3
PTCP_OBJ_COUNT State1
CLASS_OPERATION_COUNT Role3 NON_RETURN
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT self OneState
CLASS_ATTR_COUNT dup_name ALL
PTCP_OBJ_COUNT dup2
PTCP_OBJ_COUNT incoming
STATE_COUNT self
TRANSITION_COUNT init
TRANSITION_COUNT dup
TRANSITION_COUNT State3
TRANSITION_COUNT init
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline1 State3
TRANSITION_COUNT dup2
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT dup Lifeline2
SUBSEQUENT_STATE_COUNT NoState State7
STATE_COUNT dup
TRANSITION_COUNT State3
CLASS_ASSO_CLASS_LIST State5
STATE_COUNT normal
PTCP_OBJ_COUNT Role4
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State8 State5
MESSAGE_COUNT Message1
TRANSITION_COUNT Lifeline2
STATE_COUNT State3
STATE_COUNT State3
STATE_COUNT State3
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT State1 init
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup2 Role2
STATE_COUNT OneState
TRANSITION_COUNT Interaction1
INCOMING_MSG_COUNT OneState dup
INCOMING_MSG_COUNT dup dup_name
STATE_COUNT Self
SUBSEQUENT_STATE_COUNT Role5 Role7
SUBSEQUENT_STATE_COUNT dup Role6
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT Lifeline3 State3
MESSAGE_COUNT State1
MESSAGE_COUNT State8
STATE_COUNT dup
TRANSITION_COUNT OneState
INCOMING_MSG_COUNT init dup2
MESSAGE_COUNT State6
PTCP_OBJ_COUNT Role3
TRANSITION_COUNT init
MESSAGE_COUNT Role6
INCOMING_MSG_COUNT State7 self
MESSAGE_COUNT Self
TRANSITION_COUNT nutter
SUBSEQUENT_STATE_COUNT State1 State5
SUBSEQUENT_STATE_COUNT NoState Role3
CLASS_INFO_HIDDEN dup2
PTCP_OBJ_COUNT Role3
MESSAGE_COUNT Role4
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Message3 Message3
MESSAGE_COUNT dup_name
INCOMING_MSG_COUNT Role8 State4
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State2 OneState
STATE_COUNT Self
CLASS_OPERATION_VISIBILITY normal Role4
STATE_COUNT Lifeline3
STATE_COUNT init
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT dup State1
TRANSITION_COUNT self
CLASS_COUNT
STATE_COUNT dup
STATE_COUNT dup
INCOMING_MSG_COUNT dup dup
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role6 nutter
TRANSITION_COUNT dup
CLASS_ASSO_CLASS_LIST same
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Normal same
STATE_COUNT State1
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Normal incoming
MESSAGE_COUNT State3
SUBSEQUENT_STATE_COUNT State7 Role2
INCOMING_MSG_COUNT dup_name Role5
MESSAGE_COUNT State1
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT Role3 Role1
INCOMING_MSG_COUNT Lifeline1 nutter
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role2 dup
INCOMING_MSG_COUNT dup dup_inter
CLASS_ASSO_COUNT State2
MESSAGE_COUNT init
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT State8 same
INCOMING_MSG_COUNT incoming normal
SUBSEQUENT_STATE_COUNT OneState State8
SUBSEQUENT_STATE_COUNT Self Role1
SUBSEQUENT_STATE_COUNT init State2
TRANSITION_COUNT oneLine
TRANSITION_COUNT State8
TRANSITION_COUNT Role2
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT dup
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT Interaction1 State3
CLASS_COUNT
SUBSEQUENT_STATE_COUNT dup State1
SUBSEQUENT_STATE_COUNT State5 init
MESSAGE_COUNT Role5
STATE_COUNT Lifeline2
STATE_COUNT self
MESSAGE_COUNT Normal
TRANSITION_COUNT State3
MESSAGE_COUNT dup
CLASS_ATTR_VISIBILITY Role7 State1
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT Message1 init
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT State1
TRANSITION_COUNT same
STATE_COUNT Message1
STATE_COUNT dup
STATE_COUNT State6
STATE_COUNT State3
TRANSITION_COUNT dup2
TRANSITION_COUNT dup
PTCP_OBJ_COUNT dup2
STATE_COUNT incoming
STATE_COUNT init
MESSAGE_COUNT Self
TRANSITION_COUNT NoState
INCOMING_MSG_COUNT dup State1
MESSAGE_COUNT Lifeline2
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup_name Role7
INCOMING_MSG_COUNT Role7 same
TRANSITION_COUNT State2
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT State2 State3
TRANSITION_COUNT Lifeline1
STATE_COUNT dup
STATE_COUNT same
STATE_COUNT State2
TRANSITION_COUNT State3
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State1 OneState
TRANSITION_COUNT Role2
INCOMING_MSG_COUNT State3 Message1
INCOMING_MSG_COUNT Message1 Lifeline1
PTCP_OBJ_COUNT self
SUBSEQUENT_STATE_COUNT Role5 Role3
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT State3 Role5
TRANSITION_COUNT Message1
MESSAGE_COUNT init
TRANSITION_COUNT State1
TRANSITION_COUNT Interaction1
TRANSITION_COUNT Message1
TRANSITION_COUNT Role7
CLASS_INFO_HIDDEN dup2
INCOMING_MSG_COUNT Message3 dup
INCOMING_MSG_COUNT Role3 dup_inter
INCOMING_MSG_COUNT State2 Role7
PTCP_OBJ_COUNT dup
MESSAGE_COUNT Role3
PTCP_OBJ_COUNT OneState
INCOMING_MSG_COUNT State1 Lifeline1
TRANSITION_COUNT Message2
MESSAGE_COUNT self
TRANSITION_COUNT Role2
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role2 Role7
SUBSEQUENT_STATE_COUNT Role8 same
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State1 dup
STATE_COUNT State1
TRANSITION_COUNT dup_name
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup self
SUBSEQUENT_STATE_COUNT normal State1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT dup_inter Message1
TRANSITION_COUNT dup_name
MESSAGE_COUNT same
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State3 self
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT init dup_name
TRANSITION_COUNT Role4
STATE_COUNT Lifeline3
STATE_COUNT State6
INCOMING_MSG_COUNT init Message2
MESSAGE_COUNT Self
SUBSEQUENT_STATE_COUNT Lifeline1 Normal
STATE_COUNT normal
PTCP_OBJ_COUNT State3
PTCP_OBJ_COUNT Role1
PTCP_OBJ_COUNT State2
TRANSITION_COUNT State5
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT dup2
INCOMING_MSG_COUNT Message3 Role8
INCOMING_MSG_COUNT same State3
TRANSITION_COUNT Role5
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT Message3 State4
TRANSITION_COUNT State1
STATE_COUNT dup_name
TRANSITION_COUNT Message1
PTCP_OBJ_COUNT Lifeline3
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT State3 Lifeline2
SUBSEQUENT_STATE_COUNT State4 dup_inter
TRANSITION_COUNT State3
MESSAGE_COUNT dup_name
INCOMING_MSG_COUNT Lifeline1 State3
STATE_COUNT Message1
STATE_COUNT nutter
SUBSEQUENT_STATE_COUNT dup State5
INCOMING_MSG_COUNT oneLine init
MESSAGE_COUNT Role8
STATE_COUNT State1
INCOMING_MSG_COUNT dup Role4
STATE_COUNT dup
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT State1 Lifeline1
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT incoming State1
STATE_COUNT Lifeline2
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT State1 Message1
SUBSEQUENT_STATE_COUNT Message2 State7
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline2 dup
SUBSEQUENT_STATE_COUNT Lifeline3 State8
TRANSITION_COUNT dup_inter
INCOMING_MSG_COUNT State5 dup
MESSAGE_COUNT State3
PTCP_OBJ_COUNT Normal
SUBSEQUENT_STATE_COUNT dup_name Role6
SUBSEQUENT_STATE_COUNT Role1 State3
INCOMING_MSG_COUNT incoming Role2
SUBSEQUENT_STATE_COUNT State8 Message1
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 State4
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT State5 Role1
STATE_COUNT NoState
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Normal dup
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Message2 Message1
TRANSITION_COUNT State1
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Self Message3
INCOMING_MSG_COUNT dup2 dup
TRANSITION_COUNT Normal
STATE_COUNT nutter
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Lifeline1 Role1
INCOMING_MSG_COUNT State6 dup2
STATE_COUNT Role1
TRANSITION_COUNT State3
TRANSITION_COUNT dup_inter
INCOMING_MSG_COUNT dup_name Role4
MESSAGE_COUNT Interaction1
TRANSITION_COUNT dup_name
STATE_COUNT dup
TRANSITION_COUNT Self
MESSAGE_COUNT NoState
SUBSEQUENT_STATE_COUNT State6 Role5
TRANSITION_COUNT Role1
TRANSITION_COUNT Role8
TRANSITION_COUNT Message3
SUBSEQUENT_STATE_COUNT State3 Interaction1
SUBSEQUENT_STATE_COUNT Message1 init
STATE_COUNT dup
MESSAGE_COUNT Role7
MESSAGE_COUNT dup2
SUBSEQUENT_STATE_COUNT Message2 init
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT nutter State8
STATE_COUNT Normal
STATE_COUNT State2
TRANSITION_COUNT dup2
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role5 Message1
SUBSEQUENT_STATE_COUNT same Self
SUBSEQUENT_STATE_COUNT Message1 oneLine
SUBSEQUENT_STATE_COUNT dup2 Interaction1
TRANSITION_COUNT State1
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT State6 oneLine
SUBSEQUENT_STATE_COUNT Lifeline2 same
TRANSITION_COUNT Self
TRANSITION_COUNT Role5
TRANSITION_COUNT Role6
MESSAGE_COUNT self
SUBSEQUENT_STATE_COUNT State2 Lifeline3
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline2 NoState
INCOMING_MSG_COUNT Role7 dup
STATE_COUNT incoming
SUBSEQUENT_STATE_COUNT dup Lifeline1
SUBSEQUENT_STATE_COUNT Interaction1 Role5
MESSAGE_COUNT Role8
TRANSITION_COUNT OneState
MESSAGE_COUNT Normal
STATE_COUNT OneState
INCOMING_MSG_COUNT Lifeline2 Message3
SUBSEQUENT_STATE_COUNT State8 dup
MESSAGE_COUNT dup_name
STATE_COUNT Role1
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT State2 nutter
TRANSITION_COUNT State3
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT dup Message3
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State2 State2
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State8 State7
TRANSITION_COUNT Role5
STATE_COUNT dup
TRANSITION_COUNT State4
PTCP_OBJ_COUNT Role8
SUBSEQUENT_STATE_COUNT dup_name Role4
MESSAGE_COUNT Lifeline1
INCOMING_MSG_COUNT dup2 State6
STATE_COUNT Lifeline1
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT dup2
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT incoming Role5
SUBSEQUENT_STATE_COUNT dup dup
INCOMING_MSG_COUNT State3 init
MESSAGE_COUNT same
SUBSEQUENT_STATE_COUNT State3 OneState
MESSAGE_COUNT Lifeline3
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT same normal
SUBSEQUENT_STATE_COUNT State8 dup_name
TRANSITION_COUNT Role3
STATE_COUNT dup_name
CLASS_ATTR_VISIBILITY Lifeline2 Lifeline2
SUBSEQUENT_STATE_COUNT init Role1
CLASS_ASSO_COUNT Role7
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT State2 State2
STATE_COUNT dup2
STATE_COUNT Role8
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 OneState
SUBSEQUENT_STATE_COUNT dup Lifeline1
PTCP_OBJ_COUNT Lifeline2
INCOMING_MSG_COUNT State1 State6
SUBSEQUENT_STATE_COUNT Self same
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Lifeline1 incoming
SUBSEQUENT_STATE_COUNT Normal Lifeline2
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State8 Interaction1
SUBSEQUENT_STATE_COUNT dup2 State8
TRANSITION_COUNT State3
STATE_COUNT same
TRANSITION_COUNT State2
TRANSITION_COUNT Lifeline3
MESSAGE_COUNT nutter
MESSAGE_COUNT Lifeline1
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT Role8 Message1
STATE_COUNT State1
STATE_COUNT same
MESSAGE_COUNT init
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT dup2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT init NoState
SUBSEQUENT_STATE_COUNT State6 OneState
STATE_COUNT State2
MESSAGE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State3 State7
STATE_COUNT State2
STATE_COUNT dup2
INCOMING_MSG_COUNT State3 OneState
STATE_COUNT Role2
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup2 State6
INCOMING_MSG_COUNT init State3
SUBSEQUENT_STATE_COUNT Normal NoState
MESSAGE_COUNT State8
STATE_COUNT State2
TRANSITION_COUNT dup_inter
TRANSITION_COUNT dup_inter
INCOMING_MSG_COUNT State1 Role2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State6 Self
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline3
MESSAGE_COUNT dup2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State2 Self
STATE_COUNT dup
INCOMING_MSG_COUNT Role1 dup
SUBSEQUENT_STATE_COUNT Lifeline1 State7
TRANSITION_COUNT NoState
STATE_COUNT Message2
STATE_COUNT Lifeline2
TRANSITION_COUNT dup_name
MESSAGE_COUNT dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 self
INCOMING_MSG_COUNT normal Message1
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT Role7 Self
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT self dup
SUBSEQUENT_STATE_COUNT dup State1
STATE_COUNT Role6
PTCP_OBJ_COUNT same
SUBSEQUENT_STATE_COUNT dup2 nutter
SUBSEQUENT_STATE_COUNT dup_name State1
SUBSEQUENT_STATE_COUNT dup_name incoming
STATE_COUNT State3
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role3 Lifeline1
INCOMING_MSG_COUNT State8 State1
TRANSITION_COUNT Lifeline2
PTCP_OBJ_COUNT oneLine
TRANSITION_COUNT Role2
STATE_COUNT Message3
CLASS_ASSO_COUNT init
STATE_COUNT Interaction1
TRANSITION_COUNT dup
TRANSITION_COUNT State5
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State1 Lifeline1
SUBSEQUENT_STATE_COUNT State2 State1
MESSAGE_COUNT State3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Self Message2
PTCP_OBJ_COUNT Normal
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup2 State2
STATE_COUNT Message3
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State6
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role2 Role5
TRANSITION_COUNT Lifeline1
STATE_COUNT OneState
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT Message2
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT State1 incoming
INCOMING_MSG_COUNT dup Normal
MESSAGE_COUNT State6
TRANSITION_COUNT State4
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT State3
STATE_COUNT State5
TRANSITION_COUNT dup2
CLASS_ATTR_COUNT nutter SELF_ONLY
SUBSEQUENT_STATE_COUNT State2 dup
SUBSEQUENT_STATE_COUNT Message2 Role1
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT nutter dup
INCOMING_MSG_COUNT Lifeline1 Role5
MESSAGE_COUNT Message1
TRANSITION_COUNT OneState
STATE_COUNT Message1
STATE_COUNT dup2
STATE_COUNT State1
PTCP_OBJ_COUNT dup_name
MESSAGE_COUNT State5
INCOMING_MSG_COUNT Lifeline3 State2
TRANSITION_COUNT State1
PTCP_OBJ_COUNT dup_name
STATE_COUNT dup
TRANSITION_COUNT State5
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT Message2
STATE_COUNT dup_name
TRANSITION_COUNT incoming
MESSAGE_COUNT normal
SUBSEQUENT_STATE_COUNT State8 Role4
PTCP_OBJ_COUNT Role2
INCOMING_MSG_COUNT Message2 dup
MESSAGE_COUNT Role1
STATE_COUNT State3
STATE_COUNT Role4
CLASS_ASSO_CLASS_LIST Lifeline1
SUBSEQUENT_STATE_COUNT dup2 init
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT same Self
STATE_COUNT init
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
INCOMING_MSG_COUNT State1 dup_inter
SUBSEQUENT_STATE_COUNT State3 Lifeline2
SUBSEQUENT_STATE_COUNT State1 State4
PTCP_OBJ_COUNT Message2
TRANSITION_COUNT dup
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT dup Lifeline2
TRANSITION_COUNT State3
INCOMING_MSG_COUNT State2 Role3
TRANSITION_COUNT dup
STATE_COUNT State1
MESSAGE_COUNT Role1
SUBSEQUENT_STATE_COUNT State2 dup
SUBSEQUENT_STATE_COUNT normal dup
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT dup Lifeline3
PTCP_OBJ_COUNT oneLine
STATE_COUNT OneState
TRANSITION_COUNT Self
STATE_COUNT NoState
TRANSITION_COUNT Role3
STATE_COUNT State5
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT same State3
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT dup_name incoming
SUBSEQUENT_STATE_COUNT Lifeline1 dup
INCOMING_MSG_COUNT dup_inter Role1
STATE_COUNT State6
PTCP_OBJ_COUNT dup2
TRANSITION_COUNT dup
STATE_COUNT dup_inter
TRANSITION_COUNT Role8
MESSAGE_COUNT Role4
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT Normal dup_name
SUBSEQUENT_STATE_COUNT State2 Lifeline3
TRANSITION_COUNT dup2
TRANSITION_COUNT dup_inter
STATE_COUNT dup
MESSAGE_COUNT Message3
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Lifeline1 Self
PTCP_OBJ_COUNT dup_inter
STATE_COUNT Lifeline2
STATE_COUNT dup2
TRANSITION_COUNT State6
SUBSEQUENT_STATE_COUNT same Message3
CLASS_TOP_BASE dup2
SUBSEQUENT_STATE_COUNT dup_inter OneState
INCOMING_MSG_COUNT Lifeline1 Role2
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT NoState Lifeline1
TRANSITION_COUNT dup
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT State3 State3
TRANSITION_COUNT Message1
TRANSITION_COUNT State2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT NoState dup
SUBSEQUENT_STATE_COUNT Lifeline3 Self
CLASS_OPERATION_COUNT Lifeline2 ALL
SUBSEQUENT_STATE_COUNT State1 Lifeline1
MESSAGE_COUNT dup_inter
STATE_COUNT Interaction1
MESSAGE_COUNT State1
STATE_COUNT State2
STATE_COUNT dup
TRANSITION_COUNT State1
TRANSITION_COUNT normal
STATE_COUNT self
STATE_COUNT dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Message2 NoState
INCOMING_MSG_COUNT Role2 dup_name
TRANSITION_COUNT Role5
STATE_COUNT State1
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Lifeline2 init
TRANSITION_COUNT dup2
STATE_COUNT State7
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT State2 incoming
SUBSEQUENT_STATE_COUNT State7 init
TRANSITION_COUNT State3
INCOMING_MSG_COUNT Lifeline1 OneState
SUBSEQUENT_STATE_COUNT Lifeline1 Message2
TRANSITION_COUNT Message1
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Self Lifeline2
SUBSEQUENT_STATE_COUNT dup2 Message3
SUBSEQUENT_STATE_COUNT dup State4
CLASS_INFO_HIDDEN dup_inter
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT State7 Message2
TRANSITION_COUNT Role1
TRANSITION_COUNT dup2
STATE_COUNT Role5
PTCP_OBJ_COUNT State2
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT oneLine State2
MESSAGE_COUNT State3
STATE_COUNT dup
PTCP_OBJ_COUNT dup
TRANSITION_COUNT nutter
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Lifeline2
CLASS_TOP_BASE dup
STATE_COUNT dup
TRANSITION_COUNT Role7
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State4
TRANSITION_COUNT State3
TRANSITION_COUNT State3
MESSAGE_COUNT Message3
SUBSEQUENT_STATE_COUNT State1 State3
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT NoState
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State2 Role6
STATE_COUNT dup
INCOMING_MSG_COUNT dup dup_name
INCOMING_MSG_COUNT same Role1
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT State2
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT Role6 State2
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline1 dup_name
TRANSITION_COUNT Lifeline1
STATE_COUNT State2
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT self dup2
SUBSEQUENT_STATE_COUNT State3 State1
STATE_COUNT Lifeline3
INCOMING_MSG_COUNT Message1 State7
PTCP_OBJ_COUNT Role1
STATE_COUNT State3
STATE_COUNT Message2
TRANSITION_COUNT Self
PTCP_OBJ_COUNT State2
TRANSITION_COUNT Role6
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT Role8 self
TRANSITION_COUNT Message3
STATE_COUNT dup
MESSAGE_COUNT State3
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT Lifeline1 State6
INCOMING_MSG_COUNT same OneState
SUBSEQUENT_STATE_COUNT OneState dup
SUBSEQUENT_STATE_COUNT dup State2
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT Lifeline1
STATE_COUNT State5
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 OneState
SUBSEQUENT_STATE_COUNT Self OneState
SUBSEQUENT_STATE_COUNT dup_inter dup
INCOMING_MSG_COUNT Message2 State8
INCOMING_MSG_COUNT State4 nutter
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
STATE_COUNT State3
INCOMING_MSG_COUNT dup2 Interaction1
TRANSITION_COUNT incoming
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT State2 State2
TRANSITION_COUNT init
STATE_COUNT dup2
TRANSITION_COUNT Role7
PTCP_OBJ_COUNT self
SUBSEQUENT_STATE_COUNT Role1 State4
SUBSEQUENT_STATE_COUNT Self State1
STATE_COUNT dup2
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT dup2
INCOMING_MSG_COUNT State6 State1
SUBSEQUENT_STATE_COUNT Lifeline1 State1
MESSAGE_COUNT dup
TRANSITION_COUNT Role2
TRANSITION_COUNT State3
MESSAGE_COUNT dup
PTCP_OBJ_COUNT State8
SUBSEQUENT_STATE_COUNT dup dup2
INCOMING_MSG_COUNT dup normal
TRANSITION_COUNT State7
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT State3 Lifeline1
TRANSITION_COUNT State2
TRANSITION_COUNT State2
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT State1 Message1
MESSAGE_COUNT Normal
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline2 State8
TRANSITION_COUNT State4
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT normal State2
SUBSEQUENT_STATE_COUNT OneState Role1
MESSAGE_COUNT dup
STATE_COUNT Message1
PTCP_OBJ_COUNT dup_name
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role2 Lifeline1
SUBSEQUENT_STATE_COUNT Role4 dup
PTCP_OBJ_COUNT Role1
SUBSEQUENT_STATE_COUNT dup OneState
SUBSEQUENT_STATE_COUNT State6 init
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT dup nutter
TRANSITION_COUNT State6
SUBSEQUENT_STATE_COUNT dup2 State7
TRANSITION_COUNT Message1
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT Message1 Message2
STATE_COUNT Role5
STATE_COUNT State4
PTCP_OBJ_COUNT incoming
INCOMING_MSG_COUNT init nutter
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State1 dup2
MESSAGE_COUNT Role6
SUBSEQUENT_STATE_COUNT NoState dup
SUBSEQUENT_STATE_COUNT dup_inter Self
SUBSEQUENT_STATE_COUNT Lifeline2 Message3
TRANSITION_COUNT Self
TRANSITION_COUNT State1
STATE_COUNT State6
TRANSITION_COUNT oneLine
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT Interaction1 State3
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role7 Role1
SUBSEQUENT_STATE_COUNT State1 Role4
STATE_COUNT State3
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Role8 incoming
SUBSEQUENT_STATE_COUNT dup_name dup_inter
TRANSITION_COUNT Role2
SUBSEQUENT_STATE_COUNT Role1 incoming
STATE_COUNT State3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT OneState Role1
STATE_COUNT normal
STATE_COUNT Role4
CLASS_ASSO_COUNT dup2
TRANSITION_COUNT nutter
STATE_COUNT State3
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup State2
MESSAGE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Message3 dup
TRANSITION_COUNT dup
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT OneState Interaction1
INCOMING_MSG_COUNT dup_inter nutter
SUBSEQUENT_STATE_COUNT dup_name Interaction1
TRANSITION_COUNT Lifeline1
STATE_COUNT Lifeline3
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT Role6 dup2
SUBSEQUENT_STATE_COUNT Role1 Role2
SUBSEQUENT_STATE_COUNT dup OneState
MESSAGE_COUNT Role4
MESSAGE_COUNT same
SUBSEQUENT_STATE_COUNT nutter dup2
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT same Role2
CLASS_INFO_HIDDEN Role1
TRANSITION_COUNT dup2
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT State6 dup_name
MESSAGE_COUNT dup
TRANSITION_COUNT State2
TRANSITION_COUNT same
STATE_COUNT Role8
PTCP_OBJ_COUNT Message1
TRANSITION_COUNT NoState
TRANSITION_COUNT Role2
INCOMING_MSG_COUNT State6 same
CLASS_TOP_BASE Message2
TRANSITION_COUNT Message1
STATE_COUNT State4
MESSAGE_COUNT normal
STATE_COUNT Message1
INCOMING_MSG_COUNT incoming State8
PTCP_OBJ_COUNT State4
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Role8 oneLine
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT normal
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT self
MESSAGE_COUNT State5
STATE_COUNT State1
STATE_COUNT State7
PTCP_OBJ_COUNT State5
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Role4 Normal
TRANSITION_COUNT Self
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT self Self
TRANSITION_COUNT Lifeline3
INCOMING_MSG_COUNT Lifeline2 State7
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
MESSAGE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup_name same
CLASS_OPERATION_COUNT dup2 ALL
STATE_COUNT Role5
STATE_COUNT State1
MESSAGE_COUNT State3
STATE_COUNT Role3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT oneLine dup
SUBSEQUENT_STATE_COUNT Lifeline1 dup_name
SUBSEQUENT_STATE_COUNT dup_name State2
MESSAGE_COUNT State6
STATE_COUNT dup
TRANSITION_COUNT dup
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Role5 State1
STATE_COUNT Message1
TRANSITION_COUNT dup_inter
TRANSITION_COUNT self
PTCP_OBJ_COUNT Message3
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT Message3
PTCP_OBJ_COUNT dup
STATE_COUNT init
STATE_COUNT Role1
STATE_COUNT State4
TRANSITION_COUNT NoState
STATE_COUNT dup
INCOMING_MSG_COUNT dup State3
INCOMING_MSG_COUNT dup Lifeline3
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
SUBSEQUENT_STATE_COUNT dup2 self
STATE_COUNT State3
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT dup Role3
STATE_COUNT Lifeline1
TRANSITION_COUNT State5
TRANSITION_COUNT normal
TRANSITION_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Message3 dup2
SUBSEQUENT_STATE_COUNT Message3 NoState
PTCP_OBJ_COUNT Message1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State2 Role4
TRANSITION_COUNT Message3
STATE_COUNT normal
TRANSITION_COUNT Role7
STATE_COUNT State3
CLASS_COUNT
TRANSITION_COUNT State3
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Lifeline1 State6
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT dup
MESSAGE_COUNT dup
PTCP_OBJ_COUNT Role3
TRANSITION_COUNT State7
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Message2 dup
PTCP_OBJ_COUNT Lifeline2
MESSAGE_COUNT nutter
TRANSITION_COUNT Lifeline3
MESSAGE_COUNT State1
TRANSITION_COUNT dup2
STATE_COUNT State3
TRANSITION_COUNT OneState
STATE_COUNT normal
TRANSITION_COUNT Message2
INCOMING_MSG_COUNT dup State5
SUBSEQUENT_STATE_COUNT State8 Lifeline3
SUBSEQUENT_STATE_COUNT State3 dup2
STATE_COUNT dup2
INCOMING_MSG_COUNT Message1 State2
TRANSITION_COUNT Lifeline2
STATE_COUNT dup
TRANSITION_COUNT OneState
SUBSEQUENT_STATE_COUNT nutter Role4
SUBSEQUENT_STATE_COUNT State1 Role7
SUBSEQUENT_STATE_COUNT dup Message1
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 dup2
TRANSITION_COUNT dup_name
TRANSITION_COUNT State4
TRANSITION_COUNT State6
SUBSEQUENT_STATE_COUNT Role1 Lifeline1
STATE_COUNT same
STATE_COUNT dup
TRANSITION_COUNT init
STATE_COUNT Lifeline1
CLASS_TOP_BASE dup2
SUBSEQUENT_STATE_COUNT dup State2
SUBSEQUENT_STATE_COUNT NoState NoState
STATE_COUNT State4
STATE_COUNT Self
STATE_COUNT State3
TRANSITION_COUNT Message2
TRANSITION_COUNT nutter
INCOMING_MSG_COUNT State4 Role3
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline3 Self
SUBSEQUENT_STATE_COUNT State6 Role6
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Lifeline2 same
INCOMING_MSG_COUNT State2 self
INCOMING_MSG_COUNT Role6 Message3
TRANSITION_COUNT State1
STATE_COUNT Role1
PTCP_OBJ_COUNT Role5
STATE_COUNT Lifeline1
TRANSITION_COUNT init
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline3 init
STATE_COUNT State5
STATE_COUNT dup
MESSAGE_COUNT Role3
INCOMING_MSG_COUNT dup dup
STATE_COUNT dup
STATE_COUNT Role5
TRANSITION_COUNT init
STATE_COUNT Role4
PTCP_OBJ_COUNT oneLine
INCOMING_MSG_COUNT Normal Interaction1
PTCP_OBJ_COUNT Role3
MESSAGE_COUNT Message1
CLASS_OPERATION_VISIBILITY Lifeline1 normal
SUBSEQUENT_STATE_COUNT dup2 Role5
TRANSITION_COUNT same
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT dup dup
CLASS_COUNT
CLASS_COUNT
TRANSITION_COUNT State4
STATE_COUNT dup_name
STATE_COUNT Role8
MESSAGE_COUNT Self
SUBSEQUENT_STATE_COUNT Lifeline2 Role1
INCOMING_MSG_COUNT dup State5
SUBSEQUENT_STATE_COUNT State2 dup_name
INCOMING_MSG_COUNT State7 State2
TRANSITION_COUNT Role8
STATE_COUNT dup
PTCP_OBJ_COUNT Interaction1
STATE_COUNT dup
MESSAGE_COUNT Lifeline1
STATE_COUNT Lifeline2
TRANSITION_COUNT Message3
STATE_COUNT Lifeline2
CLASS_ASSO_CLASS_LIST dup
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT State7 State3
SUBSEQUENT_STATE_COUNT Message1 State1
SUBSEQUENT_STATE_COUNT State2 State3
STATE_COUNT State3
INCOMING_MSG_COUNT State4 dup2
INCOMING_MSG_COUNT init Role1
MESSAGE_COUNT Role4
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT State3 incoming
TRANSITION_COUNT State8
MESSAGE_COUNT self
MESSAGE_COUNT Lifeline3
INCOMING_MSG_COUNT Self State7
STATE_COUNT Role8
CLASS_ATTR_COUNT Message2 ALL
STATE_COUNT init
PTCP_OBJ_COUNT State1
SUBSEQUENT_STATE_COUNT State1 Role7
INCOMING_MSG_COUNT Role2 oneLine
TRANSITION_COUNT Role8
PTCP_OBJ_COUNT Lifeline3
MESSAGE_COUNT Role2
SUBSEQUENT_STATE_COUNT State4 Normal
STATE_COUNT Message2
SUBSEQUENT_STATE_COUNT Interaction1 Lifeline3
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Self State1
STATE_COUNT Role5
MESSAGE_COUNT dup2
TRANSITION_COUNT normal
INCOMING_MSG_COUNT Role6 Role2
TRANSITION_COUNT self
SUBSEQUENT_STATE_COUNT dup Message1
SUBSEQUENT_STATE_COUNT Role1 incoming
PTCP_OBJ_COUNT dup2
SUBSEQUENT_STATE_COUNT dup_name State2
SUBSEQUENT_STATE_COUNT dup2 same
STATE_COUNT nutter
INCOMING_MSG_COUNT State4 oneLine
SUBSEQUENT_STATE_COUNT dup_inter Lifeline1
SUBSEQUENT_STATE_COUNT State2 init
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT Message3
TRANSITION_COUNT oneLine
STATE_COUNT Lifeline1
TRANSITION_COUNT State1
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT Role7 Lifeline1
PTCP_OBJ_COUNT Lifeline1
MESSAGE_COUNT dup_name
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT State2
TRANSITION_COUNT State3
TRANSITION_COUNT Message1
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State6 dup
PTCP_OBJ_COUNT State3
STATE_COUNT State3
STATE_COUNT OneState
CLASS_TOP_BASE State6
SUBSEQUENT_STATE_COUNT oneLine Message1
SUBSEQUENT_STATE_COUNT Message1 State6
TRANSITION_COUNT init
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 State1
PTCP_OBJ_COUNT State2
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT init
STATE_COUNT self
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 Role8
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT OneState self
PTCP_OBJ_COUNT Role4
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State3 dup
SUBSEQUENT_STATE_COUNT dup Role3
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT dup_name Role6
MESSAGE_COUNT Role2
SUBSEQUENT_STATE_COUNT dup Role8
TRANSITION_COUNT Role2
INCOMING_MSG_COUNT Role4 State7
SUBSEQUENT_STATE_COUNT State8 State5
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT self Lifeline1
SUBSEQUENT_STATE_COUNT State1 OneState
SUBSEQUENT_STATE_COUNT Normal Lifeline1
PTCP_OBJ_COUNT Lifeline3
TRANSITION_COUNT self
PTCP_OBJ_COUNT Role1
STATE_COUNT dup
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Role2 self
INCOMING_MSG_COUNT State1 State1
MESSAGE_COUNT Role6
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT self dup_inter
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 init
TRANSITION_COUNT dup
TRANSITION_COUNT dup
MESSAGE_COUNT State2
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role2 Interaction1
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT State1
PTCP_OBJ_COUNT State3
STATE_COUNT OneState
MESSAGE_COUNT dup
PTCP_OBJ_COUNT State1
PTCP_OBJ_COUNT Normal
SUBSEQUENT_STATE_COUNT State1 State8
STATE_COUNT init
INCOMING_MSG_COUNT State2 oneLine
STATE_COUNT dup
STATE_COUNT dup
TRANSITION_COUNT State5
PTCP_OBJ_COUNT Normal
SUBSEQUENT_STATE_COUNT self Lifeline1
STATE_COUNT State1
TRANSITION_COUNT dup2
STATE_COUNT init
CLASS_ATTR_COUNT State5 ALL
INCOMING_MSG_COUNT State3 State2
STATE_COUNT Message2
SUBSEQUENT_STATE_COUNT init dup
MESSAGE_COUNT State2
TRANSITION_COUNT State1
INCOMING_MSG_COUNT State2 oneLine
SUBSEQUENT_STATE_COUNT dup2 Role3
PTCP_OBJ_COUNT Role6
TRANSITION_COUNT State3
STATE_COUNT Lifeline1
STATE_COUNT State7
STATE_COUNT Role6
STATE_COUNT dup
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT State3 dup2
STATE_COUNT Role8
SUBSEQUENT_STATE_COUNT same self
INCOMING_MSG_COUNT Lifeline1 nutter
STATE_COUNT incoming
PTCP_OBJ_COUNT Interaction1
MESSAGE_COUNT State3
SUBSEQUENT_STATE_COUNT dup2 State3
TRANSITION_COUNT Lifeline2
STATE_COUNT State3
CLASS_ATTR_COUNT Message2 SELF_ONLY
SUBSEQUENT_STATE_COUNT Role6 Interaction1
TRANSITION_COUNT oneLine
MESSAGE_COUNT Lifeline1
STATE_COUNT Role8
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT OneState Role7
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT dup Role6
SUBSEQUENT_STATE_COUNT State4 Message1
SUBSEQUENT_STATE_COUNT State2 init
MESSAGE_COUNT State3
PTCP_OBJ_COUNT Interaction1
INCOMING_MSG_COUNT dup Normal
SUBSEQUENT_STATE_COUNT State8 Message1
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Message3
SUBSEQUENT_STATE_COUNT dup2 dup
MESSAGE_COUNT dup_name
TRANSITION_COUNT Role8
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role5 dup
STATE_COUNT State1
STATE_COUNT same
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Lifeline2 dup_inter
INCOMING_MSG_COUNT Self State2
PTCP_OBJ_COUNT Role3
MESSAGE_COUNT Interaction1
TRANSITION_COUNT State3
CLASS_ATTR_COUNT self SELF_ONLY
TRANSITION_COUNT same
CLASS_TOP_BASE Role6
SUBSEQUENT_STATE_COUNT State3 State2
STATE_COUNT Message1
CLASS_INFO_HIDDEN dup
INCOMING_MSG_COUNT State1 Normal
SUBSEQUENT_STATE_COUNT Role4 Lifeline1
MESSAGE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State3 incoming
STATE_COUNT dup
CLASS_ASSO_CLASS_LIST dup2
PTCP_OBJ_COUNT Message3
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT State2 init
SUBSEQUENT_STATE_COUNT Interaction1 dup
STATE_COUNT State3
STATE_COUNT State1
STATE_COUNT State3
STATE_COUNT Role5
TRANSITION_COUNT Role4
INCOMING_MSG_COUNT dup dup2
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT dup
STATE_COUNT Self
INCOMING_MSG_COUNT dup_name Role4
SUBSEQUENT_STATE_COUNT State8 dup_inter
MESSAGE_COUNT Lifeline1
CLASS_COUNT
SUBSEQUENT_STATE_COUNT dup OneState
TRANSITION_COUNT State6
INCOMING_MSG_COUNT init dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT init Lifeline2
PTCP_OBJ_COUNT dup2
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT Message1 dup_name
MESSAGE_COUNT dup_name
SUBSEQUENT_STATE_COUNT State7 State5
PTCP_OBJ_COUNT Role1
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT NoState
STATE_COUNT dup
STATE_COUNT dup_name
STATE_COUNT Role3
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT nutter State7
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT normal State3
TRANSITION_COUNT normal
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT normal Role4
TRANSITION_COUNT State4
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline2 Message1
SUBSEQUENT_STATE_COUNT State4 dup
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT Normal init
TRANSITION_COUNT Lifeline2
STATE_COUNT init
MESSAGE_COUNT Role2
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT dup dup
SUBSEQUENT_STATE_COUNT Message1 Role3
SUBSEQUENT_STATE_COUNT Self Role4
TRANSITION_COUNT Role3
INCOMING_MSG_COUNT State1 OneState
INCOMING_MSG_COUNT State5 Role2
INCOMING_MSG_COUNT Lifeline1 dup
SUBSEQUENT_STATE_COUNT dup2 dup_name
SUBSEQUENT_STATE_COUNT incoming dup_inter
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT normal Message1
MESSAGE_COUNT Message1
TRANSITION_COUNT Message3
PTCP_OBJ_COUNT State5
INCOMING_MSG_COUNT Lifeline1 State7
TRANSITION_COUNT Lifeline1
STATE_COUNT same
STATE_COUNT Role3
TRANSITION_COUNT State1
TRANSITION_COUNT State1
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT State3 Lifeline2
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT dup Role2
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State2 State6
TRANSITION_COUNT State1
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State7 State5
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT Interaction1 oneLine
MESSAGE_COUNT Normal
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT Interaction1
TRANSITION_COUNT dup2
INCOMING_MSG_COUNT Message1 State1
SUBSEQUENT_STATE_COUNT State2 dup_name
SUBSEQUENT_STATE_COUNT Interaction1 Lifeline1
TRANSITION_COUNT dup
INCOMING_MSG_COUNT self Message1
SUBSEQUENT_STATE_COUNT State2 State7
MESSAGE_COUNT normal
SUBSEQUENT_STATE_COUNT dup Normal
MESSAGE_COUNT State2
INCOMING_MSG_COUNT dup dup2
PTCP_OBJ_COUNT self
PTCP_OBJ_COUNT Message1
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Self dup
INCOMING_MSG_COUNT Role2 dup
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
TRANSITION_COUNT Lifeline1
STATE_COUNT Lifeline1
MESSAGE_COUNT State4
SUBSEQUENT_STATE_COUNT dup dup_name
INCOMING_MSG_COUNT Message2 dup
CLASS_ASSO_COUNT Lifeline2
STATE_COUNT Role7
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role8 Message1
TRANSITION_COUNT Lifeline1
STATE_COUNT self
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT State1 Self
PTCP_OBJ_COUNT Role1
SUBSEQUENT_STATE_COUNT State3 State1
INCOMING_MSG_COUNT dup_inter Interaction1
INCOMING_MSG_COUNT Role1 State3
TRANSITION_COUNT Role2
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT self State2
STATE_COUNT dup_name
TRANSITION_COUNT init
TRANSITION_COUNT Role2
INCOMING_MSG_COUNT Message1 incoming
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT dup Role3
SUBSEQUENT_STATE_COUNT self Lifeline1
STATE_COUNT self
INCOMING_MSG_COUNT self Lifeline2
SUBSEQUENT_STATE_COUNT Message1 Role7
TRANSITION_COUNT Role7
TRANSITION_COUNT State2
PTCP_OBJ_COUNT State7
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Normal
PTCP_OBJ_COUNT Role4
SUBSEQUENT_STATE_COUNT State2 same
SUBSEQUENT_STATE_COUNT State6 Lifeline1
STATE_COUNT State3
TRANSITION_COUNT Role5
INCOMING_MSG_COUNT Message1 Lifeline1
TRANSITION_COUNT dup_inter
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT normal State2
MESSAGE_COUNT dup
MESSAGE_COUNT OneState
SUBSEQUENT_STATE_COUNT Role1 Role5
SUBSEQUENT_STATE_COUNT NoState State1
SUBSEQUENT_STATE_COUNT init Role7
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT Role4 Message3
TRANSITION_COUNT init
STATE_COUNT Role4
TRANSITION_COUNT State4
TRANSITION_COUNT Role5
INCOMING_MSG_COUNT dup State1
PTCP_OBJ_COUNT nutter
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT Role5
TRANSITION_COUNT Role1
STATE_COUNT Role3
SUBSEQUENT_STATE_COUNT Interaction1 Lifeline1
STATE_COUNT State3
STATE_COUNT State3
MESSAGE_COUNT incoming
PTCP_OBJ_COUNT Role7
STATE_COUNT dup
PTCP_OBJ_COUNT Lifeline2
TRANSITION_COUNT nutter
STATE_COUNT Role6
TRANSITION_COUNT normal
STATE_COUNT Role7
TRANSITION_COUNT Lifeline1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT State1 State1
TRANSITION_COUNT OneState
TRANSITION_COUNT dup
TRANSITION_COUNT State1
INCOMING_MSG_COUNT init Role1
PTCP_OBJ_COUNT Message1
TRANSITION_COUNT State2
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT OneState State2
SUBSEQUENT_STATE_COUNT State8 State3
SUBSEQUENT_STATE_COUNT nutter Role5
SUBSEQUENT_STATE_COUNT Role4 Role7
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State2 Lifeline2
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Lifeline2 same
TRANSITION_COUNT State5
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Role3 Role3
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT dup State3
STATE_COUNT dup2
MESSAGE_COUNT dup2
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Role6 NoState
INCOMING_MSG_COUNT normal OneState
PTCP_OBJ_COUNT Lifeline3
PTCP_OBJ_COUNT Normal
PTCP_OBJ_COUNT dup
STATE_COUNT nutter
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State1 Message1
SUBSEQUENT_STATE_COUNT Lifeline1 State2
TRANSITION_COUNT dup_name
INCOMING_MSG_COUNT Role1 Role6
SUBSEQUENT_STATE_COUNT Role5 Role1
STATE_COUNT oneLine
TRANSITION_COUNT Role1
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT init
INCOMING_MSG_COUNT State6 Normal
PTCP_OBJ_COUNT State3
TRANSITION_COUNT State7
TRANSITION_COUNT Lifeline3
PTCP_OBJ_COUNT Lifeline2
TRANSITION_COUNT OneState
MESSAGE_COUNT Message1
PTCP_OBJ_COUNT nutter
SUBSEQUENT_STATE_COUNT State1 Lifeline2
STATE_COUNT OneState
TRANSITION_COUNT Role4
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT Normal
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Lifeline1 incoming
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role2 State1
STATE_COUNT State2
INCOMING_MSG_COUNT dup oneLine
TRANSITION_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline3 oneLine
SUBSEQUENT_STATE_COUNT Role7 State4
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 dup
STATE_COUNT Role1
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role1 same
TRANSITION_COUNT State5
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Lifeline1 State6
PTCP_OBJ_COUNT NoState
STATE_COUNT Message3
TRANSITION_COUNT State5
PTCP_OBJ_COUNT State8
STATE_COUNT init
INCOMING_MSG_COUNT Lifeline2 Lifeline1
TRANSITION_COUNT Role6
TRANSITION_COUNT State8
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT Message1
TRANSITION_COUNT dup
STATE_COUNT State1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State3 Role5
STATE_COUNT State1
MESSAGE_COUNT Interaction1
STATE_COUNT Message1
PTCP_OBJ_COUNT Lifeline2
MESSAGE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Role2 init
CLASS_OPERATION_VISIBILITY State1 Role4
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State3 Message1
STATE_COUNT Lifeline1
TRANSITION_COUNT Normal
INCOMING_MSG_COUNT State6 Lifeline1
PTCP_OBJ_COUNT State1
STATE_COUNT State1
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT dup Role8
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline2
STATE_COUNT Role3
STATE_COUNT nutter
STATE_COUNT nutter
SUBSEQUENT_STATE_COUNT Lifeline1 OneState
TRANSITION_COUNT State1
MESSAGE_COUNT Message3
MESSAGE_COUNT Interaction1
PTCP_OBJ_COUNT same
SUBSEQUENT_STATE_COUNT incoming Lifeline2
STATE_COUNT Lifeline1
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT dup_name State1
SUBSEQUENT_STATE_COUNT same dup_name
MESSAGE_COUNT State3
TRANSITION_COUNT Self
TRANSITION_COUNT State2
STATE_COUNT Role5
STATE_COUNT oneLine
TRANSITION_COUNT Message1
STATE_COUNT dup
INCOMING_MSG_COUNT dup2 dup2
PTCP_OBJ_COUNT Message1
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT dup self
TRANSITION_COUNT normal
TRANSITION_COUNT dup
TRANSITION_COUNT Role3
SUBSEQUENT_STATE_COUNT dup2 Role6
PTCP_OBJ_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role1 Role7
PTCP_OBJ_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup2 Role6
SUBSEQUENT_STATE_COUNT State4 Lifeline1
STATE_COUNT State1
STATE_COUNT same
TRANSITION_COUNT State2
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Interaction1 Lifeline1
STATE_COUNT Lifeline1
STATE_COUNT Lifeline1
MESSAGE_COUNT State8
STATE_COUNT State8
PTCP_OBJ_COUNT dup_inter
INCOMING_MSG_COUNT dup Lifeline2
MESSAGE_COUNT State6
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Role3 OneState
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT dup
TRANSITION_COUNT Normal
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT Role1 dup_name
MESSAGE_COUNT Interaction1
STATE_COUNT NoState
TRANSITION_COUNT Normal
MESSAGE_COUNT Role1
SUBSEQUENT_STATE_COUNT State1 Role4
SUBSEQUENT_STATE_COUNT incoming Message1
INCOMING_MSG_COUNT OneState dup
TRANSITION_COUNT State1
TRANSITION_COUNT Message2
CLASS_ATTR_COUNT Lifeline3 ALL
SUBSEQUENT_STATE_COUNT dup2 State7
TRANSITION_COUNT NoState
STATE_COUNT Role5
INCOMING_MSG_COUNT init Normal
STATE_COUNT incoming
TRANSITION_COUNT Role7
MESSAGE_COUNT State5
SUBSEQUENT_STATE_COUNT State2 dup
TRANSITION_COUNT OneState
SUBSEQUENT_STATE_COUNT State2 init
STATE_COUNT Role6
PTCP_OBJ_COUNT Normal
TRANSITION_COUNT Normal
CLASS_OPERATION_VISIBILITY Role2 State3
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT State2 dup_inter
SUBSEQUENT_STATE_COUNT nutter State2
SUBSEQUENT_STATE_COUNT State3 OneState
STATE_COUNT same
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT State8
SUBSEQUENT_STATE_COUNT dup2 Role5
TRANSITION_COUNT State3
STATE_COUNT Role2
STATE_COUNT Lifeline3
TRANSITION_COUNT Normal
TRANSITION_COUNT State2
STATE_COUNT Role1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Message3 State3
MESSAGE_COUNT State7
TRANSITION_COUNT Role4
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Role1 dup_inter
TRANSITION_COUNT dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline2 State8
TRANSITION_COUNT State3
INCOMING_MSG_COUNT OneState State7
SUBSEQUENT_STATE_COUNT State1 State7
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Lifeline3 State5
SUBSEQUENT_STATE_COUNT Role7 Role2
CLASS_OPERATION_COUNT Message1 ALL
TRANSITION_COUNT Role5
CLASS_IMPLEMENT_INTERFACE_LIST dup
TRANSITION_COUNT State3
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT dup2 dup_inter
STATE_COUNT dup

Error Report

I’ve Fixed This Error

Not My Fault, Diss Others!

Details

Files

ERROR TAGS