diff options
Diffstat (limited to 'generator')
| -rw-r--r-- | generator/generator_api_versions.ml | 5 | ||||
| -rw-r--r-- | generator/generator_api_versions.mli | 5 | ||||
| -rw-r--r-- | generator/generator_c.ml | 6 |
3 files changed, 9 insertions, 7 deletions
diff --git a/generator/generator_api_versions.ml b/generator/generator_api_versions.ml index 5f9d96f7..1749752e 100644 --- a/generator/generator_api_versions.ml +++ b/generator/generator_api_versions.ml @@ -39,6 +39,5 @@ let load_api_versions filename = close_in chan let lookup_api_version sym = - try Hashtbl.find hash sym - with Not_found -> - failwithf "API symbol \"%s\" not found in API versions file" sym + try Some (Hashtbl.find hash sym) + with Not_found -> None diff --git a/generator/generator_api_versions.mli b/generator/generator_api_versions.mli index 03e8777f..0932a671 100644 --- a/generator/generator_api_versions.mli +++ b/generator/generator_api_versions.mli @@ -25,7 +25,8 @@ val load_api_versions : string -> unit (** Load the data from the named file. *) -val lookup_api_version : string -> string +val lookup_api_version : string -> string option (** [lookup_api_version c_api] looks up the version that the C API call (which must be the full C name, eg. ["guestfs_launch"]) was - added. This returns the version string, eg. ["0.3"]. *) + added. This returns the version string, eg. [Some "0.3"], or + [None] if no version could be found. *) diff --git a/generator/generator_c.ml b/generator/generator_c.ml index 28cecdba..4480200a 100644 --- a/generator/generator_c.ml +++ b/generator/generator_c.ml @@ -255,8 +255,10 @@ L</KEYS AND PASSPHRASES> for more information.\n\n"; | None -> () | Some txt -> pr "%s\n\n" txt ); - let version = lookup_api_version name in - pr "(Added in %s)\n\n" version; + (match lookup_api_version name with + | Some version -> pr "(Added in %s)\n\n" version + | None -> () + ); (* Handling of optional argument variants. *) if optargs <> [] then ( |