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
|
version: 1
style: unit
description: must destroy checked in connection if pool has been closed
operations:
- name: checkOut
label: conn
- name: close
- name: checkIn
connection: conn
events:
- type: ConnectionCheckedOut
connectionId: 1
address: 42
- type: ConnectionPoolClosed
address: 42
- type: ConnectionCheckedIn
connectionId: 1
address: 42
- type: ConnectionClosed
connectionId: 1
reason: poolClosed
address: 42
ignore:
- ConnectionPoolCreated
- ConnectionCreated
- ConnectionReady
- ConnectionCheckOutStarted
|