diff options
Diffstat (limited to 'src/current/include/preproc/domain.xsl')
| -rw-r--r-- | src/current/include/preproc/domain.xsl | 226 |
1 files changed, 226 insertions, 0 deletions
diff --git a/src/current/include/preproc/domain.xsl b/src/current/include/preproc/domain.xsl new file mode 100644 index 0000000..6dc436d --- /dev/null +++ b/src/current/include/preproc/domain.xsl @@ -0,0 +1,226 @@ +<?xml version="1.0" encoding="ISO-8859-1"?> +<!-- + Compiles domains from typedefs + + The ultime goal is to implement typedefs as macros and move to a generic + domain system that is much more powerful. +--> + +<xsl:stylesheet version="1.0" + xmlns="http://www.w3.org/1999/xhtml" + xmlns:xsl="http://www.w3.org/1999/XSL/Transform" + + xmlns:preproc="http://www.lovullo.com/rater/preproc" + xmlns:lv="http://www.lovullo.com/rater" + xmlns:c="http://www.lovullo.com/calc"> + + +<!-- + Base typedefs (internal) are declarations only + + TODO: We still want a domain generated. +--> +<xsl:template match="lv:typedef[ lv:base-type ]" + mode="preproc:mkdomain" priority="9"> +</xsl:template> + + +<!-- + Union typedefs + + This generates not only the contained typedefs, but also a denormalized + domain containing the union of all the subdomain elements. This is + intended to improve lookup performance and reduce algorithmic complexity. +--> +<xsl:template match=" + lv:typedef[ + lv:union + ] + " + mode="preproc:mkdomain" priority="5"> + + <!-- generate all contained domains --> + <xsl:variable name="subdomains"> + <xsl:variable name="union-types" select=" + lv:union/lv:typedef" /> + + <!-- if a union is empty, then somebody probably made an oopsie or wrote + a defective/deficient template --> + <xsl:if test="count( $union-types ) = 0"> + <xsl:message> + <xsl:text>warning: union `</xsl:text> + <xsl:value-of select="@name" /> + <xsl:text>' has no subdomains; something is probably wrong</xsl:text> + </xsl:message> + </xsl:if> + + <xsl:apply-templates mode="preproc:mkdomain" + select="$union-types" /> + </xsl:variable> + + <!-- provide a denormalized domain for performance and to reduce + algorithmic complexity--> + <xsl:call-template name="preproc:mkdomain-union"> + <xsl:with-param name="name" select="@name" /> + <xsl:with-param name="subdomains" select="$subdomains" /> + </xsl:call-template> + + <xsl:copy-of select="$subdomains" /> +</xsl:template> + + +<!-- + Enumerated typedefs +--> +<xsl:template match=" + lv:typedef[ + lv:enum + ] + " + mode="preproc:mkdomain" priority="5"> + + <lv:domain name="{@name}"> + <xsl:variable name="items" select="lv:enum/lv:item" /> + + <!-- if a typedef is empty, then somebody probably made an oopsie or + wrote a defective/deficient template --> + <xsl:if test="count( $items ) = 0"> + <xsl:message> + <xsl:text>warning: typedef `</xsl:text> + <xsl:value-of select="@name" /> + <xsl:text>' is empty; something is probably wrong</xsl:text> + </xsl:message> + </xsl:if> + + <xsl:apply-templates mode="preproc:mkdomain" + select="$items" /> + </lv:domain> +</xsl:template> + + +<!-- + Prohibit mixing explicit and auto-generated values + + For the time being at least. +--> +<xsl:template match=" + lv:typedef[ + lv:enum/lv:item[ @value ] + and lv:enum/lv:item[ not( @value ) ] + ]" + mode="preproc:mkdomain" priority="2"> + + <xsl:message terminate="yes"> + <xsl:text>error: typedef `</xsl:text> + <xsl:value-of select="@name" /> + <xsl:text>' must not contain both @value and non-@value items</xsl:text> + </xsl:message> +</xsl:template> + + +<!-- + Unsupported typedef + + Well, we know that it is a typedef, but its format is unknown. This + wouldn't be surprising, since it is presently very limited. +--> +<xsl:template match="lv:typedef" + mode="preproc:mkdomain" priority="2"> + + <xsl:message terminate="yes"> + <xsl:text>error: malformed typedef `</xsl:text> + <xsl:value-of select="@name" /> + <xsl:text>'</xsl:text> + </xsl:message> +</xsl:template> + + + +<!-- + Generate a denormalized domain consisting of the union of its subdomains' + elements + + As this is a union, duplicate elements will be removed; the user will not + be notified of this fact, as this allows domains to overlap in order to + interpret the same data in different manners. +--> +<xsl:template name="preproc:mkdomain-union"> + <xsl:param name="name" /> + <xsl:param name="subdomains" /> + + <xsl:variable name="union"> + <preproc:elements> + <xsl:copy-of select="$subdomains/lv:domain/lv:element" /> + </preproc:elements> + </xsl:variable> + + <!-- remove duplicate values (yes, this will take the first description if + there are duplicates; whatever, for now) --> + <lv:domain name="{@name}"> + <xsl:copy-of select=" + $union/preproc:elements/lv:element[ + not( @value = preceding-sibling::lv:element/@value ) + ]" /> + </lv:domain> +</xsl:template> + + +<!-- + Enumerated items without values require calculation + + Note the above validation that ensures that our value generation is + sufficient. +--> +<xsl:template match="lv:enum/lv:item[ not( @value ) ]" + mode="preproc:mkdomain" priority="5"> + + <xsl:variable name="augmented"> + <xsl:copy> + <xsl:attribute name="value" select="position()" /> + </xsl:copy> + </xsl:variable> + + <!-- re-process using an augmented item with the value calculated --> + <xsl:apply-templates mode="preproc:mkdomain" + select="$augmented/lv:item" /> +</xsl:template> + + +<!-- + Convert typedef item into a domain element + + This is a straightforward rename with sanity checking. Note that the + element may have an empty description. + + We do not care about the name, since we use that to generate constants + elsewhere. +--> +<xsl:template match="lv:item" + mode="preproc:mkdomain" priority="4"> + + <!-- previous templates should have prevented this, but just in case --> + <xsl:if test="not( @value )"> + <xsl:message terminate="yes"> + <xsl:text>internal error: preproc:mkdomain on non-value item: </xsl:text> + <xsl:copy-of select="." /> + </xsl:message> + </xsl:if> + + <lv:element value="{@value}" desc="{@desc}" /> +</xsl:template> + + +<!-- + Unexpected node; terminate +--> +<xsl:template match="*" + mode="preproc:mkdomain" priority="1"> + + <xsl:message terminate="yes"> + <xsl:text>internal error: unknown domain source: </xsl:text> + <xsl:copy-of select="." /> + </xsl:message> +</xsl:template> + +</xsl:stylesheet> + |