<?xml version="1.0"?>
<!-- This is an XSLT that makes a formatted list of formats used in the 
     input file. It depends on the id/tag type being unique to generate unique
     identifiers for each constraint. -->
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
  <xsl:output method="text" indent="no"/>

  <xsl:template match="format">
    <xsl:value-of select="@id" /><xsl:text>=</xsl:text><xsl:value-of select="string()"/><xsl:text>
</xsl:text>
  </xsl:template>

  <xsl:template match="fillinfmt">
    <xsl:if test="string-length(@class) > 0 or string-length(@format) > 0">
      <xsl:text>@</xsl:text><xsl:value-of select="@id"/><xsl:text>:</xsl:text><xsl:value-of select="@class"/><xsl:text>=</xsl:text><xsl:value-of select="@format"/><xsl:text>
</xsl:text>
    </xsl:if>
  </xsl:template>

  <xsl:template match="text()" />

</xsl:stylesheet>