...
1version: 1
2style: unit
3description: When a pool is closed, it MUST first destroy all available connections in that pool
4operations:
5 - name: ready
6 - name: checkOut
7 - name: checkOut
8 label: conn
9 - name: checkOut
10 - name: checkIn
11 connection: conn
12 - name: close
13events:
14 - type: ConnectionCheckedIn
15 connectionId: 2
16 address: 42
17 - type: ConnectionClosed
18 connectionId: 2
19 reason: poolClosed
20 address: 42
21 - type: ConnectionPoolClosed
22 address: 42
23ignore:
24 - ConnectionCreated
25 - ConnectionPoolReady
26 - ConnectionReady
27 - ConnectionPoolCreated
28 - ConnectionCheckOutStarted
29 - ConnectionCheckedOut
30
View as plain text