-
Notifications
You must be signed in to change notification settings - Fork 0
/
hello.parsed
19 lines (11 loc) · 4.51 KB
/
hello.parsed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Right (WSDL
{targetNamespace = Just http://www.examples.com/wsdl/HelloService.wsdl,
documentName = Just (Name {nameLocalName = "HelloService", nameNamespace = Nothing, namePrefix = Nothing}),
types = Just (WSDLTypes {schemas = [Schema], additionalTypeInfo = []}),
messages = [WSDLMessage {wsdlMessageName = "SayHelloRequest",
wsdlMessageParts = [WSDLMessagePart {wsdlMessagePartName = Name {nameLocalName = "firstName", nameNamespace = Nothing, namePrefix = Nothing}, wsdlMessagePartElement = Nothing, wsdlMessagePartType = Just (Name {nameLocalName = "string", nameNamespace = Nothing, namePrefix = Just "xsd"})}]},
WSDLMessage {wsdlMessageName = "SayHelloResponse", wsdlMessageParts = [WSDLMessagePart {wsdlMessagePartName = Name {nameLocalName = "greeting", nameNamespace = Nothing, namePrefix = Nothing}, wsdlMessagePartElement = Nothing, wsdlMessagePartType = Just (Name {nameLocalName = "string", nameNamespace = Nothing, namePrefix = Just "xsd"})}]}],
portTypes = [WSDLPortType {wsdlPortTypeName = "Hello_PortType", wsdlPortTypeOperations = [AbstractRequestResponseOperation {operationName = "sayHello", operationInput = InputMessage {inputMessageName = Nothing, inputMessageType = Name {nameLocalName = "SayHelloRequest", nameNamespace = Nothing, namePrefix = Just "tns"}}, operationOutput = OutputMessage {outputMessageName = Nothing, outputMessageType = Name {nameLocalName = "SayHelloResponse", nameNamespace = Nothing, namePrefix = Just "tns"}}, operationFaults = [], operationParameterOrder = []}]}],
bindings = [WSDLBinding {wsdlBindingName = "Hello_Binding", wsdlBindingType = Name {nameLocalName = "Hello_PortType", nameNamespace = Nothing, namePrefix = Just "tns"}, wsdlBindingOperations = [ConcreteOperation {cOperationName = "sayHello", cOperationInput = Just (ConcreteInputMessage {cInputMessageName = Nothing, additionalConcreteInputInfo = [NodeElement (Element {elementName = Name {nameLocalName = "body", nameNamespace = Just "http://schemas.xmlsoap.org/wsdl/soap/", namePrefix = Just "soap"}, elementAttributes = [(Name {nameLocalName = "use", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "encoded"]),(Name {nameLocalName = "namespace", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "urn:examples:helloservice"]),(Name {nameLocalName = "encodingStyle", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "http://schemas.xmlsoap.org/soap/encoding/"])], elementNodes = []})]}), cOperationOutput = Just (ConcreteOutputMessage {cOutputMessageName = Nothing, additionalConcreteOutputInfo = [NodeElement (Element {elementName = Name {nameLocalName = "body", nameNamespace = Just "http://schemas.xmlsoap.org/wsdl/soap/", namePrefix = Just "soap"}, elementAttributes = [(Name {nameLocalName = "use", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "encoded"]),(Name {nameLocalName = "namespace", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "urn:examples:helloservice"]),(Name {nameLocalName = "encodingStyle", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "http://schemas.xmlsoap.org/soap/encoding/"])], elementNodes = []})]}), cOperationFault = [], additionalOperationInfo = [NodeElement (Element {elementName = Name {nameLocalName = "operation", nameNamespace = Just "http://schemas.xmlsoap.org/wsdl/soap/", namePrefix = Just "soap"}, elementAttributes = [(Name {nameLocalName = "soapAction", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "sayHello"])], elementNodes = []})]}], additionalBindingInfo = [NodeElement (Element {elementName = Name {nameLocalName = "binding", nameNamespace = Just "http://schemas.xmlsoap.org/wsdl/soap/", namePrefix = Just "soap"}, elementAttributes = [(Name {nameLocalName = "transport", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "http://schemas.xmlsoap.org/soap/http"]),(Name {nameLocalName = "style", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "rpc"])], elementNodes = []})]}],
services = [WSDLService {wsdlServiceName = "Hello_Service", wsdlServicePorts = [WSDLPort {wsdlPortName = "Hello_Port", wsdlPortBinding = Name {nameLocalName = "Hello_Binding", nameNamespace = Nothing, namePrefix = Just "tns"}, additionalPortInfo = [NodeElement (Element {elementName = Name {nameLocalName = "address", nameNamespace = Just "http://schemas.xmlsoap.org/wsdl/soap/", namePrefix = Just "soap"}, elementAttributes = [(Name {nameLocalName = "location", nameNamespace = Nothing, namePrefix = Nothing},[ContentText "http://www.examples.com/SayHello/"])], elementNodes = []})]}], additionalServiceInfo = []}],
additionalWSDLInfo = []})