AddWrite appends the write to the list of observations.
(rng memory.Range, id id.ID)
| 44 | |
| 45 | // AddWrite appends the write to the list of observations. |
| 46 | func (o *CmdObservations) AddWrite(rng memory.Range, id id.ID) { |
| 47 | o.Writes = append(o.Writes, CmdObservation{Range: rng, ID: id}) |
| 48 | } |
| 49 | |
| 50 | // ApplyReads applies all the observed reads to memory pool p. |
| 51 | // This is a no-op when called when o is nil. |
no outgoing calls