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

<wsdl:definitions targetNamespace="urn:icsy:venice:wsdl:examples" name="SimpleCounter"
	xmlns:tns="urn:icsy:venice:wsdl:examples"
	xmlns:domain="urn:icsy:venice:types:domain"
	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:domain" schemaLocation="http://www.v-grid.info/types/domain.xsd"/>
			<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_SimpleCounter_getCounter">
		<wsdl:documentation>The request message for the operation getCounter().</wsdl:documentation>
	</wsdl:message>

	<wsdl:message name="Message_SimpleCounter_getCounterResponse">
		<wsdl:documentation>The response message for the operation getCounter().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:long"/>
	</wsdl:message>

	<wsdl:message name="Message_SimpleCounter_getUserCounter">
		<wsdl:documentation>The request message for the operation getUserCounter().</wsdl:documentation>
		<wsdl:part name="sso" type="domain:SSOInformation"/>
	</wsdl:message>

	<wsdl:message name="Message_SimpleCounter_getUserCounterResponse">
		<wsdl:documentation>The response message for the operation getUserCounter().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:long"/>
	</wsdl:message>

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

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

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

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

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

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

	<wsdl:portType name="SimpleCounterPortType">

		<wsdl:operation name="getCounter" parameterOrder="">
			<wsdl:documentation>Returns the current counter from the service. The counter is then increased by the service. This counter will be reset every time the service is restarted.</wsdl:documentation>
			<wsdl:input message="tns:Message_SimpleCounter_getCounter"/>
			<wsdl:output message="tns:Message_SimpleCounter_getCounterResponse"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

		<wsdl:operation name="getUserCounter" parameterOrder="sso">
			<wsdl:documentation>Returns the current user counter from the service. The counter is then increased by the service. This counter will be persistent as long as the service exists, i.e. even if it is restarted.</wsdl:documentation>
			<wsdl:input message="tns:Message_SimpleCounter_getUserCounter"/>
			<wsdl:output message="tns:Message_SimpleCounter_getUserCounterResponse"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_SimpleCounter_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

	</wsdl:portType>

</wsdl:definitions>

