Schema for Purchase Order Example

Pattern

Rule
`name\| city \| state \| zip`
	Assert
	`parent::*/street`	An address should have a street.
	Assert
	`parent::*/city`	An address should have a city.
	Assert
	`parent::*/state`	An address should have a state.
	Assert
	`parent::*/zip`	An address should have a zip.
	Assert
	`parent::*/@type`	An address should have a type attribute.
Rule
`/name \| /city \| /state \| /zip`
	Report
	`self::*`	The elements `<name path=""/>` is not expected at the top of a document. They form part of an address.

purchase order type

Pattern

Rule
`shipTo \| shipDate \| Items`
	Assert
	`parent::*/shipTo`	A purchase order should have a shipTo element.
	Assert
	`parent::*/shipDate`	A purchase order should have a shipDate element.
	Assert
	`parent::*/Items`	A purchase order should have an Items element.
	Assert
	`parent::*/@orderDate`	A purchase order should have an orderDate attribute.
Rule
`/shipTo \| /shipDate \| /Items`
	Report
	`self::*`	The element `<name path=""/>` is not expected at the top of a document. It should be in the body of a purchase order.

Specific Elements

Pattern

Rule
`PurchaseOrder`
	Assert
	`shipTo`	A purchase order element should have a shipping address. There should be a shipTo element contained by the PurchaseOrder element.
Rule
`shipTo`
	Assert
	`name`	A shipping address element should have a name element.
Rule
`Items`
	Assert
	`count(child::*) = count(child::Item)`	The Items element can only contain Item elements
Rule
`Item`
	Assert
	`productName`	The Item element should contain a product name.
	Assert
	`quantity`	The Item element should contain a quantity element
	Assert
	`price`	The Item element should contain a price element.
Rule
`comment`
	Report
	`child::*`	A comment should have no subelements
	Assert
	`parent::Item \| parent::PurchaseOrder`	A comment can only appear in an Item or a Purchase Order

Schematron Pretty