<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet type="text/xsl" href="../../../templates/classz.xsl"?>
<schema title="Visitor" 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 Visitor design pattern</description>
	<declarations>
		<declare>
			<variable value="client" />
			<type value="CLASS" exponent="0" />
		</declare>
		<declare>
			<variable value="Visitors" />
			<variable value="Elements" />
			<type value="HIERARCHY" exponent="1" />
		</declare>
		<declare>
			<variable value="accept(abstractVisitor)" />
			<type value="SIGNATURE" exponent="0" />
		</declare>
		<declare>
			<variable value="Visit" />
			<variable value="Ops" />
			<type value="SIGNATURE" exponent="1" />
		</declare>
	</declarations>
	<formulas>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Aggregate" />
			<variable value="client" />
			<variable value="Elements" />
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Member" />
			<variable value="client" />
			<variable value="Visitors" />
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Call" />
			<superimposition>
				<variable value="Ops" />
				<variable value="client" />
			</superimposition>
			<superimposition>
				<variable value="accept(abstractVisitor)" />
				<variable value="Elements" />
			</superimposition>
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Call" />
			<superimposition>
				<variable value="accept(abstractVisitor)" />
				<variable value="Elements" />
			</superimposition>
			<superimposition>
				<variable value="Visit" />
				<variable value="Visitors" />
			</superimposition>
		</formula>
		<formula>
			<predicatesymbol value="Total" />
			<relationsymbol value="Call" />
			<superimposition>
				<variable value="Visit" />
				<variable value="Visitors" />
			</superimposition>
			<variable value="Elements" />
		</formula>
	</formulas>
</schema>

