Mercurial > urweb
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} |