aboutsummaryrefslogtreecommitdiffstats
path: root/bindings/ocaml/analysis
diff options
context:
space:
mode:
authorGordon Henriksen <gordonhenriksen@mac.com>2008-03-09 07:17:38 +0000
committerGordon Henriksen <gordonhenriksen@mac.com>2008-03-09 07:17:38 +0000
commit3b646de03668fed630f4e3fa9df56a7332a905e4 (patch)
tree15785224d9e8e272182d4bf8976d8b8b4bf23f52 /bindings/ocaml/analysis
parentafb23f48a4f5f76b4a0fca870ae5a28c27dde028 (diff)
downloadexternal_llvm-3b646de03668fed630f4e3fa9df56a7332a905e4.zip
external_llvm-3b646de03668fed630f4e3fa9df56a7332a905e4.tar.gz
external_llvm-3b646de03668fed630f4e3fa9df56a7332a905e4.tar.bz2
This patch cleans up the OCaml bindings so that they format nicely with
ocamldoc. It does not yet hook into the build system, though. Patch by Erick Tryzelaar! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48095 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/analysis')
-rw-r--r--bindings/ocaml/analysis/llvm_analysis.mli21
1 files changed, 10 insertions, 11 deletions
diff --git a/bindings/ocaml/analysis/llvm_analysis.mli b/bindings/ocaml/analysis/llvm_analysis.mli
index 7992ad1..a97bd7e 100644
--- a/bindings/ocaml/analysis/llvm_analysis.mli
+++ b/bindings/ocaml/analysis/llvm_analysis.mli
@@ -5,32 +5,31 @@
* This file is distributed under the University of Illinois Open Source
* License. See LICENSE.TXT for details.
*
- *===----------------------------------------------------------------------===
- *
- * This interface provides an ocaml API for LLVM IR analyses, the classes in
- * the Analysis library.
- *
*===----------------------------------------------------------------------===*)
+(** Intermediate representation analysis.
+
+ This interface provides an ocaml API for LLVM IR analyses, the classes in
+ the Analysis library. *)
(** [verify_module m] returns [None] if the module [m] is valid, and
[Some reason] if it is invalid. [reason] is a string containing a
- human-readable validation report. See [llvm::verifyModule]. **)
+ human-readable validation report. See [llvm::verifyModule]. *)
external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
(** [verify_function f] returns [None] if the function [f] is valid, and
[Some reason] if it is invalid. [reason] is a string containing a
- human-readable validation report. See [llvm::verifyFunction]. **)
+ human-readable validation report. See [llvm::verifyFunction]. *)
external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
(** [verify_module m] returns if the module [m] is valid, but prints a
- validation report to [stderr] and aborts the program if it is invalid. See
- [llvm::verifyModule]. **)
+ validation report to [stderr] and aborts the program if it is invalid. See
+ [llvm::verifyModule]. *)
external assert_valid_module : Llvm.llmodule -> unit
= "llvm_assert_valid_module"
(** [verify_function f] returns if the function [f] is valid, but prints a
- validation report to [stderr] and aborts the program if it is invalid. See
- [llvm::verifyFunction]. **)
+ validation report to [stderr] and aborts the program if it is invalid. See
+ [llvm::verifyFunction]. *)
external assert_valid_function : Llvm.llvalue -> unit
= "llvm_assert_valid_function"