# Partial support for IO domain of ChromeDevTools Protocol.
# https://github.com/ChromeDevTools/devtools-protocol/blob/master/pdl/domains/IO.pdl
domain IO
type StreamHandle extends string
# Read a chunk of the stream
command read
parameters
# Handle of the stream to read.
StreamHandle handle
# Seek to the specified offset before reading (if not specified, proceed with offset
# following the last read). Some types of streams may only support sequential reads.
optional integer offset
# Maximum number of bytes to read (left upon the agent discretion if not specified).
optional integer size
returns
# Data that were read.
string data
# Set if the end-of-file condition occurred while reading.
boolean eof
command close
parameters
# Handle of the stream to close.
StreamHandle handle