{ "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" ] }