<--
Copyright (C) 2003 Bill Naylor
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
You may contact the author at e-mail: bill@mcs.vuw.ac.nz -->
#include "aldor"
#library XMLLib "libxml.al"
import from XMLLib;
import from String,Character;
+++ this code is automatically created using XSLT
+++ This category contains function signatures for constructor functions for
+++ the basic Presentation MathML objects.
define AldorToMathMLPresCat(UCH:UniCodeCharacter):Category == OutputType with {
}
+++ This domain contains constructors for the basic Presentation MathML objects.
extend MathMLPres(UCH:UniCodeCharacter):AldorToMathMLPresCat(UCH) == add {
Rep ==> Element(UCH);
import from Rep,Document(UCH),DOMString(UCH),MachineInteger,Attr(UCH),NodeList(UCH),Text(UCH);
(tw:TextWriter) << (om:%):TextWriter == tw<<rep om;
retract(el:Element(UCH)):% == per el;
cast(om:%):Element(UCH) == rep om;
}
: DOMString(UCH) -> %;
: List(%) -> %;
: (
) -> %;
%,
String:DOMString(UCH) := [""];
(content:DOMString(UCH)):% == {
nnm:NamedNodeMap(UCH) := new(0);
children:NodeList(UCH) := new();
addChild(cast createTextNode content,children);
per createElement(String,nnm,children);
}
String:DOMString(UCH) := [""];
(l:List(%)):% == {
import from NamedNodeMap(UCH);
nl:NodeList(UCH) := new();
for i in l repeat addChild(cast rep i,nl);
per createElement(String,new(0),nl)
}
String:DOMString(UCH) := [""];
(
):% == {
nnm:NamedNodeMap(UCH) := new(0);
setNamedItem(nnm,cast createAttribute(String,));
children:NodeList(UCH) := new();
per createElement(String,nnm,children)
}
arg:%,
addChild(cast rep arg,children);