module Wsdl_ast:sig
..end
Syntax tree representation of a wsdl description.
NOTE: For the time being, it is only a partial representation of
the WSDL specifications. The "import" element is not supported.
All the HTTP and SOAP bindings are not fully implemented.
Author(s): Nicola Onose
See also wsdl_load.mlp
wsdl_load.mlp
type
soapStyleChoice =
| |
Soap_RPC |
| |
Soap_Document |
type
soap_binding = {
|
nms_prefix : |
|
transport : |
|
soap_binding_style : |
|
encodingStyleDefault : |
type
soapUseChoice =
| |
Literal |
| |
Encoded |
type
soap_body = {
|
soap_body_encodingStyle : |
|
use : |
|
soap_body_nms : |
type
soap_header = {
|
soap_header_element : |
|
soap_header_type : |
|
soap_header_localname : |
|
soap_header_nms : |
|
soap_header_encodingStyle : |
|
soap_header_role : |
type
soap_headerfault = {
|
soap_headerfault_message : |
|
soap_headerfault_part : |
|
soap_headerfault_nms : |
|
soap_headerfault_encodingStyle : |
typesoap_inout =
soap_body option * soap_header list *
soap_headerfault list
type
soap_fault = {
|
soap_fault_prefix : |
|
soap_fault_name : |
|
soap_fault_nms : |
|
soap_fault_encodingStyle : |
type
soap_operation = {
|
nms_soap_operation : |
|
soapAction : |
|
soap_operation_style : |
type
soap_address = {
|
nms_soap_address : |
|
location : |
type
part_type_decl =
| |
PartType of |
| |
PartElement of |
type
part = {
|
part_name : |
|
part_type : |
type
message = {
|
message_name : |
|
mutable message_parts : |
type
operation_in_port_type = {
|
operation_name : |
|
input : |
|
output : |
|
faults : |
type
port_type = {
|
port_type_name : |
|
mutable operations : |
|
mutable extends : |
type
operation_in_binding = {
|
operation_in_binding_name : |
|
binding_input : |
|
binding_output : |
|
binding_faults : |
|
binding_soap_operation : |
|
http_relative_uri : |
type
service_binding = {
|
binding_name : |
|
binding_type : |
|
mutable bind_soap : |
|
mutable binding_operations : |
|
http_method : |
type
service_port = {
|
service_port_name : |
|
service_port_binding : |
|
port_soap_address : |
|
http_base_uri : |
type
service = {
|
service_name : |
|
mutable ports : |
typeservice_schema =
Xquery_type_ast.xschema
type
wsdl_module = {
|
wsdl_name : |
|
mutable global_xmlns : |
|
mutable targetNamespace : |
|
mutable wsdl_services : |
|
mutable wsdl_types : |
|
mutable wsdl_bindings : |
|
mutable wsdl_port_types : |
|
mutable wsdl_messages : |
|
mutable soapenv_prefix_name : |
|
mutable xsi_prefix_name : |
|
mutable xsd_prefix_name : |