Overview of elements

model TestCase7 - _wxxNoAnKEd-7q9fQ6Ry6CA
- event - _wxxNsQnKEd-7q9fQ6Ry6CA
- statemachine simpleStateMachine - _wxxN5AnKEd-7q9fQ6Ry6CA
  - region - _wxxN5QnKEd-7q9fQ6Ry6CA
    - transition - _wxxN_AnKEd-7q9fQ6Ry6CA
      - constraint - _wxxN_QnKEd-7q9fQ6Ry6CA
    - transition - _wxxN-QnKEd-7q9fQ6Ry6CA
      - constraint - _wxxN-gnKEd-7q9fQ6Ry6CA
    - transition - _wxxN9gnKEd-7q9fQ6Ry6CA
      - constraint - _wxxN9wnKEd-7q9fQ6Ry6CA
    - state initial - _wxxN5gnKEd-7q9fQ6Ry6CA
    - state state_1 - _wxxN7AnKEd-7q9fQ6Ry6CA
    - transition - _wxxN8wnKEd-7q9fQ6Ry6CA
      - constraint - _wxxN9AnKEd-7q9fQ6Ry6CA
    - transition - _wxxN8AnKEd-7q9fQ6Ry6CA
    - transition - _wxxOAAnKEd-7q9fQ6Ry6CA
    - state state_2 - _wxxN7QnKEd-7q9fQ6Ry6CA
    - transition - _wxxOAgnKEd-7q9fQ6Ry6CA
      - constraint - _wxxOAwnKEd-7q9fQ6Ry6CA
    - state finalState - _wxxN7wnKEd-7q9fQ6Ry6CA
    - transition - _wxxN_wnKEd-7q9fQ6Ry6CA
      - constraint - _wxxN_QnKEd-7q9fQ6Ry6Cz
    - state state_0 - _wxxN5wnKEd-7q9fQ6Ry6CA
      - activity opaqueEntryBehavior - _wxxN6AnKEd-7q9fQ6Ry6CA
      - activity opaqueDoBehavior - _wxxN6gnKEd-7q9fQ6Ry6CA
      - activity opaqueExitBehavior - _wxxN6QnKEd-7q9fQ6Ry6CA
    - state state_3 - _wxxN7gnKEd-7q9fQ6Ry6CA
    - transition - _wxxN8QnKEd-7q9fQ6Ry6CA
      - trigger - _wxxN8gnKEd-7q9fQ6Ry6CA
    - state choice - _wxxN6wnKEd-7q9fQ6Ry6CA
- class protocolClass - _wxxNoQnKEd-7q9fQ6Ry6CA
  - statemachine protocolStateMachine - _wxxNognKEd-7q9fQ6Ry6CA
    - region - _wxxNownKEd-7q9fQ6Ry6CA
      - transition - _wxxNqQnKEd-7q9fQ6Ry6CA
        
        constraint - _wxxNrAnKEd-7q9fQ6Ry6CA
        
        trigger - _wxxNrgnKEd-7q9fQ6Ry6CA
        
        constraint - _wxxNqgnKEd-7q9fQ6Ry6CA
      - state State2 - _wxxNpAnKEd-7q9fQ6Ry6CA
      - state State1 - _wxxNpQnKEd-7q9fQ6Ry6CA
      - state FinalState - _wxxNpwnKEd-7q9fQ6Ry6CA
      - transition - _wxxNrwnKEd-7q9fQ6Ry6CA
      - transition - _wxxNqAnKEd-7q9fQ6Ry6CA
      - state Initial - _wxxNpgnKEd-7q9fQ6Ry6CA
  - operation referredOperation - _wxxNsAnKEd-7q9fQ6Ry6CA
- statemachine subStateMachine - _wxxN1QnKEd-7q9fQ6Ry6CA
  - state enter1 - _wxxN4AnKEd-7q9fQ6Ry6CA
  - region - _wxxN1gnKEd-7q9fQ6Ry6CA
    - transition - _wxxN2gnKEd-7q9fQ6Ry6CA
    - state state8 - _wxxN2AnKEd-7q9fQ6Ry6CA
    - transition - _wxxN3gnKEd-7q9fQ6Ry6CA
    - transition - _wxxN3QnKEd-7q9fQ6Ry6CA
    - state Junction - _wxxN2QnKEd-7q9fQ6Ry6CA
    - transition - _wxxN2wnKEd-7q9fQ6Ry6CA
    - transition - _wxxN3AnKEd-7q9fQ6Ry6CA
    - transition - _wxxN3wnKEd-7q9fQ6Ry6CA
    - state state7 - _wxxN1wnKEd-7q9fQ6Ry6CA
  - state exit1 - _wxxN4gnKEd-7q9fQ6Ry6CA
  - state enter2 - _wxxN4QnKEd-7q9fQ6Ry6CA
  - state exit2 - _wxxN4wnKEd-7q9fQ6Ry6CA
- event - _wxxOBQnKEd-7q9fQ6Ry6CA
  - opaqueexpression - _wxxOBgnKEd-7q9fQ6Ry6CA
- statemachine compositeStateMachine - _wxxNsgnKEd-7q9fQ6Ry6CA
  - region - _wxxNswnKEd-7q9fQ6Ry6CA
    - transition - _wxxNygnKEd-7q9fQ6Ry6CA
    - state finalState - _wxxNyQnKEd-7q9fQ6Ry6CA
    - transition - _wxxNzQnKEd-7q9fQ6Ry6CA
    - transition - _wxxN0QnKEd-7q9fQ6Ry6CA
    - transition - _wxxNzgnKEd-7q9fQ6Ry6CA
    - state compositeState - _wxxNtgnKEd-7q9fQ6Ry6CA
      - region Region - _wxxNtwnKEd-7q9fQ6Ry6CA
        
        transition - _wxxNuwnKEd-7q9fQ6Ry6CA
        
        state state3 - _wxxNuQnKEd-7q9fQ6Ry6CA
        
        state state2 - _wxxNuAnKEd-7q9fQ6Ry6CA
        
        transition - _wxxNugnKEd-7q9fQ6Ry6CA
      - region Region1 - _wxxNvAnKEd-7q9fQ6Ry6CA
        
        transition - _wxxNwAnKEd-7q9fQ6Ry6CA
        
        transition - _wxxNvwnKEd-7q9fQ6Ry6CA
        
        state state5 - _wxxNvgnKEd-7q9fQ6Ry6CA
        
        state state4 - _wxxNvQnKEd-7q9fQ6Ry6CA
    - state join - _wxxNxwnKEd-7q9fQ6Ry6CA
    - transition - _wxxN0gnKEd-7q9fQ6Ry6CA
    - transition - _wxxN0AnKEd-7q9fQ6Ry6CA
    - state subMachineState - _wxxNwgnKEd-7q9fQ6Ry6CA
    - state initial - _wxxNtAnKEd-7q9fQ6Ry6CA
    - transition - _wxxNzAnKEd-7q9fQ6Ry6CA
    - transition - _wxxNzwnKEd-7q9fQ6Ry6CA
    - transition - _wxxN1AnKEd-7q9fQ6Ry6CA
    - state state1 - _wxxNtQnKEd-7q9fQ6Ry6CA
    - transition - _wxxNywnKEd-7q9fQ6Ry6CA
    - state fork - _wxxNyAnKEd-7q9fQ6Ry6CA
    - transition - _wxxN0wnKEd-7q9fQ6Ry6CA
    - state state6 - _wxxNwQnKEd-7q9fQ6Ry6CA

List of elements of type 'class' (1)

class TestCase7.protocolClass

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxNoQnKEd-7q9fQ6Ry6CA
name	protocolClass
comments
visibility
abstract
leaf
ownedattributes
ownedoperations	_wxxNsAnKEd-7q9fQ6Ry6CA
nestedclassifiers
generalizations
interfacerealizations
connectors

Metrics

Metric	Value
NumAttr	0
NumOps	1
NumPubOps	1
Setters	0
Getters	0
Nesting	0
IFImpl	0
NOC	0
NumDesc	0
NumAnc	0
DIT	0
CLD	0
OpsInh	0
AttrInh	0
Dep_Out	0
Dep_In	0
NumAssEl_ssc	0
NumAssEl_sb	0
NumAssEl_nsb	0
EC_Attr	0
IC_Attr	0
EC_Par	0
IC_Par	0
Connectors	0
InstSpec	0
LLInst	0
MsgSent	0.0
MsgSent2	0
MsgSent1	0
MsgRecv	0.0
MsgRecv2	0
MsgRecv1	0
MsgSelf	0
intServers	0
Diags	0
NOP	0

Sets

Set	Value
Parents
Children
AncSet
DescSet
RealizedElements
ImplInterfaces
ProvidedIF
RequiredIF
InhProvidedIF
InhRequiredIF
DepSuppSet
DepClientSet
OutGoingAssoc
IncomingAssoc
AssElSet
AttrTypeSet
ParaTypeSet
AttrClients
ParaClients
TheBigDependerSet
TheBigClientset
LLines
MsgSentSet
MsgRecvSet
SignatureSet	referredOperation()
AttrNameSet

Rule violations

Rule	Value	Description
Unused		The class is not used anywhere.
NotCapitalized		Class names should start with a capital letter.

List of elements of type 'operation' (1)

operation TestCase7.protocolClass.referredOperation

Attribute	Value
context	_wxxNoQnKEd-7q9fQ6Ry6CA
id	_wxxNsAnKEd-7q9fQ6Ry6CA
name	referredOperation
comments
visibility	public
abstract
isquery
ownedparameters

Metrics

Metric	Value
Signature	referredOperation()
GetterName	0
NumRetPar	0
Overriding	0
Overridden	0

Sets

Set	Value
ParaTypeSet
SigParaSet

List of elements of type 'model' (1)

model TestCase7

Attribute	Value
context
id	_wxxNoAnKEd-7q9fQ6Ry6CA
name	TestCase7
comments
ownedmembers	_wxxNsQnKEd-7q9fQ6Ry6CA, _wxxNoQnKEd-7q9fQ6Ry6CA, _wxxN5AnKEd-7q9fQ6Ry6CA, _wxxN1QnKEd-7q9fQ6Ry6CA, _wxxOBQnKEd-7q9fQ6Ry6CA, _wxxNsgnKEd-7q9fQ6Ry6CA

List of elements of type 'statemachine' (4)

statemachine TestCase7.protocolClass.protocolStateMachine

Attribute	Value
context	_wxxNoQnKEd-7q9fQ6Ry6CA
id	_wxxNognKEd-7q9fQ6Ry6CA
name	protocolStateMachine
comments
regions	_wxxNownKEd-7q9fQ6Ry6CA
isprotocol	true
connectionpoints

Metrics

Metric	Value
Trans	3
TEffects	0
TGuard	1
TTrigger	1
States	4
SActivity	0
CC	1.0

Sets

Set	Value
StateSet	_wxxNpgnKEd-7q9fQ6Ry6CA , _wxxNpAnKEd-7q9fQ6Ry6CA , _wxxNpwnKEd-7q9fQ6Ry6CA , _wxxNpQnKEd-7q9fQ6Ry6CA
Transitions	_wxxNqQnKEd-7q9fQ6Ry6CA , _wxxNqAnKEd-7q9fQ6Ry6CA , _wxxNrwnKEd-7q9fQ6Ry6CA

Rule violations

Rule	Value	Description
RegularTransition	from state:Initial to state: State1	The protocol state machine contains a transition that is not a protocol transition.
RegularTransition	from state:State2 to state: FinalState	The protocol state machine contains a transition that is not a protocol transition.

statemachine TestCase7.compositeStateMachine

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxNsgnKEd-7q9fQ6Ry6CA
name	compositeStateMachine
comments
regions	_wxxNswnKEd-7q9fQ6Ry6CA
isprotocol	false
connectionpoints

Metrics

Metric	Value
Trans	15
TEffects	0
TGuard	0
TTrigger	0
States	12
SActivity	0
CC	5.0

Sets

Set	Value
StateSet	_wxxNwgnKEd-7q9fQ6Ry6CA , _wxxNyQnKEd-7q9fQ6Ry6CA , _wxxNuQnKEd-7q9fQ6Ry6CA , _wxxNtAnKEd-7q9fQ6Ry6CA , _wxxNuAnKEd-7q9fQ6Ry6CA , _wxxNvQnKEd-7q9fQ6Ry6CA , _wxxNtQnKEd-7q9fQ6Ry6CA , _wxxNyAnKEd-7q9fQ6Ry6CA , _wxxNwQnKEd-7q9fQ6Ry6CA , _wxxNtgnKEd-7q9fQ6Ry6CA , _wxxNvgnKEd-7q9fQ6Ry6CA , _wxxNxwnKEd-7q9fQ6Ry6CA
Transitions	_wxxNygnKEd-7q9fQ6Ry6CA , _wxxNvwnKEd-7q9fQ6Ry6CA , _wxxNugnKEd-7q9fQ6Ry6CA , _wxxNzQnKEd-7q9fQ6Ry6CA , _wxxNuwnKEd-7q9fQ6Ry6CA , _wxxN0QnKEd-7q9fQ6Ry6CA , _wxxNzgnKEd-7q9fQ6Ry6CA , _wxxNwAnKEd-7q9fQ6Ry6CA , _wxxN0gnKEd-7q9fQ6Ry6CA , _wxxN0AnKEd-7q9fQ6Ry6CA , _wxxNzAnKEd-7q9fQ6Ry6CA , _wxxNzwnKEd-7q9fQ6Ry6CA , _wxxN1AnKEd-7q9fQ6Ry6CA , _wxxNywnKEd-7q9fQ6Ry6CA , _wxxN0wnKEd-7q9fQ6Ry6CA

statemachine TestCase7.subStateMachine

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxN1QnKEd-7q9fQ6Ry6CA
name	subStateMachine
comments
regions	_wxxN1gnKEd-7q9fQ6Ry6CA
isprotocol	false
connectionpoints	_wxxN4QnKEd-7q9fQ6Ry6CA, _wxxN4AnKEd-7q9fQ6Ry6CA, _wxxN4gnKEd-7q9fQ6Ry6CA, _wxxN4wnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
Trans	6
TEffects	0
TGuard	0
TTrigger	0
States	7
SActivity	0
CC	1.0

Sets

Set	Value
StateSet	_wxxN4AnKEd-7q9fQ6Ry6CA , _wxxN4gnKEd-7q9fQ6Ry6CA , _wxxN4QnKEd-7q9fQ6Ry6CA , _wxxN2AnKEd-7q9fQ6Ry6CA , _wxxN2QnKEd-7q9fQ6Ry6CA , _wxxN1wnKEd-7q9fQ6Ry6CA , _wxxN4wnKEd-7q9fQ6Ry6CA
Transitions	_wxxN3gnKEd-7q9fQ6Ry6CA , _wxxN3QnKEd-7q9fQ6Ry6CA , _wxxN2gnKEd-7q9fQ6Ry6CA , _wxxN3AnKEd-7q9fQ6Ry6CA , _wxxN2wnKEd-7q9fQ6Ry6CA , _wxxN3wnKEd-7q9fQ6Ry6CA

statemachine TestCase7.simpleStateMachine

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxN5AnKEd-7q9fQ6Ry6CA
name	simpleStateMachine
comments
regions	_wxxN5QnKEd-7q9fQ6Ry6CA
isprotocol	false
connectionpoints

Metrics

Metric	Value
Trans	9
TEffects	0
TGuard	6
TTrigger	1
States	7
SActivity	3
CC	4.0

Sets

Set	Value
StateSet	_wxxN7QnKEd-7q9fQ6Ry6CA , _wxxN7wnKEd-7q9fQ6Ry6CA , _wxxN5wnKEd-7q9fQ6Ry6CA , _wxxN7gnKEd-7q9fQ6Ry6CA , _wxxN5gnKEd-7q9fQ6Ry6CA , _wxxN7AnKEd-7q9fQ6Ry6CA , _wxxN6wnKEd-7q9fQ6Ry6CA
Transitions	_wxxN_AnKEd-7q9fQ6Ry6CA , _wxxN-QnKEd-7q9fQ6Ry6CA , _wxxOAAnKEd-7q9fQ6Ry6CA , _wxxOAgnKEd-7q9fQ6Ry6CA , _wxxN_wnKEd-7q9fQ6Ry6CA , _wxxN8QnKEd-7q9fQ6Ry6CA , _wxxN9gnKEd-7q9fQ6Ry6CA , _wxxN8wnKEd-7q9fQ6Ry6CA , _wxxN8AnKEd-7q9fQ6Ry6CA

List of elements of type 'region' (6)

region TestCase7.protocolClass.protocolStateMachine.

Attribute	Value
context	_wxxNognKEd-7q9fQ6Ry6CA
id	_wxxNownKEd-7q9fQ6Ry6CA
name
comments
subvertices	_wxxNpgnKEd-7q9fQ6Ry6CA, _wxxNpAnKEd-7q9fQ6Ry6CA, _wxxNpQnKEd-7q9fQ6Ry6CA, _wxxNpwnKEd-7q9fQ6Ry6CA
transitions	_wxxNqQnKEd-7q9fQ6Ry6CA, _wxxNqAnKEd-7q9fQ6Ry6CA, _wxxNrwnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	1
deepHistStates	0
shallowHistStates	0
Elements	7

Rule violations

Rule	Value	Description
InitialAndFinalStates		There is no initial or final state for the state machine.

region TestCase7.compositeStateMachine..compositeState.Region

Attribute	Value
context	_wxxNtgnKEd-7q9fQ6Ry6CA
id	_wxxNtwnKEd-7q9fQ6Ry6CA
name	Region
comments
subvertices	_wxxNuQnKEd-7q9fQ6Ry6CA, _wxxNuAnKEd-7q9fQ6Ry6CA
transitions	_wxxNuwnKEd-7q9fQ6Ry6CA, _wxxNugnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	0
deepHistStates	0
shallowHistStates	0
Elements	4

region TestCase7.compositeStateMachine..compositeState.Region1

Attribute	Value
context	_wxxNtgnKEd-7q9fQ6Ry6CA
id	_wxxNvAnKEd-7q9fQ6Ry6CA
name	Region1
comments
subvertices	_wxxNvQnKEd-7q9fQ6Ry6CA, _wxxNvgnKEd-7q9fQ6Ry6CA
transitions	_wxxNvwnKEd-7q9fQ6Ry6CA, _wxxNwAnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	0
deepHistStates	0
shallowHistStates	0
Elements	4

region TestCase7.compositeStateMachine.

Attribute	Value
context	_wxxNsgnKEd-7q9fQ6Ry6CA
id	_wxxNswnKEd-7q9fQ6Ry6CA
name
comments
subvertices	_wxxNwgnKEd-7q9fQ6Ry6CA, _wxxNyQnKEd-7q9fQ6Ry6CA, _wxxNtAnKEd-7q9fQ6Ry6CA, _wxxNtQnKEd-7q9fQ6Ry6CA, _wxxNyAnKEd-7q9fQ6Ry6CA, _wxxNwQnKEd-7q9fQ6Ry6CA, _wxxNtgnKEd-7q9fQ6Ry6CA, _wxxNxwnKEd-7q9fQ6Ry6CA
transitions	_wxxNygnKEd-7q9fQ6Ry6CA, _wxxN0AnKEd-7q9fQ6Ry6CA, _wxxNzAnKEd-7q9fQ6Ry6CA, _wxxNzwnKEd-7q9fQ6Ry6CA, _wxxNzQnKEd-7q9fQ6Ry6CA, _wxxN1AnKEd-7q9fQ6Ry6CA, _wxxNywnKEd-7q9fQ6Ry6CA, _wxxNzgnKEd-7q9fQ6Ry6CA, _wxxN0QnKEd-7q9fQ6Ry6CA, _wxxN0wnKEd-7q9fQ6Ry6CA, _wxxN0gnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	1
deepHistStates	0
shallowHistStates	0
Elements	19

Rule violations

Rule	Value	Description
InitialAndFinalStates		There is no initial or final state for the state machine.

region TestCase7.subStateMachine.

Attribute	Value
context	_wxxN1QnKEd-7q9fQ6Ry6CA
id	_wxxN1gnKEd-7q9fQ6Ry6CA
name
comments
subvertices	_wxxN2QnKEd-7q9fQ6Ry6CA, _wxxN2AnKEd-7q9fQ6Ry6CA, _wxxN1wnKEd-7q9fQ6Ry6CA
transitions	_wxxN3gnKEd-7q9fQ6Ry6CA, _wxxN3QnKEd-7q9fQ6Ry6CA, _wxxN2gnKEd-7q9fQ6Ry6CA, _wxxN3AnKEd-7q9fQ6Ry6CA, _wxxN2wnKEd-7q9fQ6Ry6CA, _wxxN3wnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	0
deepHistStates	0
shallowHistStates	0
Elements	9

Rule violations

Rule	Value	Description
InitialAndFinalStates		There is no initial or final state for the state machine.

region TestCase7.simpleStateMachine.

Attribute	Value
context	_wxxN5AnKEd-7q9fQ6Ry6CA
id	_wxxN5QnKEd-7q9fQ6Ry6CA
name
comments
subvertices	_wxxN7QnKEd-7q9fQ6Ry6CA, _wxxN7wnKEd-7q9fQ6Ry6CA, _wxxN5wnKEd-7q9fQ6Ry6CA, _wxxN7gnKEd-7q9fQ6Ry6CA, _wxxN5gnKEd-7q9fQ6Ry6CA, _wxxN7AnKEd-7q9fQ6Ry6CA, _wxxN6wnKEd-7q9fQ6Ry6CA
transitions	_wxxN_AnKEd-7q9fQ6Ry6CA, _wxxN-QnKEd-7q9fQ6Ry6CA, _wxxOAAnKEd-7q9fQ6Ry6CA, _wxxOAgnKEd-7q9fQ6Ry6CA, _wxxN_wnKEd-7q9fQ6Ry6CA, _wxxN8QnKEd-7q9fQ6Ry6CA, _wxxN9gnKEd-7q9fQ6Ry6CA, _wxxN8wnKEd-7q9fQ6Ry6CA, _wxxN8AnKEd-7q9fQ6Ry6CA

Metrics

Metric	Value
InitStates	0
FinalStates	1
deepHistStates	0
shallowHistStates	0
Elements	16

Rule violations

Rule	Value	Description
InitialAndFinalStates		There is no initial or final state for the state machine.

List of elements of type 'state' (30)

state TestCase7.protocolClass.protocolStateMachine..State2

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNpAnKEd-7q9fQ6Ry6CA
name	State2
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxNqQnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNqAnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA

state TestCase7.protocolClass.protocolStateMachine..State1

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNpQnKEd-7q9fQ6Ry6CA
name	State1
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxNrwnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNqQnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA

state TestCase7.protocolClass.protocolStateMachine..Initial

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNpgnKEd-7q9fQ6Ry6CA
name	Initial
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxNrwnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
NoIncoming		State has no incoming transitions.

state TestCase7.protocolClass.protocolStateMachine..FinalState

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNpwnKEd-7q9fQ6Ry6CA
name	FinalState
comments
kind	final
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	0

Sets

Set	Value
InTrans	_wxxNqAnKEd-7q9fQ6Ry6CA
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxNownKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNognKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..initial

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNtAnKEd-7q9fQ6Ry6CA
name	initial
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxNygnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
NoIncoming		State has no incoming transitions.

state TestCase7.compositeStateMachine..state1

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNtQnKEd-7q9fQ6Ry6CA
name	state1
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	2
Outgoing	2

Sets

Set	Value
InTrans	_wxxN0AnKEd-7q9fQ6Ry6CA , _wxxNygnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNywnKEd-7q9fQ6Ry6CA , _wxxNzAnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

Rule violations

Rule	Value	Description
MissingTarget		State has an outgoing transition not attached to a target state.
MissingSource		State has an incoming transition not attached to a source state.

state TestCase7.compositeStateMachine..compositeState.Region.state2

Attribute	Value
context	_wxxNtwnKEd-7q9fQ6Ry6CA
id	_wxxNuAnKEd-7q9fQ6Ry6CA
name	state2
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN0wnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNugnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNtwnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..compositeState.Region.state3

Attribute	Value
context	_wxxNtwnKEd-7q9fQ6Ry6CA
id	_wxxNuQnKEd-7q9fQ6Ry6CA
name	state3
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxNugnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNuwnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNtwnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..compositeState.Region1.state4

Attribute	Value
context	_wxxNvAnKEd-7q9fQ6Ry6CA
id	_wxxNvQnKEd-7q9fQ6Ry6CA
name	state4
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN1AnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNvwnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNvAnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..compositeState.Region1.state5

Attribute	Value
context	_wxxNvAnKEd-7q9fQ6Ry6CA
id	_wxxNvgnKEd-7q9fQ6Ry6CA
name	state5
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxNvwnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNwAnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNvAnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..compositeState

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNtgnKEd-7q9fQ6Ry6CA
name	compositeState
comments
kind
regions	_wxxNtwnKEd-7q9fQ6Ry6CA, _wxxNvAnKEd-7q9fQ6Ry6CA
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	2
Pseudo	0
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxNzQnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

state TestCase7.compositeStateMachine..state6

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNwQnKEd-7q9fQ6Ry6CA
name	state6
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	3
Outgoing	2

Sets

Set	Value
InTrans	_wxxN0QnKEd-7q9fQ6Ry6CA , _wxxNzQnKEd-7q9fQ6Ry6CA , _wxxN0gnKEd-7q9fQ6Ry6CA
OutTrans	_wxxNzwnKEd-7q9fQ6Ry6CA , _wxxNzgnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

Rule violations

Rule	Value	Description
MissingTarget		State has an outgoing transition not attached to a target state.
MissingSource		State has an incoming transition not attached to a source state.

state TestCase7.compositeStateMachine..subMachineState

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNwgnKEd-7q9fQ6Ry6CA
name	subMachineState
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	0
Outgoing	0

Sets

Set	Value
InTrans
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
NoIncoming		State has no incoming transitions.
NoOutgoing		State has no outgoing transitions.

state TestCase7.compositeStateMachine..join

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNxwnKEd-7q9fQ6Ry6CA
name	join
comments
kind	join
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	2
Outgoing	1

Sets

Set	Value
InTrans	_wxxNwAnKEd-7q9fQ6Ry6CA , _wxxNuwnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN0gnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNtwnKEd-7q9fQ6Ry6CA , _wxxNvAnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..fork

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNyAnKEd-7q9fQ6Ry6CA
name	fork
comments
kind	fork
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	1
Outgoing	2

Sets

Set	Value
InTrans	_wxxNywnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN0wnKEd-7q9fQ6Ry6CA , _wxxN1AnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxNtwnKEd-7q9fQ6Ry6CA , _wxxNvAnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxNtgnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

state TestCase7.compositeStateMachine..finalState

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNyQnKEd-7q9fQ6Ry6CA
name	finalState
comments
kind	final
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	0

Sets

Set	Value
InTrans	_wxxNzgnKEd-7q9fQ6Ry6CA
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxNswnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxNsgnKEd-7q9fQ6Ry6CA

state TestCase7.subStateMachine..state7

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN1wnKEd-7q9fQ6Ry6CA
name	state7
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN2gnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN3AnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

state TestCase7.subStateMachine..state8

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN2AnKEd-7q9fQ6Ry6CA
name	state8
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	2

Sets

Set	Value
InTrans	_wxxN2wnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN3gnKEd-7q9fQ6Ry6CA , _wxxN3QnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

state TestCase7.subStateMachine..Junction

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN2QnKEd-7q9fQ6Ry6CA
name	Junction
comments
kind	junction
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	2
Outgoing	1

Sets

Set	Value
InTrans	_wxxN3gnKEd-7q9fQ6Ry6CA , _wxxN3AnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN3wnKEd-7q9fQ6Ry6CA
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA

state TestCase7.subStateMachine.enter1

Attribute	Value
context	_wxxN1QnKEd-7q9fQ6Ry6CA
id	_wxxN4AnKEd-7q9fQ6Ry6CA
name	enter1
comments
kind	entryPoint
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxN2gnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
IllegalEntryExit		Entry or exit point is not owned by a top-level region.

state TestCase7.subStateMachine.enter2

Attribute	Value
context	_wxxN1QnKEd-7q9fQ6Ry6CA
id	_wxxN4QnKEd-7q9fQ6Ry6CA
name	enter2
comments
kind	entryPoint
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxN2wnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
IllegalEntryExit		Entry or exit point is not owned by a top-level region.

state TestCase7.subStateMachine.exit1

Attribute	Value
context	_wxxN1QnKEd-7q9fQ6Ry6CA
id	_wxxN4gnKEd-7q9fQ6Ry6CA
name	exit1
comments
kind	exitPoint
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	1
Outgoing	0

Sets

Set	Value
InTrans	_wxxN3wnKEd-7q9fQ6Ry6CA
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA

Rule violations

Rule	Value	Description
IllegalEntryExit		Entry or exit point is not owned by a top-level region.

state TestCase7.subStateMachine.exit2

Attribute	Value
context	_wxxN1QnKEd-7q9fQ6Ry6CA
id	_wxxN4wnKEd-7q9fQ6Ry6CA
name	exit2
comments
kind	exitPoint
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	1
Outgoing	0

Sets

Set	Value
InTrans	_wxxN3QnKEd-7q9fQ6Ry6CA
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxN1gnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN1QnKEd-7q9fQ6Ry6CA

Rule violations

Rule	Value	Description
IllegalEntryExit		Entry or exit point is not owned by a top-level region.

state TestCase7.simpleStateMachine..initial

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN5gnKEd-7q9fQ6Ry6CA
name	initial
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	0
Outgoing	1

Sets

Set	Value
InTrans
OutTrans	_wxxN8AnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners
SourceStateOwnerOwners

Rule violations

Rule	Value	Description
NoIncoming		State has no incoming transitions.

state TestCase7.simpleStateMachine..state_0

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN5wnKEd-7q9fQ6Ry6CA
name	state_0
comments
kind
regions
entry	_wxxN6AnKEd-7q9fQ6Ry6CA
exit	_wxxN6QnKEd-7q9fQ6Ry6CA
doactivity	_wxxN6gnKEd-7q9fQ6Ry6CA
connectionpoints

Metrics

Metric	Value
Activities	3.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN8AnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN8QnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

state TestCase7.simpleStateMachine..choice

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN6wnKEd-7q9fQ6Ry6CA
name	choice
comments
kind	choice
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	1
Incoming	1
Outgoing	3

Sets

Set	Value
InTrans	_wxxN8QnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN-QnKEd-7q9fQ6Ry6CA , _wxxN8wnKEd-7q9fQ6Ry6CA , _wxxN9gnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

state TestCase7.simpleStateMachine..state_1

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN7AnKEd-7q9fQ6Ry6CA
name	state_1
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	2
Outgoing	2

Sets

Set	Value
InTrans	_wxxN_wnKEd-7q9fQ6Ry6CA , _wxxN8wnKEd-7q9fQ6Ry6CA
OutTrans	_wxxN_wnKEd-7q9fQ6Ry6CA , _wxxN_AnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

state TestCase7.simpleStateMachine..state_2

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN7QnKEd-7q9fQ6Ry6CA
name	state_2
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN9gnKEd-7q9fQ6Ry6CA
OutTrans	_wxxOAAnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

state TestCase7.simpleStateMachine..state_3

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN7gnKEd-7q9fQ6Ry6CA
name	state_3
comments
kind
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	1
Outgoing	1

Sets

Set	Value
InTrans	_wxxN-QnKEd-7q9fQ6Ry6CA
OutTrans	_wxxOAgnKEd-7q9fQ6Ry6CA
TargetStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
TargetStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

state TestCase7.simpleStateMachine..finalState

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN7wnKEd-7q9fQ6Ry6CA
name	finalState
comments
kind	final
regions
entry
exit
doactivity
connectionpoints

Metrics

Metric	Value
Activities	0.0
Regions	0
Pseudo	0
Incoming	3
Outgoing	0

Sets

Set	Value
InTrans	_wxxN_AnKEd-7q9fQ6Ry6CA , _wxxOAAnKEd-7q9fQ6Ry6CA , _wxxOAgnKEd-7q9fQ6Ry6CA
OutTrans
TargetStateOwners
TargetStateOwnerOwners
SourceStateOwners	_wxxN5QnKEd-7q9fQ6Ry6CA
SourceStateOwnerOwners	_wxxN5AnKEd-7q9fQ6Ry6CA

List of elements of type 'transition' (33)

transition TestCase7.protocolClass.protocolStateMachine..

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNqAnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNpAnKEd-7q9fQ6Ry6CA
transtarget	_wxxNpwnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.protocolClass.protocolStateMachine..

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNqQnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	true
transsource	_wxxNpQnKEd-7q9fQ6Ry6CA
transtarget	_wxxNpAnKEd-7q9fQ6Ry6CA
triggers	_wxxNrgnKEd-7q9fQ6Ry6CA
guard	_wxxNqgnKEd-7q9fQ6Ry6CA
effect

transition TestCase7.protocolClass.protocolStateMachine..

Attribute	Value
context	_wxxNownKEd-7q9fQ6Ry6CA
id	_wxxNrwnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNpgnKEd-7q9fQ6Ry6CA
transtarget	_wxxNpQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..compositeState.Region.

Attribute	Value
context	_wxxNtwnKEd-7q9fQ6Ry6CA
id	_wxxNugnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNuAnKEd-7q9fQ6Ry6CA
transtarget	_wxxNuQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..compositeState.Region.

Attribute	Value
context	_wxxNtwnKEd-7q9fQ6Ry6CA
id	_wxxNuwnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNuQnKEd-7q9fQ6Ry6CA
transtarget	_wxxNxwnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..compositeState.Region1.

Attribute	Value
context	_wxxNvAnKEd-7q9fQ6Ry6CA
id	_wxxNvwnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNvQnKEd-7q9fQ6Ry6CA
transtarget	_wxxNvgnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..compositeState.Region1.

Attribute	Value
context	_wxxNvAnKEd-7q9fQ6Ry6CA
id	_wxxNwAnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNvgnKEd-7q9fQ6Ry6CA
transtarget	_wxxNxwnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNygnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNtAnKEd-7q9fQ6Ry6CA
transtarget	_wxxNtQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNywnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNtQnKEd-7q9fQ6Ry6CA
transtarget	_wxxNyAnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNzAnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNtQnKEd-7q9fQ6Ry6CA
transtarget
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNzQnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNtgnKEd-7q9fQ6Ry6CA
transtarget	_wxxNwQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNzgnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNwQnKEd-7q9fQ6Ry6CA
transtarget	_wxxNyQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxNzwnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNwQnKEd-7q9fQ6Ry6CA
transtarget
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxN0AnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource
transtarget	_wxxNtQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxN0QnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource
transtarget	_wxxNwQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxN0gnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNxwnKEd-7q9fQ6Ry6CA
transtarget	_wxxNwQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxN0wnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNyAnKEd-7q9fQ6Ry6CA
transtarget	_wxxNuAnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.compositeStateMachine..

Attribute	Value
context	_wxxNswnKEd-7q9fQ6Ry6CA
id	_wxxN1AnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxNyAnKEd-7q9fQ6Ry6CA
transtarget	_wxxNvQnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN2gnKEd-7q9fQ6Ry6CA
name
comments
kind	local
isprotocol	false
transsource	_wxxN4AnKEd-7q9fQ6Ry6CA
transtarget	_wxxN1wnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN2wnKEd-7q9fQ6Ry6CA
name
comments
kind	local
isprotocol	false
transsource	_wxxN4QnKEd-7q9fQ6Ry6CA
transtarget	_wxxN2AnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN3AnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN1wnKEd-7q9fQ6Ry6CA
transtarget	_wxxN2QnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN3QnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN2AnKEd-7q9fQ6Ry6CA
transtarget	_wxxN4wnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN3gnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN2AnKEd-7q9fQ6Ry6CA
transtarget	_wxxN2QnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.subStateMachine..

Attribute	Value
context	_wxxN1gnKEd-7q9fQ6Ry6CA
id	_wxxN3wnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN2QnKEd-7q9fQ6Ry6CA
transtarget	_wxxN4gnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN8AnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN5gnKEd-7q9fQ6Ry6CA
transtarget	_wxxN5wnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN8QnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN5wnKEd-7q9fQ6Ry6CA
transtarget	_wxxN6wnKEd-7q9fQ6Ry6CA
triggers	_wxxN8gnKEd-7q9fQ6Ry6CA
guard
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN8wnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN6wnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7AnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxN9AnKEd-7q9fQ6Ry6CA
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN9gnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN6wnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7QnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxN9wnKEd-7q9fQ6Ry6CA
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN-QnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN6wnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7gnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxN-gnKEd-7q9fQ6Ry6CA
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN_AnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN7AnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7wnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxN_QnKEd-7q9fQ6Ry6CA
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxN_wnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN7AnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7AnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxN_QnKEd-7q9fQ6Ry6Cz
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxOAAnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN7QnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7wnKEd-7q9fQ6Ry6CA
triggers
guard
effect

transition TestCase7.simpleStateMachine..

Attribute	Value
context	_wxxN5QnKEd-7q9fQ6Ry6CA
id	_wxxOAgnKEd-7q9fQ6Ry6CA
name
comments
kind
isprotocol	false
transsource	_wxxN7gnKEd-7q9fQ6Ry6CA
transtarget	_wxxN7wnKEd-7q9fQ6Ry6CA
triggers
guard	_wxxOAwnKEd-7q9fQ6Ry6CA
effect

List of elements of type 'constraint' (8)

constraint TestCase7.protocolClass.protocolStateMachine...

Attribute	Value
context	_wxxNqQnKEd-7q9fQ6Ry6CA
id	_wxxNqgnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.protocolClass.protocolStateMachine...

Attribute	Value
context	_wxxNqQnKEd-7q9fQ6Ry6CA
id	_wxxNrAnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN8wnKEd-7q9fQ6Ry6CA
id	_wxxN9AnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN9gnKEd-7q9fQ6Ry6CA
id	_wxxN9wnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN-QnKEd-7q9fQ6Ry6CA
id	_wxxN-gnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN_AnKEd-7q9fQ6Ry6CA
id	_wxxN_QnKEd-7q9fQ6Ry6CA
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN_wnKEd-7q9fQ6Ry6CA
id	_wxxN_QnKEd-7q9fQ6Ry6Cz
name
comments

constraint TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxOAgnKEd-7q9fQ6Ry6CA
id	_wxxOAwnKEd-7q9fQ6Ry6CA
name
comments

List of elements of type 'trigger' (2)

trigger TestCase7.protocolClass.protocolStateMachine...

Attribute	Value
context	_wxxNqQnKEd-7q9fQ6Ry6CA
id	_wxxNrgnKEd-7q9fQ6Ry6CA
name
comments
event	_wxxNsQnKEd-7q9fQ6Ry6CA

trigger TestCase7.simpleStateMachine...

Attribute	Value
context	_wxxN8QnKEd-7q9fQ6Ry6CA
id	_wxxN8gnKEd-7q9fQ6Ry6CA
name
comments
event	_wxxOBQnKEd-7q9fQ6Ry6CA

List of elements of type 'event' (2)

event TestCase7.

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxNsQnKEd-7q9fQ6Ry6CA
name
comments
kind	call
linkedeventelement	_wxxNsAnKEd-7q9fQ6Ry6CA

event TestCase7.

Attribute	Value
context	_wxxNoAnKEd-7q9fQ6Ry6CA
id	_wxxOBQnKEd-7q9fQ6Ry6CA
name
comments
kind	change
linkedeventelement	_wxxOBgnKEd-7q9fQ6Ry6CA

List of elements of type 'activity' (3)

activity TestCase7.simpleStateMachine..state_0.opaqueEntryBehavior

Attribute	Value
context	_wxxN5wnKEd-7q9fQ6Ry6CA
id	_wxxN6AnKEd-7q9fQ6Ry6CA
name	opaqueEntryBehavior
comments
nodes
edges
groups

Metrics

Metric	Value
Actions	0
ObjectNodes	0
Pins	0
ControlNodes	0
Partitions	0
Groups	0.0
ControlFlows	0
ObjectFlows	0
Guards	0
ExcHandlers	0

Sets

Set	Value
groupSet

activity TestCase7.simpleStateMachine..state_0.opaqueExitBehavior

Attribute	Value
context	_wxxN5wnKEd-7q9fQ6Ry6CA
id	_wxxN6QnKEd-7q9fQ6Ry6CA
name	opaqueExitBehavior
comments
nodes
edges
groups

Metrics

Metric	Value
Actions	0
ObjectNodes	0
Pins	0
ControlNodes	0
Partitions	0
Groups	0.0
ControlFlows	0
ObjectFlows	0
Guards	0
ExcHandlers	0

Sets

Set	Value
groupSet

activity TestCase7.simpleStateMachine..state_0.opaqueDoBehavior

Attribute	Value
context	_wxxN5wnKEd-7q9fQ6Ry6CA
id	_wxxN6gnKEd-7q9fQ6Ry6CA
name	opaqueDoBehavior
comments
nodes
edges
groups

Metrics

Metric	Value
Actions	0
ObjectNodes	0
Pins	0
ControlNodes	0
Partitions	0
Groups	0.0
ControlFlows	0
ObjectFlows	0
Guards	0
ExcHandlers	0

Sets

Set	Value
groupSet

List of elements of type 'opaqueexpression' (1)

opaqueexpression TestCase7..

Attribute	Value
context	_wxxOBQnKEd-7q9fQ6Ry6CA
id	_wxxOBgnKEd-7q9fQ6Ry6CA
name
comments