...
1{
2 "version": 1,
3 "style": "unit",
4 "description": "When a pool is closed, it MUST first destroy all available connections in that pool",
5 "operations": [
6 {
7 "name": "ready"
8 },
9 {
10 "name": "checkOut"
11 },
12 {
13 "name": "checkOut",
14 "label": "conn"
15 },
16 {
17 "name": "checkOut"
18 },
19 {
20 "name": "checkIn",
21 "connection": "conn"
22 },
23 {
24 "name": "close"
25 }
26 ],
27 "events": [
28 {
29 "type": "ConnectionCheckedIn",
30 "connectionId": 2,
31 "address": 42
32 },
33 {
34 "type": "ConnectionClosed",
35 "connectionId": 2,
36 "reason": "poolClosed",
37 "address": 42
38 },
39 {
40 "type": "ConnectionPoolClosed",
41 "address": 42
42 }
43 ],
44 "ignore": [
45 "ConnectionCreated",
46 "ConnectionPoolReady",
47 "ConnectionReady",
48 "ConnectionPoolCreated",
49 "ConnectionCheckOutStarted",
50 "ConnectionCheckedOut"
51 ]
52}
View as plain text