W adds a write using the given range and data, returning this Extras so calls can be chained.
(base uint64, size uint64, id id.ID)
| 117 | // W adds a write using the given range and data, returning this Extras so calls |
| 118 | // can be chained. |
| 119 | func (e *Extras) W(base uint64, size uint64, id id.ID) *Extras { |
| 120 | if e.e == nil { |
| 121 | e.e = &api.CmdExtras{} |
| 122 | } |
| 123 | e.e.GetOrAppendObservations().AddWrite(memory.Range{Base: base, Size: size}, id) |
| 124 | return e |
| 125 | } |
| 126 | |
| 127 | // R creates and returns a new Extras containing a single read using the given |
| 128 | // range and data. |