TraceReadBuffer constructor

const TraceReadBuffer(int buffer)

Records a read of storage buffer id buffer.

Implementation

const TraceReadBuffer(this.buffer);