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