1 in allInstrTest on UMLModel test Model

./gen_case/allInstrTest.mdj_UMLModel_Model_1.test

[!] FAILED On Line 947
[!] ERROR: Line 947 {Ok, subsequent state count from state "init" in statemachine "OneState" is 0.} -> ['ws', 'sdy', 'bxy', 'mjl']
[!] ERROR: Line 947 {Failed, state "init" in statemachine "OneState" not found.} -> ['qyj']

{"_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="}
END_OF_MODEL
TRANSITION_COUNT Lifeline2
MESSAGE_COUNT normal
STATE_COUNT Lifeline2
TRANSITION_COUNT Role1
CLASS_INFO_HIDDEN Message1
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT Interaction1 incoming
INCOMING_MSG_COUNT State2 Message1
STATE_COUNT State5
TRANSITION_COUNT State5
MESSAGE_COUNT Role4
TRANSITION_COUNT OneState
MESSAGE_COUNT State7
SUBSEQUENT_STATE_COUNT State6 State2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role5 Self
CLASS_INFO_HIDDEN dup
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT Lifeline1 dup_inter
MESSAGE_COUNT State3
STATE_COUNT Lifeline2
STATE_COUNT State8
MESSAGE_COUNT State3
STATE_COUNT dup
TRANSITION_COUNT dup_inter
TRANSITION_COUNT Lifeline1
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT State6 Role5
INCOMING_MSG_COUNT Role1 incoming
MESSAGE_COUNT Role5
TRANSITION_COUNT Role7
STATE_COUNT OneState
STATE_COUNT State3
TRANSITION_COUNT dup_name
INCOMING_MSG_COUNT oneLine Message1
SUBSEQUENT_STATE_COUNT Role1 Lifeline3
MESSAGE_COUNT dup
CLASS_ATTR_VISIBILITY oneLine State2
SUBSEQUENT_STATE_COUNT Role8 self
TRANSITION_COUNT Lifeline3
STATE_COUNT dup
STATE_COUNT State3
MESSAGE_COUNT State5
STATE_COUNT State7
PTCP_OBJ_COUNT Role8
STATE_COUNT Role1
MESSAGE_COUNT OneState
MESSAGE_COUNT normal
SUBSEQUENT_STATE_COUNT same self
STATE_COUNT dup2
TRANSITION_COUNT State2
STATE_COUNT dup_name
TRANSITION_COUNT State7
TRANSITION_COUNT dup
INCOMING_MSG_COUNT State7 Message1
SUBSEQUENT_STATE_COUNT State7 dup
STATE_COUNT self
STATE_COUNT Role4
TRANSITION_COUNT Role6
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT Lifeline2 dup_inter
PTCP_OBJ_COUNT dup_name
SUBSEQUENT_STATE_COUNT Lifeline1 dup
CLASS_TOP_BASE Role8
INCOMING_MSG_COUNT Role7 Lifeline2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 Message3
TRANSITION_COUNT Role2
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT dup Role4
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT State6 Interaction1
MESSAGE_COUNT OneState
PTCP_OBJ_COUNT State7
STATE_COUNT Message1
STATE_COUNT State3
TRANSITION_COUNT dup_name
TRANSITION_COUNT dup
TRANSITION_COUNT Role7
INCOMING_MSG_COUNT normal dup_name
CLASS_ASSO_CLASS_LIST dup
TRANSITION_COUNT State4
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT dup incoming
STATE_COUNT Message2
TRANSITION_COUNT oneLine
PTCP_OBJ_COUNT State7
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT Lifeline2 dup_inter
MESSAGE_COUNT OneState
MESSAGE_COUNT Interaction1
PTCP_OBJ_COUNT dup_name
INCOMING_MSG_COUNT Role8 Role4
STATE_COUNT incoming
CLASS_ASSO_COUNT State6
SUBSEQUENT_STATE_COUNT State2 dup
STATE_COUNT Interaction1
PTCP_OBJ_COUNT dup
STATE_COUNT same
CLASS_IMPLEMENT_INTERFACE_LIST dup_name
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT dup_name Lifeline3
STATE_COUNT Role4
INCOMING_MSG_COUNT dup Role1
TRANSITION_COUNT dup2
TRANSITION_COUNT Lifeline1
STATE_COUNT init
STATE_COUNT Role1
STATE_COUNT incoming
STATE_COUNT Self
SUBSEQUENT_STATE_COUNT State8 Message1
SUBSEQUENT_STATE_COUNT dup OneState
SUBSEQUENT_STATE_COUNT Lifeline1 State5
STATE_COUNT Role3
STATE_COUNT oneLine
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT Interaction1 OneState
MESSAGE_COUNT State1
TRANSITION_COUNT NoState
CLASS_OPERATION_COUNT Role1 NON_PARAM
TRANSITION_COUNT dup_name
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT dup2
STATE_COUNT State3
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT Self
TRANSITION_COUNT dup
STATE_COUNT Lifeline2
TRANSITION_COUNT State8
SUBSEQUENT_STATE_COUNT Role6 dup
INCOMING_MSG_COUNT Role2 State3
PTCP_OBJ_COUNT Normal
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT Role6
TRANSITION_COUNT Lifeline1
STATE_COUNT Role7
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT Role6 oneLine
INCOMING_MSG_COUNT self NoState
TRANSITION_COUNT Role4
TRANSITION_COUNT State6
PTCP_OBJ_COUNT same
INCOMING_MSG_COUNT dup_name State2
SUBSEQUENT_STATE_COUNT Role4 Lifeline1
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline1 Role6
CLASS_OPERATION_VISIBILITY Role8 Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline2 Self
STATE_COUNT dup
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role2 Lifeline1
TRANSITION_COUNT State2
TRANSITION_COUNT Message2
PTCP_OBJ_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State1 State2
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
TRANSITION_COUNT Role6
TRANSITION_COUNT OneState
TRANSITION_COUNT Role4
TRANSITION_COUNT Role7
INCOMING_MSG_COUNT dup same
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT dup_inter
SUBSEQUENT_STATE_COUNT Message3 dup
TRANSITION_COUNT State7
TRANSITION_COUNT dup
MESSAGE_COUNT Role4
TRANSITION_COUNT normal
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role6 State6
STATE_COUNT State2
MESSAGE_COUNT Self
STATE_COUNT State5
STATE_COUNT Role2
PTCP_OBJ_COUNT OneState
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Lifeline2 Message2
STATE_COUNT State3
CLASS_ATTR_COUNT Lifeline1 SELF_ONLY
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT Role3
CLASS_ASSO_CLASS_LIST normal
STATE_COUNT dup
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT dup normal
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT State7 Lifeline1
STATE_COUNT Interaction1
PTCP_OBJ_COUNT Role5
PTCP_OBJ_COUNT Role3
MESSAGE_COUNT Role7
TRANSITION_COUNT Role4
STATE_COUNT Role5
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State8 dup
SUBSEQUENT_STATE_COUNT Role1 State8
SUBSEQUENT_STATE_COUNT Message3 Role8
INCOMING_MSG_COUNT dup Lifeline3
STATE_COUNT State2
INCOMING_MSG_COUNT Lifeline2 Lifeline2
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State1 Role1
MESSAGE_COUNT dup_name
STATE_COUNT dup
INCOMING_MSG_COUNT State8 Lifeline1
SUBSEQUENT_STATE_COUNT dup_name Message3
SUBSEQUENT_STATE_COUNT OneState Self
TRANSITION_COUNT State4
STATE_COUNT Role4
STATE_COUNT State2
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT State5
TRANSITION_COUNT Message3
MESSAGE_COUNT State3
SUBSEQUENT_STATE_COUNT Role3 State1
SUBSEQUENT_STATE_COUNT Role1 State1
STATE_COUNT State8
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
SUBSEQUENT_STATE_COUNT normal State1
STATE_COUNT Message1
PTCP_OBJ_COUNT Interaction1
INCOMING_MSG_COUNT State2 Normal
SUBSEQUENT_STATE_COUNT State2 normal
SUBSEQUENT_STATE_COUNT dup Message1
STATE_COUNT State3
TRANSITION_COUNT Role6
CLASS_OPERATION_COUNT dup2 NON_PARAM
SUBSEQUENT_STATE_COUNT State6 same
PTCP_OBJ_COUNT Role1
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT Role7
SUBSEQUENT_STATE_COUNT dup2 dup
STATE_COUNT State5
TRANSITION_COUNT State1
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role1 State3
SUBSEQUENT_STATE_COUNT dup Message3
PTCP_OBJ_COUNT OneState
STATE_COUNT Lifeline3
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State5 Role6
SUBSEQUENT_STATE_COUNT dup State3
STATE_COUNT Role5
CLASS_ASSO_COUNT State1
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT State2 State5
STATE_COUNT Self
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State3
PTCP_OBJ_COUNT OneState
SUBSEQUENT_STATE_COUNT Message1 dup
STATE_COUNT same
STATE_COUNT same
PTCP_OBJ_COUNT State8
MESSAGE_COUNT Lifeline1
CLASS_COUNT
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Message2 Role8
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
INCOMING_MSG_COUNT Lifeline2 Message2
TRANSITION_COUNT State7
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT State7 NoState
STATE_COUNT Self
PTCP_OBJ_COUNT dup_name
MESSAGE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT Lifeline1 Role6
TRANSITION_COUNT Lifeline2
STATE_COUNT State5
MESSAGE_COUNT Role2
STATE_COUNT Role1
STATE_COUNT Normal
TRANSITION_COUNT Role5
STATE_COUNT Lifeline1
TRANSITION_COUNT dup_name
MESSAGE_COUNT State1
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role5 Role1
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Message3 State3
SUBSEQUENT_STATE_COUNT Role8 dup_name
SUBSEQUENT_STATE_COUNT Role1 Message2
TRANSITION_COUNT State6
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT dup2 OneState
SUBSEQUENT_STATE_COUNT Role7 Role5
SUBSEQUENT_STATE_COUNT Role6 State8
MESSAGE_COUNT Role3
STATE_COUNT self
SUBSEQUENT_STATE_COUNT self dup
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline2
TRANSITION_COUNT Message2
SUBSEQUENT_STATE_COUNT dup Role6
INCOMING_MSG_COUNT State6 init
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup Message1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT OneState Role8
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT dup Message1
STATE_COUNT Message1
CLASS_ASSO_CLASS_LIST State2
STATE_COUNT Lifeline1
MESSAGE_COUNT Normal
TRANSITION_COUNT Role3
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT State2 Role1
INCOMING_MSG_COUNT Lifeline3 dup_name
TRANSITION_COUNT State3
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT dup_name
TRANSITION_COUNT State7
STATE_COUNT State7
INCOMING_MSG_COUNT Role7 State5
SUBSEQUENT_STATE_COUNT Role2 State7
TRANSITION_COUNT State1
TRANSITION_COUNT Normal
MESSAGE_COUNT State3
INCOMING_MSG_COUNT Role1 Lifeline1
SUBSEQUENT_STATE_COUNT State3 Role1
STATE_COUNT Interaction1
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT State3 Role8
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT dup_name dup
TRANSITION_COUNT dup
TRANSITION_COUNT self
TRANSITION_COUNT Role8
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT dup2 State2
STATE_COUNT init
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT Lifeline3 dup
STATE_COUNT Role4
STATE_COUNT incoming
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup_name same
SUBSEQUENT_STATE_COUNT Role1 Self
SUBSEQUENT_STATE_COUNT Role3 State8
CLASS_ASSO_CLASS_LIST dup_name
MESSAGE_COUNT dup2
CLASS_ATTR_VISIBILITY Normal State7
TRANSITION_COUNT dup
STATE_COUNT Role5
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT dup2 Role4
SUBSEQUENT_STATE_COUNT Role2 oneLine
MESSAGE_COUNT State3
TRANSITION_COUNT dup_name
STATE_COUNT Role6
MESSAGE_COUNT Role8
SUBSEQUENT_STATE_COUNT State6 dup
MESSAGE_COUNT State7
STATE_COUNT Message1
MESSAGE_COUNT State7
INCOMING_MSG_COUNT incoming Normal
PTCP_OBJ_COUNT Role8
SUBSEQUENT_STATE_COUNT oneLine same
TRANSITION_COUNT NoState
INCOMING_MSG_COUNT oneLine dup_inter
SUBSEQUENT_STATE_COUNT State2 oneLine
STATE_COUNT Role8
INCOMING_MSG_COUNT State3 Lifeline2
SUBSEQUENT_STATE_COUNT init NoState
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State2 dup
TRANSITION_COUNT Lifeline2
MESSAGE_COUNT dup
CLASS_ASSO_COUNT State7
TRANSITION_COUNT oneLine
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT Message3 Role8
SUBSEQUENT_STATE_COUNT State1 dup2
TRANSITION_COUNT Self
TRANSITION_COUNT incoming
MESSAGE_COUNT State1
TRANSITION_COUNT Role7
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Role4 dup2
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup Role1
PTCP_OBJ_COUNT oneLine
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT State8 Self
SUBSEQUENT_STATE_COUNT same dup_inter
SUBSEQUENT_STATE_COUNT State2 Lifeline1
STATE_COUNT init
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline1 Normal
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role3 Lifeline2
TRANSITION_COUNT Role2
STATE_COUNT State1
TRANSITION_COUNT Role7
TRANSITION_COUNT dup_name
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State8 Lifeline1
STATE_COUNT self
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT dup Lifeline2
SUBSEQUENT_STATE_COUNT dup Lifeline3
INCOMING_MSG_COUNT Lifeline1 dup_name
SUBSEQUENT_STATE_COUNT Lifeline1 State3
STATE_COUNT Lifeline3
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT dup_inter NoState
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT init oneLine
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Role6 Lifeline1
STATE_COUNT State5
STATE_COUNT State1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT OneState dup
TRANSITION_COUNT init
MESSAGE_COUNT self
STATE_COUNT same
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT OneState normal
TRANSITION_COUNT Self
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 State3
PTCP_OBJ_COUNT State3
STATE_COUNT Role4
STATE_COUNT State8
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT State3 State4
INCOMING_MSG_COUNT Role1 dup_name
TRANSITION_COUNT Role3
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT Role6
SUBSEQUENT_STATE_COUNT State2 same
INCOMING_MSG_COUNT dup Lifeline1
PTCP_OBJ_COUNT init
SUBSEQUENT_STATE_COUNT dup_name dup
STATE_COUNT dup
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Role4 Role6
INCOMING_MSG_COUNT State3 Message2
INCOMING_MSG_COUNT State6 Role1
TRANSITION_COUNT dup_name
TRANSITION_COUNT Role2
CLASS_COUNT
STATE_COUNT OneState
MESSAGE_COUNT OneState
TRANSITION_COUNT State1
INCOMING_MSG_COUNT Lifeline1 normal
STATE_COUNT Role3
TRANSITION_COUNT oneLine
INCOMING_MSG_COUNT Role1 Message1
MESSAGE_COUNT Message2
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT Role6 dup2
STATE_COUNT State2
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State2 dup
TRANSITION_COUNT Lifeline3
PTCP_OBJ_COUNT State4
INCOMING_MSG_COUNT Lifeline1 State1
TRANSITION_COUNT State3
STATE_COUNT same
TRANSITION_COUNT Self
PTCP_OBJ_COUNT normal
MESSAGE_COUNT Role7
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline3 Message2
INCOMING_MSG_COUNT dup incoming
INCOMING_MSG_COUNT State2 Lifeline1
MESSAGE_COUNT incoming
TRANSITION_COUNT same
TRANSITION_COUNT self
STATE_COUNT normal
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline3 dup
CLASS_COUNT
SUBSEQUENT_STATE_COUNT State7 dup
MESSAGE_COUNT Role4
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State5 dup2
TRANSITION_COUNT State8
TRANSITION_COUNT dup
STATE_COUNT Lifeline1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT OneState
SUBSEQUENT_STATE_COUNT Role8 dup_name
INCOMING_MSG_COUNT Lifeline1 State4
CLASS_TOP_BASE State5
PTCP_OBJ_COUNT State1
STATE_COUNT incoming
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT dup self
PTCP_OBJ_COUNT State7
TRANSITION_COUNT State2
MESSAGE_COUNT normal
STATE_COUNT Role3
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Role8 Message1
STATE_COUNT Lifeline1
MESSAGE_COUNT dup_inter
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Message2 dup_name
TRANSITION_COUNT Message1
STATE_COUNT Message2
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Message3 dup
SUBSEQUENT_STATE_COUNT dup dup2
TRANSITION_COUNT Message3
MESSAGE_COUNT normal
TRANSITION_COUNT State7
STATE_COUNT State3
SUBSEQUENT_STATE_COUNT Role1 State3
INCOMING_MSG_COUNT Interaction1 Role4
CLASS_OPERATION_VISIBILITY State6 dup
MESSAGE_COUNT dup2
STATE_COUNT init
STATE_COUNT Role1
STATE_COUNT dup
TRANSITION_COUNT Interaction1
TRANSITION_COUNT NoState
STATE_COUNT dup
TRANSITION_COUNT State1
MESSAGE_COUNT dup
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State1 Role5
INCOMING_MSG_COUNT dup same
SUBSEQUENT_STATE_COUNT Lifeline1 init
MESSAGE_COUNT Role4
STATE_COUNT normal
MESSAGE_COUNT dup
INCOMING_MSG_COUNT init OneState
STATE_COUNT State1
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT dup2 State8
STATE_COUNT dup
MESSAGE_COUNT dup
STATE_COUNT same
TRANSITION_COUNT State2
PTCP_OBJ_COUNT init
SUBSEQUENT_STATE_COUNT State5 Lifeline1
SUBSEQUENT_STATE_COUNT Role1 Interaction1
CLASS_ATTR_COUNT dup_name SELF_ONLY
TRANSITION_COUNT Message2
SUBSEQUENT_STATE_COUNT Role7 normal
TRANSITION_COUNT Role8
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT incoming Normal
PTCP_OBJ_COUNT State3
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Role3 State1
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Lifeline1 dup
SUBSEQUENT_STATE_COUNT State6 dup_inter
CLASS_ATTR_VISIBILITY NoState dup
TRANSITION_COUNT dup_inter
TRANSITION_COUNT Role2
STATE_COUNT State2
STATE_COUNT dup2
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup State2
STATE_COUNT dup
STATE_COUNT Role1
STATE_COUNT Role7
INCOMING_MSG_COUNT Self Role6
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT State2 Role7
INCOMING_MSG_COUNT OneState Message2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State5 incoming
SUBSEQUENT_STATE_COUNT dup_name Role1
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT Normal Role1
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT normal State5
SUBSEQUENT_STATE_COUNT Lifeline1 Role6
INCOMING_MSG_COUNT dup OneState
TRANSITION_COUNT Lifeline1
CLASS_OPERATION_VISIBILITY Role1 State4
PTCP_OBJ_COUNT Role3
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT dup State2
STATE_COUNT Message1
STATE_COUNT dup
INCOMING_MSG_COUNT Lifeline2 Lifeline3
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT same Role5
INCOMING_MSG_COUNT Role1 State1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline2 normal
SUBSEQUENT_STATE_COUNT dup Message1
SUBSEQUENT_STATE_COUNT dup_name State3
STATE_COUNT State2
TRANSITION_COUNT State4
MESSAGE_COUNT same
INCOMING_MSG_COUNT NoState Message3
SUBSEQUENT_STATE_COUNT Role4 normal
SUBSEQUENT_STATE_COUNT State2 State1
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup_inter Role4
MESSAGE_COUNT Self
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT Message3 dup
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup Role5
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT oneLine State1
SUBSEQUENT_STATE_COUNT Role4 dup
SUBSEQUENT_STATE_COUNT Lifeline2 Self
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT Role7
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT dup State1
STATE_COUNT Role6
STATE_COUNT dup
STATE_COUNT dup
STATE_COUNT State5
TRANSITION_COUNT Message3
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Role5
STATE_COUNT Role5
STATE_COUNT Lifeline2
TRANSITION_COUNT init
CLASS_OPERATION_COUNT dup_name PARAM
CLASS_IMPLEMENT_INTERFACE_LIST dup
TRANSITION_COUNT Role2
STATE_COUNT State7
STATE_COUNT State5
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT incoming Lifeline2
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT OneState Message1
SUBSEQUENT_STATE_COUNT State1 dup
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup_inter Lifeline1
MESSAGE_COUNT Lifeline1
STATE_COUNT Role1
PTCP_OBJ_COUNT dup2
STATE_COUNT dup
TRANSITION_COUNT State3
TRANSITION_COUNT dup
INCOMING_MSG_COUNT State7 Lifeline1
STATE_COUNT self
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT dup2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT dup dup
SUBSEQUENT_STATE_COUNT State2 State7
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT dup_name Role1
SUBSEQUENT_STATE_COUNT Message3 dup
TRANSITION_COUNT State6
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT Role8 Lifeline1
SUBSEQUENT_STATE_COUNT dup dup_name
STATE_COUNT dup_name
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup Role4
SUBSEQUENT_STATE_COUNT Role2 dup
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup_name init
SUBSEQUENT_STATE_COUNT OneState dup
TRANSITION_COUNT dup_name
STATE_COUNT Lifeline2
TRANSITION_COUNT OneState
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT NoState dup
TRANSITION_COUNT Role4
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT dup_name Lifeline2
MESSAGE_COUNT normal
STATE_COUNT Role2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Role2 Lifeline3
MESSAGE_COUNT Role6
SUBSEQUENT_STATE_COUNT self dup
MESSAGE_COUNT init
STATE_COUNT Lifeline1
STATE_COUNT dup2
CLASS_COUNT
MESSAGE_COUNT OneState
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT Role6 oneLine
TRANSITION_COUNT Lifeline2
MESSAGE_COUNT self
TRANSITION_COUNT Role1
STATE_COUNT State7
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT Role2
SUBSEQUENT_STATE_COUNT Lifeline3 Lifeline1
SUBSEQUENT_STATE_COUNT State1 self
SUBSEQUENT_STATE_COUNT NoState same
MESSAGE_COUNT Message3
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT dup_name Role3
MESSAGE_COUNT Lifeline1
INCOMING_MSG_COUNT Message3 dup_inter
TRANSITION_COUNT State4
INCOMING_MSG_COUNT Lifeline1 Role2
STATE_COUNT Interaction1
CLASS_OPERATION_COUNT State1 ALL
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT Role5 dup2
INCOMING_MSG_COUNT State2 Role2
INCOMING_MSG_COUNT Message3 State6
STATE_COUNT Message2
INCOMING_MSG_COUNT Message1 Role2
INCOMING_MSG_COUNT dup2 Role1
TRANSITION_COUNT init
TRANSITION_COUNT Role2
TRANSITION_COUNT Role7
TRANSITION_COUNT State1
STATE_COUNT Lifeline3
STATE_COUNT State1
STATE_COUNT dup
CLASS_ASSO_COUNT dup
TRANSITION_COUNT dup
TRANSITION_COUNT dup
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT dup Lifeline2
PTCP_OBJ_COUNT Lifeline1
CLASS_ASSO_CLASS_LIST Role3
STATE_COUNT State3
PTCP_OBJ_COUNT Role1
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT State2
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Self Role5
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT dup_inter Self
SUBSEQUENT_STATE_COUNT State3 init
INCOMING_MSG_COUNT Role6 Role5
STATE_COUNT Role8
MESSAGE_COUNT dup
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT init self
TRANSITION_COUNT Role7
SUBSEQUENT_STATE_COUNT Normal incoming
TRANSITION_COUNT NoState
TRANSITION_COUNT dup_inter
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT OneState
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT Role1 Role2
SUBSEQUENT_STATE_COUNT init dup
MESSAGE_COUNT Role6
INCOMING_MSG_COUNT Lifeline2 dup
STATE_COUNT dup2
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Self Lifeline1
INCOMING_MSG_COUNT Role3 Normal
SUBSEQUENT_STATE_COUNT dup dup
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State1 State7
STATE_COUNT State6
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State8 State3
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT Role6 dup2
STATE_COUNT State6
SUBSEQUENT_STATE_COUNT State6 normal
SUBSEQUENT_STATE_COUNT Message2 NoState
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT dup_inter
STATE_COUNT State5
MESSAGE_COUNT State5
MESSAGE_COUNT dup_inter
STATE_COUNT State3
STATE_COUNT normal
INCOMING_MSG_COUNT self State8
STATE_COUNT Normal
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT Role4 Lifeline1
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT Role7
PTCP_OBJ_COUNT Lifeline2
STATE_COUNT dup
TRANSITION_COUNT dup
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT State1 Message1
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT self
TRANSITION_COUNT Normal
PTCP_OBJ_COUNT State4
INCOMING_MSG_COUNT Role4 OneState
INCOMING_MSG_COUNT Lifeline1 normal
STATE_COUNT self
TRANSITION_COUNT State2
STATE_COUNT Normal
PTCP_OBJ_COUNT dup
STATE_COUNT Message3
TRANSITION_COUNT State2
STATE_COUNT Lifeline1
STATE_COUNT dup2
TRANSITION_COUNT State3
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Lifeline2 State3
STATE_COUNT dup
STATE_COUNT dup
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT Message1 State5
INCOMING_MSG_COUNT OneState init
INCOMING_MSG_COUNT Self Lifeline3
MESSAGE_COUNT oneLine
TRANSITION_COUNT NoState
TRANSITION_COUNT init
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT Self incoming
TRANSITION_COUNT Role5
STATE_COUNT Interaction1
INCOMING_MSG_COUNT dup State1
SUBSEQUENT_STATE_COUNT NoState Lifeline1
STATE_COUNT Role6
TRANSITION_COUNT dup
TRANSITION_COUNT OneState
SUBSEQUENT_STATE_COUNT State7 Lifeline1
MESSAGE_COUNT Message3
CLASS_INFO_HIDDEN State1
INCOMING_MSG_COUNT State3 Message2
TRANSITION_COUNT State1
STATE_COUNT State4
STATE_COUNT OneState
MESSAGE_COUNT Role1
SUBSEQUENT_STATE_COUNT dup State2
MESSAGE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT Role1 Role5
MESSAGE_COUNT State8
PTCP_OBJ_COUNT Normal
TRANSITION_COUNT Role5
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT dup
TRANSITION_COUNT Role4
TRANSITION_COUNT Role3
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT self Lifeline1
SUBSEQUENT_STATE_COUNT State1 Role5
PTCP_OBJ_COUNT State1
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT dup_inter
SUBSEQUENT_STATE_COUNT dup_inter Message2
STATE_COUNT State1
TRANSITION_COUNT State6
TRANSITION_COUNT State6
TRANSITION_COUNT Lifeline2
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT dup_name dup2
SUBSEQUENT_STATE_COUNT dup Message3
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT State8 dup
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Lifeline1 Role8
STATE_COUNT Self
SUBSEQUENT_STATE_COUNT Role1 dup
STATE_COUNT Role2
PTCP_OBJ_COUNT Interaction1
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT State1 dup
MESSAGE_COUNT Message1
TRANSITION_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Lifeline2 normal
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT dup_name dup
PTCP_OBJ_COUNT Role8
MESSAGE_COUNT State3
TRANSITION_COUNT Role2
TRANSITION_COUNT State1
STATE_COUNT Lifeline1
CLASS_OPERATION_VISIBILITY Role1 dup
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup_inter Role5
TRANSITION_COUNT dup
TRANSITION_COUNT Message2
PTCP_OBJ_COUNT State4
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT State3 dup2
TRANSITION_COUNT self
PTCP_OBJ_COUNT NoState
TRANSITION_COUNT Interaction1
STATE_COUNT dup
TRANSITION_COUNT dup_name
MESSAGE_COUNT dup_name
TRANSITION_COUNT Role4
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Self State2
STATE_COUNT NoState
INCOMING_MSG_COUNT Role5 State2
PTCP_OBJ_COUNT incoming
TRANSITION_COUNT Message1
TRANSITION_COUNT Lifeline2
STATE_COUNT Role1
MESSAGE_COUNT OneState
MESSAGE_COUNT Message2
MESSAGE_COUNT State3
STATE_COUNT State2
INCOMING_MSG_COUNT Message1 Role4
STATE_COUNT Normal
STATE_COUNT State2
TRANSITION_COUNT Role8
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Message3 Role5
INCOMING_MSG_COUNT dup2 Role2
STATE_COUNT dup_name
STATE_COUNT dup_name
MESSAGE_COUNT dup_name
STATE_COUNT same
SUBSEQUENT_STATE_COUNT Role7 Message1
SUBSEQUENT_STATE_COUNT State5 self
MESSAGE_COUNT Role6
SUBSEQUENT_STATE_COUNT Message3 dup
TRANSITION_COUNT dup
TRANSITION_COUNT Message3
STATE_COUNT dup
MESSAGE_COUNT Self
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT incoming dup_name
TRANSITION_COUNT dup
STATE_COUNT Lifeline1
TRANSITION_COUNT State4
MESSAGE_COUNT normal
SUBSEQUENT_STATE_COUNT State5 dup_inter
TRANSITION_COUNT State7
STATE_COUNT Message1
MESSAGE_COUNT State6
PTCP_OBJ_COUNT init
STATE_COUNT Role8
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT dup2
SUBSEQUENT_STATE_COUNT self State5
PTCP_OBJ_COUNT State3
SUBSEQUENT_STATE_COUNT dup State4
SUBSEQUENT_STATE_COUNT same State3
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT OneState init
SUBSEQUENT_STATE_COUNT State2 Role1
TRANSITION_COUNT dup_inter
INCOMING_MSG_COUNT Role6 State6
PTCP_OBJ_COUNT State2
STATE_COUNT Lifeline3
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Role5 Normal
TRANSITION_COUNT Role5
STATE_COUNT Interaction1
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT oneLine init
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline2
STATE_COUNT dup_inter
STATE_COUNT dup
INCOMING_MSG_COUNT State2 Message1
SUBSEQUENT_STATE_COUNT dup_inter State8
INCOMING_MSG_COUNT Lifeline1 Role1
TRANSITION_COUNT oneLine
TRANSITION_COUNT dup
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT State2 OneState
PTCP_OBJ_COUNT dup
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline2 normal
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Interaction1 Message1
SUBSEQUENT_STATE_COUNT Message1 oneLine
TRANSITION_COUNT Lifeline2
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role6 incoming
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Role7 OneState
TRANSITION_COUNT incoming
TRANSITION_COUNT State1
STATE_COUNT Role8
PTCP_OBJ_COUNT dup
STATE_COUNT Normal
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline2 dup_name
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State4 Role6
INCOMING_MSG_COUNT Lifeline1 dup_name
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State6 Message3
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT State1
STATE_COUNT incoming
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Message1 Role5
PTCP_OBJ_COUNT Role2
INCOMING_MSG_COUNT Interaction1 Message2
SUBSEQUENT_STATE_COUNT Role8 State7
MESSAGE_COUNT dup
PTCP_OBJ_COUNT dup_name
INCOMING_MSG_COUNT dup State6
STATE_COUNT Message2
STATE_COUNT State1
MESSAGE_COUNT incoming
TRANSITION_COUNT Role2
STATE_COUNT State8
INCOMING_MSG_COUNT Role6 Role2
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT State7 Role8
MESSAGE_COUNT dup
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Role5 State3
STATE_COUNT Lifeline2
CLASS_COUNT
INCOMING_MSG_COUNT Role4 dup2
SUBSEQUENT_STATE_COUNT State7 NoState
TRANSITION_COUNT self
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT Role1 Role2
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT Lifeline1 dup
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT Role3
TRANSITION_COUNT dup
CLASS_IMPLEMENT_INTERFACE_LIST dup_inter
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Lifeline2 Message2
SUBSEQUENT_STATE_COUNT same normal
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT dup2
STATE_COUNT Self
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT dup_name State8
TRANSITION_COUNT State4
PTCP_OBJ_COUNT State2
INCOMING_MSG_COUNT Lifeline2 State3
SUBSEQUENT_STATE_COUNT State3 incoming
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State8 State7
STATE_COUNT Message2
TRANSITION_COUNT Role8
STATE_COUNT dup
INCOMING_MSG_COUNT State7 oneLine
TRANSITION_COUNT Self
STATE_COUNT incoming
MESSAGE_COUNT Role1
INCOMING_MSG_COUNT Lifeline1 Normal
STATE_COUNT NoState
SUBSEQUENT_STATE_COUNT oneLine dup_inter
STATE_COUNT Role6
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT normal
SUBSEQUENT_STATE_COUNT State4 Role8
TRANSITION_COUNT State8
STATE_COUNT Role6
TRANSITION_COUNT dup
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State8 Message1
STATE_COUNT dup2
STATE_COUNT dup2
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Role7
TRANSITION_COUNT OneState
SUBSEQUENT_STATE_COUNT dup Self
SUBSEQUENT_STATE_COUNT dup Lifeline2
MESSAGE_COUNT State4
SUBSEQUENT_STATE_COUNT Message1 State7
SUBSEQUENT_STATE_COUNT Message1 Self
INCOMING_MSG_COUNT Lifeline1 oneLine
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Message1 Normal
MESSAGE_COUNT State1
SUBSEQUENT_STATE_COUNT State1 dup2
SUBSEQUENT_STATE_COUNT Message1 incoming
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role8 normal
STATE_COUNT Lifeline1
TRANSITION_COUNT State2
MESSAGE_COUNT Lifeline2
INCOMING_MSG_COUNT incoming Role8
SUBSEQUENT_STATE_COUNT State1 Lifeline3
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT Role1 dup
STATE_COUNT State4
STATE_COUNT dup_name
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT Role1 Lifeline2
TRANSITION_COUNT Message3
CLASS_ASSO_CLASS_LIST dup2
STATE_COUNT dup
TRANSITION_COUNT dup
TRANSITION_COUNT State3
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State4 Message3
SUBSEQUENT_STATE_COUNT Message1 State8
MESSAGE_COUNT Normal
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT Lifeline2 Role3
STATE_COUNT Role4
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT Role4 Self
SUBSEQUENT_STATE_COUNT State5 dup
TRANSITION_COUNT Message1
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup dup2
TRANSITION_COUNT dup_name
TRANSITION_COUNT Message1
CLASS_ATTR_COUNT State2 ALL
TRANSITION_COUNT Role1
TRANSITION_COUNT dup
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State2 Lifeline2
PTCP_OBJ_COUNT State4
INCOMING_MSG_COUNT State1 normal
TRANSITION_COUNT Role1
CLASS_OPERATION_COUNT Lifeline1 NON_PARAM
STATE_COUNT incoming
INCOMING_MSG_COUNT OneState Role1
STATE_COUNT State1
PTCP_OBJ_COUNT dup
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT Role8 Lifeline3
SUBSEQUENT_STATE_COUNT Role3 Lifeline2
PTCP_OBJ_COUNT Message1
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Lifeline2
STATE_COUNT State3
STATE_COUNT Normal
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT dup
TRANSITION_COUNT Interaction1
MESSAGE_COUNT Role1
SUBSEQUENT_STATE_COUNT State6 Lifeline2
SUBSEQUENT_STATE_COUNT Role5 Lifeline1
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Role4 dup
SUBSEQUENT_STATE_COUNT incoming dup2
STATE_COUNT oneLine
PTCP_OBJ_COUNT Role2
SUBSEQUENT_STATE_COUNT Self Role6
INCOMING_MSG_COUNT Role1 Role2
SUBSEQUENT_STATE_COUNT dup Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline3 dup_name
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Role5 normal
TRANSITION_COUNT Role8
INCOMING_MSG_COUNT State7 State6
STATE_COUNT Lifeline3
STATE_COUNT Lifeline3
STATE_COUNT self
INCOMING_MSG_COUNT self Lifeline1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT OneState dup
INCOMING_MSG_COUNT Normal Message1
PTCP_OBJ_COUNT State4
INCOMING_MSG_COUNT Self Lifeline1
SUBSEQUENT_STATE_COUNT Message2 dup_name
SUBSEQUENT_STATE_COUNT State4 Message2
SUBSEQUENT_STATE_COUNT dup Role8
TRANSITION_COUNT Message1
MESSAGE_COUNT normal
TRANSITION_COUNT normal
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT dup_name oneLine
INCOMING_MSG_COUNT Message1 Normal
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT incoming
TRANSITION_COUNT dup
TRANSITION_COUNT State5
TRANSITION_COUNT same
MESSAGE_COUNT oneLine
SUBSEQUENT_STATE_COUNT dup Lifeline1
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT State2 State5
SUBSEQUENT_STATE_COUNT Lifeline2 dup
TRANSITION_COUNT normal
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup_inter State5
STATE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup Self
INCOMING_MSG_COUNT Message1 State3
STATE_COUNT dup2
TRANSITION_COUNT init
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Role5 dup
MESSAGE_COUNT Role3
STATE_COUNT State8
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT init Lifeline3
INCOMING_MSG_COUNT oneLine State3
SUBSEQUENT_STATE_COUNT OneState State3
CLASS_ASSO_COUNT NoState
TRANSITION_COUNT Role1
MESSAGE_COUNT Role5
STATE_COUNT NoState
STATE_COUNT Role7
STATE_COUNT dup
TRANSITION_COUNT dup_name
STATE_COUNT dup_inter
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State1 Lifeline3
PTCP_OBJ_COUNT State1
TRANSITION_COUNT dup
TRANSITION_COUNT dup2
SUBSEQUENT_STATE_COUNT normal dup
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT Lifeline3 dup
STATE_COUNT Role3
TRANSITION_COUNT State1
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT dup_inter State6
STATE_COUNT State5
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role5 Interaction1
PTCP_OBJ_COUNT Role5
MESSAGE_COUNT Message3
CLASS_OPERATION_COUNT Role2 RETURN
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT dup Message1
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT Self Message1
SUBSEQUENT_STATE_COUNT Role8 Message1
TRANSITION_COUNT OneState
INCOMING_MSG_COUNT dup Lifeline1
SUBSEQUENT_STATE_COUNT Lifeline2 dup
MESSAGE_COUNT dup_name
PTCP_OBJ_COUNT State1
TRANSITION_COUNT Message1
CLASS_ASSO_CLASS_LIST Lifeline2
SUBSEQUENT_STATE_COUNT incoming Lifeline1
TRANSITION_COUNT Role1
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT dup State1
PTCP_OBJ_COUNT State3
PTCP_OBJ_COUNT Lifeline3
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup State4
PTCP_OBJ_COUNT normal
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT State3 dup
STATE_COUNT Normal
CLASS_COUNT
INCOMING_MSG_COUNT dup2 State6
SUBSEQUENT_STATE_COUNT incoming Lifeline1
PTCP_OBJ_COUNT Role5
TRANSITION_COUNT Message1
TRANSITION_COUNT Lifeline2
CLASS_TOP_BASE dup
MESSAGE_COUNT NoState
SUBSEQUENT_STATE_COUNT Role2 Role2
TRANSITION_COUNT dup_name
STATE_COUNT State6
TRANSITION_COUNT same
INCOMING_MSG_COUNT Message2 Message3
PTCP_OBJ_COUNT incoming
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role8 dup_inter
STATE_COUNT Role1
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT dup Role6
TRANSITION_COUNT NoState
PTCP_OBJ_COUNT Role1
PTCP_OBJ_COUNT Role7
PTCP_OBJ_COUNT State6
TRANSITION_COUNT State7
STATE_COUNT Message1
STATE_COUNT dup2
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT init
STATE_COUNT State3
TRANSITION_COUNT State1
MESSAGE_COUNT State6
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT dup_name State6
SUBSEQUENT_STATE_COUNT OneState oneLine
SUBSEQUENT_STATE_COUNT Message3 self
TRANSITION_COUNT State5
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Role7
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT same
TRANSITION_COUNT State1
TRANSITION_COUNT normal
INCOMING_MSG_COUNT Lifeline2 dup
STATE_COUNT dup
MESSAGE_COUNT same
TRANSITION_COUNT State2
MESSAGE_COUNT self
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT dup2 normal
SUBSEQUENT_STATE_COUNT dup Self
STATE_COUNT dup2
CLASS_ASSO_CLASS_LIST State2
MESSAGE_COUNT dup_inter
STATE_COUNT Message1
INCOMING_MSG_COUNT NoState Lifeline1
STATE_COUNT State7
STATE_COUNT Message1
STATE_COUNT Message2
STATE_COUNT Lifeline2
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Lifeline1 Message2
MESSAGE_COUNT State1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role2 Lifeline1
SUBSEQUENT_STATE_COUNT State3 State2
STATE_COUNT State3
PTCP_OBJ_COUNT normal
SUBSEQUENT_STATE_COUNT OneState State3
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT Lifeline3
TRANSITION_COUNT State5
STATE_COUNT State4
PTCP_OBJ_COUNT Interaction1
INCOMING_MSG_COUNT Role4 State3
SUBSEQUENT_STATE_COUNT State3 dup_name
STATE_COUNT State6
PTCP_OBJ_COUNT State7
SUBSEQUENT_STATE_COUNT State8 dup_name
TRANSITION_COUNT dup
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT State7 dup2
MESSAGE_COUNT Role5
STATE_COUNT State7
PTCP_OBJ_COUNT Role1
TRANSITION_COUNT Role3
PTCP_OBJ_COUNT dup_inter
PTCP_OBJ_COUNT Self
STATE_COUNT State3
TRANSITION_COUNT State2
INCOMING_MSG_COUNT Role7 Self
SUBSEQUENT_STATE_COUNT State7 Normal
PTCP_OBJ_COUNT State8
STATE_COUNT dup_name
STATE_COUNT self
STATE_COUNT Self
SUBSEQUENT_STATE_COUNT Message1 dup
CLASS_ATTR_COUNT normal SELF_ONLY
INCOMING_MSG_COUNT State1 dup
SUBSEQUENT_STATE_COUNT State7 same
SUBSEQUENT_STATE_COUNT dup2 init
STATE_COUNT State8
SUBSEQUENT_STATE_COUNT normal Role5
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT State7
TRANSITION_COUNT State1
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT dup Message1
STATE_COUNT Self
STATE_COUNT State6
PTCP_OBJ_COUNT State2
STATE_COUNT normal
INCOMING_MSG_COUNT Role7 Message2
MESSAGE_COUNT Normal
TRANSITION_COUNT Role1
TRANSITION_COUNT dup
INCOMING_MSG_COUNT dup State5
SUBSEQUENT_STATE_COUNT State2 dup
STATE_COUNT State5
MESSAGE_COUNT dup
TRANSITION_COUNT State2
TRANSITION_COUNT State3
TRANSITION_COUNT State6
TRANSITION_COUNT dup
MESSAGE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State3 init
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT OneState Normal
SUBSEQUENT_STATE_COUNT State2 Role8
STATE_COUNT State2
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline1 State8
STATE_COUNT Lifeline2
MESSAGE_COUNT State2
STATE_COUNT Role1
MESSAGE_COUNT Role1
TRANSITION_COUNT Lifeline2
STATE_COUNT oneLine
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT incoming State3
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT State1 Role4
STATE_COUNT Lifeline3
INCOMING_MSG_COUNT dup dup2
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Message2 dup
STATE_COUNT Lifeline1
TRANSITION_COUNT same
PTCP_OBJ_COUNT State5
STATE_COUNT State6
INCOMING_MSG_COUNT Self State7
TRANSITION_COUNT Normal
CLASS_ATTR_VISIBILITY Lifeline3 Message1
MESSAGE_COUNT Self
SUBSEQUENT_STATE_COUNT Lifeline1 Message1
MESSAGE_COUNT dup2
TRANSITION_COUNT Role2
TRANSITION_COUNT Role6
MESSAGE_COUNT State4
INCOMING_MSG_COUNT dup_inter dup_name
SUBSEQUENT_STATE_COUNT Message3 Role5
INCOMING_MSG_COUNT same dup2
INCOMING_MSG_COUNT same State3
MESSAGE_COUNT NoState
TRANSITION_COUNT Lifeline2
CLASS_ATTR_VISIBILITY Self Role1
TRANSITION_COUNT State2
MESSAGE_COUNT State3
TRANSITION_COUNT same
INCOMING_MSG_COUNT Message2 State1
MESSAGE_COUNT OneState
SUBSEQUENT_STATE_COUNT State4 dup2
TRANSITION_COUNT Lifeline3
INCOMING_MSG_COUNT Lifeline1 Interaction1
STATE_COUNT dup
STATE_COUNT dup
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Role5 Lifeline2
STATE_COUNT State1
MESSAGE_COUNT OneState
SUBSEQUENT_STATE_COUNT State8 State7
TRANSITION_COUNT dup
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT State2
PTCP_OBJ_COUNT dup_name
STATE_COUNT dup
STATE_COUNT NoState
TRANSITION_COUNT State3
INCOMING_MSG_COUNT State3 dup_inter
CLASS_IMPLEMENT_INTERFACE_LIST State5
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup Role7
TRANSITION_COUNT State2
MESSAGE_COUNT dup
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 Message2
STATE_COUNT Message1
PTCP_OBJ_COUNT Role2
MESSAGE_COUNT State6
SUBSEQUENT_STATE_COUNT Role2 State1
SUBSEQUENT_STATE_COUNT dup_name Lifeline1
INCOMING_MSG_COUNT incoming dup
SUBSEQUENT_STATE_COUNT Lifeline1 Message3
STATE_COUNT Lifeline1
STATE_COUNT OneState
PTCP_OBJ_COUNT dup_inter
STATE_COUNT Role4
PTCP_OBJ_COUNT dup
STATE_COUNT Message3
SUBSEQUENT_STATE_COUNT Role4 dup
SUBSEQUENT_STATE_COUNT State8 State8
TRANSITION_COUNT self
INCOMING_MSG_COUNT Lifeline3 oneLine
INCOMING_MSG_COUNT Message2 dup2
INCOMING_MSG_COUNT Self dup
STATE_COUNT Role4
INCOMING_MSG_COUNT dup oneLine
SUBSEQUENT_STATE_COUNT Lifeline1 NoState
TRANSITION_COUNT Lifeline3
STATE_COUNT dup_name
INCOMING_MSG_COUNT NoState State2
TRANSITION_COUNT dup_name
TRANSITION_COUNT State3
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT self
STATE_COUNT Message1
TRANSITION_COUNT dup2
MESSAGE_COUNT Role5
TRANSITION_COUNT Role1
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline2 Role2
SUBSEQUENT_STATE_COUNT dup_name incoming
TRANSITION_COUNT self
PTCP_OBJ_COUNT Role4
TRANSITION_COUNT Lifeline1
TRANSITION_COUNT Role6
SUBSEQUENT_STATE_COUNT Normal State7
INCOMING_MSG_COUNT Role7 Lifeline1
TRANSITION_COUNT State3
INCOMING_MSG_COUNT Interaction1 normal
MESSAGE_COUNT dup
STATE_COUNT dup2
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT State4
STATE_COUNT Normal
INCOMING_MSG_COUNT self State4
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 Interaction1
PTCP_OBJ_COUNT State3
MESSAGE_COUNT dup
STATE_COUNT Lifeline1
STATE_COUNT same
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT normal dup
TRANSITION_COUNT State8
INCOMING_MSG_COUNT Lifeline1 dup
SUBSEQUENT_STATE_COUNT same State2
SUBSEQUENT_STATE_COUNT State2 Lifeline1
TRANSITION_COUNT Self
CLASS_INFO_HIDDEN Role2
TRANSITION_COUNT dup
TRANSITION_COUNT Role4
TRANSITION_COUNT Normal
PTCP_OBJ_COUNT Lifeline2
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Role6 dup
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT Message2
SUBSEQUENT_STATE_COUNT dup dup_name
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT State2 Role1
TRANSITION_COUNT Interaction1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup State1
PTCP_OBJ_COUNT State4
TRANSITION_COUNT Role6
TRANSITION_COUNT Normal
TRANSITION_COUNT State3
TRANSITION_COUNT dup
INCOMING_MSG_COUNT dup dup_name
SUBSEQUENT_STATE_COUNT Message3 State1
SUBSEQUENT_STATE_COUNT dup State5
STATE_COUNT Normal
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT same self
INCOMING_MSG_COUNT Lifeline1 dup2
PTCP_OBJ_COUNT State1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State2 State1
SUBSEQUENT_STATE_COUNT State1 Normal
SUBSEQUENT_STATE_COUNT State6 self
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT dup dup_inter
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Message1 dup_name
STATE_COUNT Normal
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Lifeline2 normal
TRANSITION_COUNT dup2
TRANSITION_COUNT incoming
STATE_COUNT dup
TRANSITION_COUNT dup2
STATE_COUNT State5
STATE_COUNT dup
STATE_COUNT Role7
STATE_COUNT Message3
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT dup_name Role3
INCOMING_MSG_COUNT dup Normal
TRANSITION_COUNT dup2
STATE_COUNT Role1
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT State1 dup
TRANSITION_COUNT Lifeline3
TRANSITION_COUNT Role7
INCOMING_MSG_COUNT self dup_name
SUBSEQUENT_STATE_COUNT Role1 State6
TRANSITION_COUNT Message3
SUBSEQUENT_STATE_COUNT Role1 same
SUBSEQUENT_STATE_COUNT Role8 dup
STATE_COUNT Role7
CLASS_OPERATION_COUNT dup_name RETURN
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State3 Lifeline2
SUBSEQUENT_STATE_COUNT Message1 State8
TRANSITION_COUNT Role5
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup Role2
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 Message2
STATE_COUNT dup_name
MESSAGE_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup2 Lifeline1
SUBSEQUENT_STATE_COUNT State5 Role2
STATE_COUNT self
PTCP_OBJ_COUNT State6
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT OneState Interaction1
STATE_COUNT dup
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT State3 dup_name
SUBSEQUENT_STATE_COUNT NoState dup_name
STATE_COUNT dup_name
MESSAGE_COUNT State8
INCOMING_MSG_COUNT Role4 normal
SUBSEQUENT_STATE_COUNT Lifeline2 State2
STATE_COUNT dup2
TRANSITION_COUNT oneLine
PTCP_OBJ_COUNT dup
STATE_COUNT State3
INCOMING_MSG_COUNT dup2 dup_name
SUBSEQUENT_STATE_COUNT init self
PTCP_OBJ_COUNT Role6
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup State7
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT self dup
TRANSITION_COUNT State7
CLASS_ATTR_VISIBILITY NoState OneState
STATE_COUNT Role6
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT dup Interaction1
TRANSITION_COUNT normal
TRANSITION_COUNT normal
STATE_COUNT State1
INCOMING_MSG_COUNT Message3 State8
TRANSITION_COUNT oneLine
SUBSEQUENT_STATE_COUNT State3 dup
PTCP_OBJ_COUNT dup_name
STATE_COUNT State1
TRANSITION_COUNT dup
INCOMING_MSG_COUNT Lifeline1 init
SUBSEQUENT_STATE_COUNT init Role1
TRANSITION_COUNT State2
TRANSITION_COUNT NoState
INCOMING_MSG_COUNT Role1 State5
TRANSITION_COUNT Lifeline1
STATE_COUNT Normal
SUBSEQUENT_STATE_COUNT Lifeline1 Role5
TRANSITION_COUNT State8
STATE_COUNT State1
TRANSITION_COUNT State3
CLASS_ASSO_CLASS_LIST Lifeline3
STATE_COUNT Role1
STATE_COUNT State2
PTCP_OBJ_COUNT OneState
MESSAGE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup Role4
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT dup_inter
SUBSEQUENT_STATE_COUNT State2 Role4
INCOMING_MSG_COUNT Lifeline2 same
SUBSEQUENT_STATE_COUNT dup Role2
PTCP_OBJ_COUNT init
CLASS_TOP_BASE dup_name
PTCP_OBJ_COUNT oneLine
SUBSEQUENT_STATE_COUNT Lifeline1 oneLine
INCOMING_MSG_COUNT oneLine dup_name
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT State2 dup_name
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT dup
MESSAGE_COUNT Message1
INCOMING_MSG_COUNT Role5 Role2
PTCP_OBJ_COUNT init
CLASS_IMPLEMENT_INTERFACE_LIST Lifeline3
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
MESSAGE_COUNT Role2
TRANSITION_COUNT dup2
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role8 NoState
TRANSITION_COUNT Role3
INCOMING_MSG_COUNT dup2 Message2
PTCP_OBJ_COUNT Message2
INCOMING_MSG_COUNT State5 Message1
MESSAGE_COUNT State8
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Lifeline1 self
SUBSEQUENT_STATE_COUNT NoState self
INCOMING_MSG_COUNT Role5 State6
CLASS_INFO_HIDDEN Lifeline1
STATE_COUNT oneLine
INCOMING_MSG_COUNT Message3 Role7
MESSAGE_COUNT Lifeline1
STATE_COUNT State6
PTCP_OBJ_COUNT State2
PTCP_OBJ_COUNT dup2
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT Role5
MESSAGE_COUNT dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup_name Message2
SUBSEQUENT_STATE_COUNT dup State3
STATE_COUNT dup_name
MESSAGE_COUNT Self
MESSAGE_COUNT oneLine
MESSAGE_COUNT dup2
STATE_COUNT State5
TRANSITION_COUNT State3
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT Role6
SUBSEQUENT_STATE_COUNT State3 dup
TRANSITION_COUNT Message1
TRANSITION_COUNT dup_name
INCOMING_MSG_COUNT State5 State3
MESSAGE_COUNT dup
INCOMING_MSG_COUNT Lifeline1 normal
STATE_COUNT Role1
TRANSITION_COUNT dup_name
MESSAGE_COUNT same
TRANSITION_COUNT Role3
INCOMING_MSG_COUNT State2 State4
STATE_COUNT Lifeline1
TRANSITION_COUNT State3
STATE_COUNT Role7
TRANSITION_COUNT State6
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT State7 State7
SUBSEQUENT_STATE_COUNT Role7 dup
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT Lifeline1 State5
TRANSITION_COUNT NoState
SUBSEQUENT_STATE_COUNT State3 oneLine
SUBSEQUENT_STATE_COUNT State6 Role6
PTCP_OBJ_COUNT Message3
PTCP_OBJ_COUNT dup
STATE_COUNT Normal
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT Lifeline1 incoming
CLASS_OPERATION_COUNT Lifeline3 NON_RETURN
TRANSITION_COUNT dup_name
MESSAGE_COUNT State6
STATE_COUNT Role7
SUBSEQUENT_STATE_COUNT Lifeline1 State3
INCOMING_MSG_COUNT Lifeline1 dup
STATE_COUNT Role7
INCOMING_MSG_COUNT Interaction1 State1
SUBSEQUENT_STATE_COUNT init Role6
STATE_COUNT Role8
TRANSITION_COUNT normal
MESSAGE_COUNT Role7
SUBSEQUENT_STATE_COUNT State6 State2
PTCP_OBJ_COUNT Role8
TRANSITION_COUNT State7
SUBSEQUENT_STATE_COUNT Self Role3
STATE_COUNT Message1
SUBSEQUENT_STATE_COUNT dup2 State2
MESSAGE_COUNT State3
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT State5 Role4
INCOMING_MSG_COUNT dup State7
STATE_COUNT Role4
SUBSEQUENT_STATE_COUNT init dup
TRANSITION_COUNT State6
INCOMING_MSG_COUNT Role4 State5
PTCP_OBJ_COUNT dup2
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT dup2 NoState
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Interaction1 Interaction1
PTCP_OBJ_COUNT Lifeline1
INCOMING_MSG_COUNT Role3 Role6
STATE_COUNT Role1
STATE_COUNT dup
STATE_COUNT OneState
MESSAGE_COUNT Role3
STATE_COUNT Role4
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT Role2 dup2
STATE_COUNT State8
INCOMING_MSG_COUNT Role2 NoState
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT Normal
SUBSEQUENT_STATE_COUNT State1 Lifeline1
SUBSEQUENT_STATE_COUNT dup Lifeline3
INCOMING_MSG_COUNT dup State1
MESSAGE_COUNT Role2
TRANSITION_COUNT State6
SUBSEQUENT_STATE_COUNT State6 State1
MESSAGE_COUNT Self
SUBSEQUENT_STATE_COUNT Message3 Interaction1
PTCP_OBJ_COUNT dup
INCOMING_MSG_COUNT State5 Normal
MESSAGE_COUNT dup
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT Message1 Lifeline1
SUBSEQUENT_STATE_COUNT State1 normal
SUBSEQUENT_STATE_COUNT normal Lifeline1
TRANSITION_COUNT Message2
CLASS_ATTR_VISIBILITY State1 init
SUBSEQUENT_STATE_COUNT State1 Lifeline1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Role5 dup
TRANSITION_COUNT Role5
SUBSEQUENT_STATE_COUNT State3 State8
MESSAGE_COUNT State6
STATE_COUNT Role5
TRANSITION_COUNT Normal
TRANSITION_COUNT OneState
PTCP_OBJ_COUNT dup_inter
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT same Role3
PTCP_OBJ_COUNT Role7
TRANSITION_COUNT dup2
TRANSITION_COUNT Interaction1
TRANSITION_COUNT Role3
MESSAGE_COUNT Lifeline1
STATE_COUNT same
MESSAGE_COUNT State4
STATE_COUNT State1
TRANSITION_COUNT State4
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT State1 Role7
SUBSEQUENT_STATE_COUNT State6 Lifeline1
TRANSITION_COUNT Role7
STATE_COUNT dup_inter
STATE_COUNT OneState
STATE_COUNT State5
INCOMING_MSG_COUNT Lifeline2 NoState
INCOMING_MSG_COUNT State6 dup
TRANSITION_COUNT State7
STATE_COUNT State1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline1 dup
TRANSITION_COUNT Normal
TRANSITION_COUNT Lifeline1
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT dup_name Message2
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT Message1
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Lifeline2 Role6
SUBSEQUENT_STATE_COUNT State4 Role6
TRANSITION_COUNT NoState
SUBSEQUENT_STATE_COUNT Role5 Lifeline1
STATE_COUNT Interaction1
MESSAGE_COUNT dup_inter
INCOMING_MSG_COUNT State2 Role7
TRANSITION_COUNT Role1
PTCP_OBJ_COUNT dup
STATE_COUNT Normal
MESSAGE_COUNT Role8
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT Message3 init
SUBSEQUENT_STATE_COUNT Role5 State3
TRANSITION_COUNT State8
TRANSITION_COUNT Role1
SUBSEQUENT_STATE_COUNT dup self
TRANSITION_COUNT Role6
TRANSITION_COUNT Interaction1
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State1 NoState
PTCP_OBJ_COUNT Message2
TRANSITION_COUNT Role6
STATE_COUNT incoming
TRANSITION_COUNT same
SUBSEQUENT_STATE_COUNT dup2 same
TRANSITION_COUNT dup2
PTCP_OBJ_COUNT dup
MESSAGE_COUNT Role2
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT dup State2
CLASS_ATTR_COUNT Lifeline1 SELF_ONLY
SUBSEQUENT_STATE_COUNT Role5 Message1
MESSAGE_COUNT dup
TRANSITION_COUNT State1
STATE_COUNT Self
TRANSITION_COUNT Lifeline1
STATE_COUNT dup_name
TRANSITION_COUNT normal
STATE_COUNT Role8
STATE_COUNT Message3
STATE_COUNT Role3
TRANSITION_COUNT dup
MESSAGE_COUNT dup
INCOMING_MSG_COUNT Message3 same
SUBSEQUENT_STATE_COUNT dup dup_name
MESSAGE_COUNT State8
CLASS_ATTR_VISIBILITY Role3 dup
TRANSITION_COUNT Role4
PTCP_OBJ_COUNT NoState
TRANSITION_COUNT Lifeline2
INCOMING_MSG_COUNT Message1 Lifeline1
INCOMING_MSG_COUNT Role1 State6
STATE_COUNT Message2
STATE_COUNT incoming
STATE_COUNT dup
PTCP_OBJ_COUNT Self
SUBSEQUENT_STATE_COUNT Lifeline2 State3
INCOMING_MSG_COUNT State5 State2
PTCP_OBJ_COUNT Message2
TRANSITION_COUNT State2
CLASS_IMPLEMENT_INTERFACE_LIST Role6
PTCP_OBJ_COUNT State4
STATE_COUNT Role1
INCOMING_MSG_COUNT Role2 Role1
SUBSEQUENT_STATE_COUNT Self State1
SUBSEQUENT_STATE_COUNT dup Lifeline2
STATE_COUNT State4
INCOMING_MSG_COUNT dup Role7
STATE_COUNT State5
MESSAGE_COUNT Role8
SUBSEQUENT_STATE_COUNT Role1 Message1
SUBSEQUENT_STATE_COUNT State2 State7
INCOMING_MSG_COUNT Lifeline2 State7
INCOMING_MSG_COUNT OneState State3
STATE_COUNT dup
MESSAGE_COUNT same
MESSAGE_COUNT dup2
PTCP_OBJ_COUNT dup_inter
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT oneLine State3
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT dup_inter Role7
STATE_COUNT State3
TRANSITION_COUNT State1
INCOMING_MSG_COUNT dup2 dup2
SUBSEQUENT_STATE_COUNT incoming Message1
PTCP_OBJ_COUNT State8
CLASS_ASSO_CLASS_LIST dup
SUBSEQUENT_STATE_COUNT State8 State3
PTCP_OBJ_COUNT Normal
INCOMING_MSG_COUNT OneState Lifeline2
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT self Message3
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT State8 oneLine
SUBSEQUENT_STATE_COUNT Lifeline1 State1
SUBSEQUENT_STATE_COUNT State6 NoState
INCOMING_MSG_COUNT State1 dup
SUBSEQUENT_STATE_COUNT dup2 Role2
TRANSITION_COUNT OneState
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT State6 State8
SUBSEQUENT_STATE_COUNT State2 incoming
SUBSEQUENT_STATE_COUNT dup incoming
SUBSEQUENT_STATE_COUNT incoming dup
TRANSITION_COUNT same
STATE_COUNT Lifeline1
STATE_COUNT dup
INCOMING_MSG_COUNT Role1 Interaction1
TRANSITION_COUNT Role3
STATE_COUNT State8
PTCP_OBJ_COUNT State3
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT State1 Lifeline1
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT dup dup
TRANSITION_COUNT State1
TRANSITION_COUNT Interaction1
TRANSITION_COUNT Role4
STATE_COUNT dup2
MESSAGE_COUNT Role8
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT OneState
STATE_COUNT State3
INCOMING_MSG_COUNT self incoming
STATE_COUNT Message1
CLASS_TOP_BASE Lifeline1
MESSAGE_COUNT Lifeline3
INCOMING_MSG_COUNT Lifeline1 Message3
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT State2 Lifeline1
SUBSEQUENT_STATE_COUNT Role6 dup2
STATE_COUNT Message1
TRANSITION_COUNT dup_name
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT init Role2
TRANSITION_COUNT Lifeline2
TRANSITION_COUNT Role2
MESSAGE_COUNT OneState
STATE_COUNT dup
TRANSITION_COUNT oneLine
PTCP_OBJ_COUNT Role3
TRANSITION_COUNT Interaction1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT same Lifeline2
TRANSITION_COUNT State8
STATE_COUNT dup
TRANSITION_COUNT OneState
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role6 Interaction1
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Role7 incoming
SUBSEQUENT_STATE_COUNT Role6 NoState
TRANSITION_COUNT State1
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup Role6
TRANSITION_COUNT Lifeline3
MESSAGE_COUNT Role7
TRANSITION_COUNT State6
INCOMING_MSG_COUNT State5 State3
CLASS_ATTR_VISIBILITY Role3 init
STATE_COUNT Message3
TRANSITION_COUNT State1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT NoState State2
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT Role1 Lifeline3
TRANSITION_COUNT Message1
SUBSEQUENT_STATE_COUNT init Lifeline1
SUBSEQUENT_STATE_COUNT OneState dup_name
TRANSITION_COUNT dup2
STATE_COUNT OneState
INCOMING_MSG_COUNT State5 dup2
SUBSEQUENT_STATE_COUNT Role6 Role4
INCOMING_MSG_COUNT dup_inter State2
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT State5 Lifeline1
STATE_COUNT dup
INCOMING_MSG_COUNT Message1 dup
SUBSEQUENT_STATE_COUNT Normal dup2
SUBSEQUENT_STATE_COUNT dup State2
PTCP_OBJ_COUNT dup