Class type BCHLibTypes.pushback_stream_int

Principal class for reading in executables.

method skip_bytes : int -> unit
method read : char
method nread : int -> string
method really_nread : int -> string
method read_byte : int
method read_signed_byte : int
method read_ui16 : int
method read_i16 : int
method read_i32 : int
method read_real_i32 : int32
method read_i64 : int64
method read_string : string
method read_doubleword : doubleword_int
method read_num_signed_byte : CHNumerical.numerical_t
method read_num_unsigned_byte : CHNumerical.numerical_t
method read_num_signed_word : CHNumerical.numerical_t
method read_num_signed_doubleword : CHNumerical.numerical_t
method read_imm_signed_byte : immediate_int
method read_imm_signed_word : immediate_int
method read_imm_signed_doubleword : immediate_int
method read_imm_signed : int -> immediate_int
method read_imm_unsigned_byte : immediate_int
method read_imm_unsigned_word : immediate_int
method read_imm_unsigned_doubleword : immediate_int
method read_imm_unsigned : int -> immediate_int
method read_dwarf_leb128 : int

Return the decoded value of the unsigned DWARF Little Endian Base 128 (LEB128) variable length data encoded value

method read_dwarf_sleb128 : int -> int

Return the decoded value of the signed DWARF Little Endian Base 128 (LEB128) variable length data encoded value

method read_null_terminated_string : string
method read_sized_unicode_string : string
method pushback : int -> unit
method pos : int
method sub : int -> int -> string