| -- This file is generated by SWIG. Do *not* modify by hand. |
| -- |
| |
| with llvm; |
| with Interfaces.C.Strings; |
| |
| |
| package LLVM_Analysis.Binding is |
| |
| function LLVMVerifyModule |
| (M : in llvm.LLVMModuleRef; |
| Action : in LLVM_Analysis.LLVMVerifierFailureAction; |
| OutMessage : access Interfaces.C.Strings.chars_ptr) |
| return Interfaces.C.int; |
| |
| function LLVMVerifyFunction |
| (Fn : in llvm.LLVMValueRef; |
| Action : in LLVM_Analysis.LLVMVerifierFailureAction) |
| return Interfaces.C.int; |
| |
| procedure LLVMViewFunctionCFG (Fn : in llvm.LLVMValueRef); |
| |
| procedure LLVMViewFunctionCFGOnly (Fn : in llvm.LLVMValueRef); |
| |
| private |
| |
| pragma Import (C, LLVMVerifyModule, "Ada_LLVMVerifyModule"); |
| pragma Import (C, LLVMVerifyFunction, "Ada_LLVMVerifyFunction"); |
| pragma Import (C, LLVMViewFunctionCFG, "Ada_LLVMViewFunctionCFG"); |
| pragma Import (C, LLVMViewFunctionCFGOnly, "Ada_LLVMViewFunctionCFGOnly"); |
| |
| end LLVM_Analysis.Binding; |