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 it is stale
operations:
  - name: checkOut
    label: conn
  - name: clear
  - name: checkIn
    connection: conn
events:
  - type: ConnectionCheckedOut
    connectionId: 1
    address: 42
  - type: ConnectionPoolCleared
    address: 42
  - type: ConnectionCheckedIn
    connectionId: 1
    address: 42
  - type: ConnectionClosed
    connectionId: 1
    reason: stale
    address: 42
ignore:
  - ConnectionPoolCreated
  - ConnectionCreated
  - ConnectionReady
  - ConnectionCheckOutStarted
 
     |