<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet type="text/xsl" href="../../../templates/classz.xsl"?>
<schema title="Iterator" xmlns="http://www.lepus.org.uk/classz"
	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	xsi:schemaLocation="http://www.lepus.org.uk/classz ../../../templates/classz.xsd">
	<description>The Iterator design pattern</description>
	<declarations>
		<declare>
			<variable value="Elements" />
			<type value="CLASS" exponent="1" />
		</declare>
		<declare>
			<variable value="Aggregates" />
			<variable value="Iterators" />
			<type value="HIERARCHY" exponent="1" />
		</declare>
		<declare>
			<variable value="createIterator" />
			<variable value="next" />
			<type value="SIGNATURE" exponent="0" />
		</declare>
	</declarations>
	<formulas>
		<formula>
			<predicatesymbol value="Isomorphic" />
			<relationsymbol value="Produce" />
			<superimposition>
				<variable value="createIterator" />
				<variable value="Aggregates" />
			</superimposition>
			<variable value="Iterators" />
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Return" />
			<superimposition>
				<variable value="next" />
				<variable value="Iterators" />
			</superimposition>
			<variable value="Elements" />
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Aggregate" />
			<variable value="Aggregates" />
			<variable value="Elements" />
		</formula>
	</formulas>
</schema>

