Lreader (p.binsec.0.7.3.doc.binsec.Binsec.Lreader)

type byte = int

type t

val create : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  ('a -> int -> byte) ->
  'a ->
  t

val of_img : ?endianness:Machine.endianness -> ?at:int -> Loader.Img.t -> t

val of_zero_extend_buffer : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  Loader_buf.t ->
  t

val of_nibbles : ?endianness:Machine.endianness -> ?at:int -> string -> t

val of_bytes : ?endianness:Machine.endianness -> ?at:int -> string -> t

val of_binstream : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  Binstream.t ->
  t

val pp : Format.formatter -> t -> unit

val get_pos : t -> int

val rewind : t -> int -> unit

rewind r n moves back the cursor n bytes.

val advance : t -> int -> unit

advance r n moves the cursor the cursor n bytes.

val set_endianness : t -> Machine.endianness -> unit

set_endianness e r sets reader to report value w.r.t to endianness r

module type Accessor = sig ... end

module Read : Accessor with type t := t

Accessor functions of module Read read n=1, 2, 4, or 8 bytes and advance n bytes as well.

module Peek : Accessor with type t := t

Peek is like Read but does not advance

val get_slice : t -> lo:int -> hi:int -> bytes

get_slice t ~lo ~hi returns the bytes contained in the interval from [lo, hi].