blob: 1d18d7a83736352c4cfc85a4b6212adc2691ded4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
<?xml version="1.0" encoding="ISO-8859-1"?>
<!--
Parameter validations
-->
<xsl:stylesheet version="1.0"
xmlns="http://www.w3.org/1999/xhtml"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:lv="http://www.lovullo.com/rater"
xmlns:c="http://www.lovullo.com/calc"
xmlns:lvv="http://www.lovullo.com/rater/validate"
xmlns:preproc="http://www.lovullo.com/rater/preproc">
<!--
Param type must be known
TODO: Doesn't the symbol table lookup process handle this?
-->
<xsl:template match="
lv:param[
not(
@type=root(.)/preproc:symtable/preproc:sym[
@type
]/@name
)
]"
mode="lvv:validate" priority="5">
<xsl:call-template name="lvv:error">
<xsl:with-param name="desc" select="'Unknown param type'" />
<xsl:with-param name="refnode" select="." />
<xsl:with-param name="content">
<xsl:text>'</xsl:text>
<xsl:value-of select="@type" />
<xsl:text>' is undefined for param </xsl:text>
<xsl:value-of select="@name" />
</xsl:with-param>
</xsl:call-template>
</xsl:template>
<!--
Default must be within the domain of the param
Note that this template priority is less than the template that checks to
ensure that the param type exists in the first place.
-->
<xsl:template match="lv:param[ @default ]"
mode="lvv:validate" priority="4">
<xsl:variable name="type" select="@type" />
<!-- default must be within its domain -->
<xsl:variable name="result">
<xsl:call-template name="lvv:domain-check">
<xsl:with-param name="value" select="@default" />
<xsl:with-param name="sym-domain" select="
root(.)/preproc:symtable/preproc:sym[
@name = $type
]" />
</xsl:call-template>
</xsl:variable>
<xsl:if test="not( $result/lvv:ok )">
<xsl:variable name="fail" select="$result/lvv:fail/lvv:chk" />
<!-- if we didn't succeed, but we didn't fail, then we did something we
weren't supposed to -->
<xsl:if test="not( $fail )">
<xsl:message terminate="yes">
<xsl:text>internal error: in limbo processing param `</xsl:text>
<xsl:value-of select="@name" />
<xsl:text>' @default</xsl:text>
</xsl:message>
</xsl:if>
<xsl:call-template name="lvv:error">
<xsl:with-param name="desc" select="'param @default domain violation'" />
<xsl:with-param name="refnode" select="." />
<xsl:with-param name="content">
<xsl:text>param `</xsl:text>
<xsl:value-of select="@name" />
<xsl:text>' @default of `</xsl:text>
<xsl:value-of select="$fail/@value" />
<xsl:text>' is not within its domain of </xsl:text>
<xsl:value-of select="$fail/preproc:sym/@src" />
<xsl:text>/</xsl:text>
<xsl:value-of select="$fail/preproc:sym/@name" />
</xsl:with-param>
</xsl:call-template>
</xsl:if>
</xsl:template>
<!--
Fallback for no validation issues
-->
<xsl:template match="lv:param" mode="lvv:validate" priority="2">
</xsl:template>
</xsl:stylesheet>
|