comparison doc/manual.tex @ 551:8fb99fec35f6

XML syntax
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Dec 2008 12:21:47 -0500
parents 11e150300ba0
children 215d719836dc
comparison
equal deleted inserted replaced
550:11e150300ba0 551:8fb99fec35f6
1311 \textrm{Table expressions} & T^E &::=& x \mid \{\{e\}\} 1311 \textrm{Table expressions} & T^E &::=& x \mid \{\{e\}\}
1312 \end{array}$$ 1312 \end{array}$$
1313 1313
1314 Inside $\mt{UPDATE}$ and $\mt{DELETE}$ commands, lone variables $X$ are interpreted as references to columns of the implicit table $\mt{T}$, rather than to named expressions. 1314 Inside $\mt{UPDATE}$ and $\mt{DELETE}$ commands, lone variables $X$ are interpreted as references to columns of the implicit table $\mt{T}$, rather than to named expressions.
1315 1315
1316 \subsection{XML}
1317
1318 XML fragments $L$ are added to the rules for expressions $e$.
1319
1320 $$\begin{array}{rrcll}
1321 \textrm{XML fragments} & L &::=& \texttt{<xml/>} \mid \texttt{<xml>}l^*\texttt{</xml>} \\
1322 \textrm{XML pieces} & l &::=& \textrm{text} & \textrm{cdata} \\
1323 &&& \texttt{<}g\texttt{/>} & \textrm{tag with no children} \\
1324 &&& \texttt{<}g\texttt{>}l^*\texttt{</}x\texttt{>} & \textrm{tag with children} \\
1325 \textrm{Tag} & g &::=& h \; (x = v)^* \\
1326 \textrm{Tag head} & h &::=& x & \textrm{tag name} \\
1327 &&& h\{c\} & \textrm{constructor parameter} \\
1328 \textrm{Attribute value} & v &::=& \ell & \textrm{literal value} \\
1329 &&& \{e\} & \textrm{computed value} \\
1330 \end{array}$$
1331
1316 \end{document} 1332 \end{document}