Term identifier.
A term identifier is a knowledge object of class core-theory:program that represents a program. Objects of this class have many properties that describe program syntax (representation) and semantics. The set of properties is extensible and each plugin/library can add its own properties, for the current set of all properties of all classes, see bap list classes, or bap list class -f core-theory:program to list the properties of the class to which Tid.t belongs.
create () creates a fresh newly term identifier.
This function has a side-effect of changing the Toplevel knowledge base.
val for_name : ?package :string -> string -> t for_name name creates a Term identifier for the given name.
Creates a new program object that denotes a program with the given name. See Theory.Label.for_name from the Bap_core_theory interface for more information.
val for_addr : ?package :string -> addr -> t for_addr addr creates a Term identifier for the given addr.
Creates a new program object that denotes a program with the given addr. See Theory.Label.for_addr from the Bap_core_theory interface for more information.
val for_ivec : ?package :string -> int -> t for_ivec ivec creates a Term identifier for the given ivec.
Creates a new program object that denotes a program with the given ivec. See Theory.Label.for_ivec from the Bap_core_theory interface for more information.
val set_name : tid -> string -> unitset_name tid name associates a name with a given term identifier tid. Any previous associations are overridden.
name tid returns a term name: either a string name with at-prefix, or number identifier.
val from_string : string -> tid Core_kernel .Or_error.tfrom_string s parses tid from string. The expected format is:
tid = symbol | number.
symbol = "@", string.
number = "%", hex.
string = ?sequence of characters?.
number = ?ocaml hexadecimal representation?. val from_string_exn : string -> tid from_string_exn s same as from_string_exn but throws exception on error.
infix notation for from_string_exn
include Regular .Std.Regular.S with type t := t val bin_size_t : t Bin_prot .Size.sizerval bin_write_t : t Bin_prot .Write.writerval bin_read_t : t Bin_prot .Read.readerval __bin_read_t__ : (int -> t ) Bin_prot .Read.readerval bin_shape_t : Bin_prot .Shape.tval bin_writer_t : t Bin_prot .Type_class.writerval bin_reader_t : t Bin_prot .Type_class.readerval bin_t : t Bin_prot .Type_class.tval t_of_sexp : Sexplib0__ .Sexp.t -> t val sexp_of_t : t -> Sexplib0__ .Sexp.tval to_string : t -> val str : unit -> t -> val pps : unit -> t -> val ppo : Core_kernel .Out_channel.t -> t -> val pp_seq : Stdlib .Format.formatter -> t Core_kernel .Sequence.t-> val pp : Base__ .Formatter.t -> t -> val (>=) : t -> t -> val (<=) : t -> t -> val (<>) : t -> t -> val equal : t -> t -> val compare : t -> t -> val ascending : t -> t -> val descending : t -> t -> val between : t -> low :t -> high :t -> val clamp_exn : t -> min :t -> max :t -> t val clamp : t -> min :t -> max :t -> t Base__ .Or_error.tval validate_lbound : min :t Base__ .Maybe_bound.t-> t Base__ .Validate.checkval validate_ubound : max :t Base__ .Maybe_bound.t-> t Base__ .Validate.checkval validate_bound :
min :t Base__ .Maybe_bound.t-> max :t Base__ .Maybe_bound.t-> t Base__ .Validate.checkval hash_fold_t :
Ppx_hash_lib .Std.Hash.state -> t -> Ppx_hash_lib .Std.Hash.stateval hash : t -> Ppx_hash_lib .Std.Hash.hash_valueval hashable : t Core_kernel__ .Hashtbl.Hashable.tmodule Table : sig ... end type info = string * [ `Ver of string ] * string option val size_in_bytes : ?ver :string -> ?fmt :string -> t -> val of_bytes : ?ver :string -> ?fmt :string -> Regular .Std.bytes -> t val to_bytes : ?ver :string -> ?fmt :string -> t -> Regular .Std.bytesval blit_to_bytes :
?ver :string -> ?fmt :string -> Regular .Std.bytes -> t -> int ->
unitval of_bigstring : ?ver :string -> ?fmt :string -> Core_kernel .bigstring -> t val to_bigstring : ?ver :string -> ?fmt :string -> t -> Core_kernel .bigstringval blit_to_bigstring :
?ver :string -> ?fmt :string -> Core_kernel .bigstring -> t -> int ->
unitmodule Cache : sig ... end val add_reader :
?desc :string -> ver :string -> string ->
t Regular .Std.reader-> val add_writer :
?desc :string -> ver :string -> string ->
t Regular .Std.writer-> val available_readers : unit -> info listval default_reader : unit -> info val set_default_reader : ?ver :string -> string -> unitval with_reader : ?ver :string -> string -> (unit -> 'a ) -> 'a val available_writers : unit -> info listval default_writer : unit -> info val set_default_writer : ?ver :string -> string -> unitval with_writer : ?ver :string -> string -> (unit -> 'a ) -> 'a val default_printer : unit -> info optionval set_default_printer : ?ver :string -> string -> unitval with_printer : ?ver :string -> string -> (unit -> 'a ) -> 'a val find_reader : ?ver :string -> string -> t Regular .Std.readerval find_writer : ?ver :string -> string -> t Regular .Std.writer