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.