Std.Demanglers
Registry of demanglers.
val install : Bap_core_theory.Theory.target -> demangler -> unit
install t d
installs d
as the default demangler for the target t
.
The demangler will be used every time a name is decided from the set of possible names for a label that belongs to a program unit that has target t
.
Fails if a demangler for the given target is already installed.
val register : demangler -> unit
register demangler
DEPRECATED.
val lookup : ?package:string -> string -> demangler option
lookup ?package name
lookups in the registry for the demangler with the given package:name
.
val get : ?package:string -> string -> demangler
get ?package name
returns the package:name
demangler.
Fails with Invalid_arg
if no such demangler exists.
val select : Bap_core_theory.Theory.Target.t -> demangler
select t
returns the demangler installed for the target t
.
If not demangler was installed then returns an identity demangler that doesn't touch names.
val available : unit -> demangler list
available ()
lists currently registered demanglers.