| Paul Jakma | 86d87e0 | 2016-04-20 14:04:22 +0100 | [diff] [blame] | 1 | digraph { |
| 2 | rankdir=LR |
| 3 | //concentrate=true |
| 4 | nojustify="true" |
| 5 | |
| 6 | Idle -> Connect [ label="ManualStart\l|AutomaticStart" ] |
| 7 | Idle -> Active [ label="ManualStart_with_PassiveTcpEstablishment\l|AutomaticStart_with_PassiveTcpEstablishment" ] |
| 8 | |
| 9 | Connect -> Idle [ label="ManualStop"] |
| 10 | Connect -> Connect [ label="ConnectRetryTimer_Expires\l|TcpConnection_Valid\l|Tcp_CR_Invalid\l|Tcp_CR_Acked && DelayOpen == True\l|TcpConnectionConfirmed && DelayOpen == True\l" ] |
| 11 | Connect -> OpenSent [ label="DelayOpenTimer_Expires\l|Tcp_CR_Acked && DelayOpen == False\l|TcpConnectionConfirmed && DelayOpen == False\l" ] |
| 12 | Connect -> Active [ label="TcpConnectionFails && DelayOpenTimer == \"running\"\l" ] |
| 13 | Connect -> Idle [ label="TcpConnectionFails && DelayOpenTimer == \"not running\"\l" ] |
| 14 | Connect -> OpenConfirm [ label="BGPOpen && DelayOpenTimer == \"running\"" ] |
| 15 | Connect -> Idle [ label="NotifMsg|*\l" ] |
| 16 | |
| 17 | Active -> Idle [ label="ManualStop\l|TcpConnectionFails\l|NotifMsg|*" ] |
| 18 | Active -> Connect [ label="ConnectRetryTimer_Expires" ] |
| 19 | Active -> OpenSent [ label="DelayOpenTimer_Expires" ] |
| 20 | Active -> Active [ label="(Tcp_CR_Acked\l|TcpConnectionConfirmed)\l&& DelayOpen = True" ] |
| 21 | Active -> OpenSent [ label="(Tcp_CR_Acked|TcpConnectionConfirmed)\l&& DelayOpen = False" ] |
| 22 | Active -> OpenConfirm [ label="BGPOpen && DelayOpenTimer == \"running\"" ] |
| 23 | |
| 24 | OpenSent -> Idle [ label="ManualStop\l|AutomaticStop\l|HoldTimer_Expires\l|NotifMsg\l|OpenCollisionDump\l" ] |
| 25 | OpenSent -> Active [ label="TcpConnectionFails" ] |
| 26 | OpenSent -> OpenConfirm [ label="BGPOpen" ] |
| 27 | |
| 28 | OpenConfirm -> Idle [ label="ManualStop\l|AutomaticStop\l|HoldTimer_Expires\l|TcpConnectionFails\l|NotifMsg\l|BGPOpen|*\l"] |
| 29 | OpenConfirm -> Established [ label="KeepAliveMsg|"] |
| 30 | OpenConfirm -> OpenConfirm [ label="KeepaliveTimer_Expires" ] |
| 31 | |
| 32 | Established -> Idle [ label="OpenCollisionDump|*"] |
| 33 | Established -> Established [ label="Tcp_CR_Invalid|KeepAliveMsg|UpdateMsg"] |
| 34 | } |