Module Wsdl_import

module Wsdl_import: sig .. end

@(#)wsdl_import.mli

Interface for the Wsdl_import module which builds an XQuery AST from a wsdl AST.

Service namespace WSDL AST Chosen service Chosen port
Author(s): Nicola Onose

val wsdl_ast_to_xquery_ast_import : string ->
       Wsdl_ast.wsdl_module ->
       string option -> string option -> Xquery_ast.library_module

val wsdl_to_xqfile_import : string ->
       string -> Wsdl_ast.wsdl_module -> string option -> string option -> unit

Dumps directly to a file The first string is the name of the output file. The second string is the name of the namespace of the functions.