<?xml version="1.0" encoding="utf-8"?>

<wsdl:definitions targetNamespace="urn:icsy:venice:wsdl:math" name="Divide"
	xmlns:tns="urn:icsy:venice:wsdl:math"
	xmlns:faults="urn:icsy:venice:types:faults"
	xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	xmlns:soap="http://schemas.xmlsoap.org/wsdl/soap/"
	xmlns:wsdl="http://schemas.xmlsoap.org/wsdl/">

	<!-- ========== Types ============ -->

	<wsdl:types>

		<xsd:schema elementFormDefault="qualified">
			<xsd:import namespace="urn:icsy:venice:types:faults" schemaLocation="http://www.v-grid.info/types/faults.xsd"/>
		</xsd:schema>

	</wsdl:types>

	<!-- ========== Messages ============ -->

	<wsdl:message name="Message_Divide_divideInt">
		<wsdl:documentation>The request message for the operation divideInt().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:int"/>
		<wsdl:part name="b" type="xsd:int"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideIntResponse">
		<wsdl:documentation>The response message for the operation divideInt().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:double"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideInteger">
		<wsdl:documentation>The request message for the operation divideInteger().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:integer"/>
		<wsdl:part name="b" type="xsd:integer"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideIntegerResponse">
		<wsdl:documentation>The response message for the operation divideInteger().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:decimal"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideDecimal">
		<wsdl:documentation>The request message for the operation divideDecimal().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:decimal"/>
		<wsdl:part name="b" type="xsd:decimal"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideDecimalResponse">
		<wsdl:documentation>The response message for the operation divideDecimal().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:decimal"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideLong">
		<wsdl:documentation>The request message for the operation divideLong().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:long"/>
		<wsdl:part name="b" type="xsd:long"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideLongResponse">
		<wsdl:documentation>The response message for the operation divideLong().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:double"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideFloat">
		<wsdl:documentation>The request message for the operation divideFloat().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:float"/>
		<wsdl:part name="b" type="xsd:float"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideFloatResponse">
		<wsdl:documentation>The response message for the operation divideFloat().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:double"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideDouble">
		<wsdl:documentation>The request message for the operation divideDouble().</wsdl:documentation>
		<wsdl:part name="a" type="xsd:double"/>
		<wsdl:part name="b" type="xsd:double"/>
	</wsdl:message>

	<wsdl:message name="Message_Divide_divideDoubleResponse">
		<wsdl:documentation>The response message for the operation divideDouble().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:double"/>
	</wsdl:message>

	<!-- ========== Fault Messages ============ -->

	<wsdl:message name="FaultMessage_Divide_IllegalArgumentFault">
		<wsdl:part name="fault" element="faults:IllegalArgumentFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_Divide_ServiceMigratedFault">
		<wsdl:part name="fault" element="faults:ServiceMigratedFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_Divide_ServiceNotReadyFault">
		<wsdl:part name="fault" element="faults:ServiceNotReadyFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_Divide_ServiceLimitReachedFault">
		<wsdl:part name="fault" element="faults:ServiceLimitReachedFault"/>
	</wsdl:message>

	<!-- ========== Port Types ============ -->

	<wsdl:portType name="DividePortType">

		<wsdl:operation name="divideInt" parameterOrder="a b">
			<wsdl:documentation>Divides two int values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideInt"/>
			<wsdl:output message="tns:Message_Divide_divideIntResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="divideInteger" parameterOrder="a b">
			<wsdl:documentation>Divides two integer values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideInteger"/>
			<wsdl:output message="tns:Message_Divide_divideIntegerResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="divideDecimal" parameterOrder="a b">
			<wsdl:documentation>Divides two decimal values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideDecimal"/>
			<wsdl:output message="tns:Message_Divide_divideDecimalResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="divideLong" parameterOrder="a b">
			<wsdl:documentation>Divides two long values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideLong"/>
			<wsdl:output message="tns:Message_Divide_divideLongResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="divideFloat" parameterOrder="a b">
			<wsdl:documentation>Divides two float values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideFloat"/>
			<wsdl:output message="tns:Message_Divide_divideFloatResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="divideDouble" parameterOrder="a b">
			<wsdl:documentation>Divides two double values.</wsdl:documentation>
			<wsdl:input message="tns:Message_Divide_divideDouble"/>
			<wsdl:output message="tns:Message_Divide_divideDoubleResponse"/>
			<wsdl:fault message="tns:FaultMessage_Divide_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_Divide_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

	</wsdl:portType>

</wsdl:definitions>

