<-- 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 MathML objects. define AldorToMathMLCat(UCH:UniCodeCharacter):Category == OutputType with { } +++ This domain contains constructors for the basic MathML objects. extend MathMLCont(UCH:UniCodeCharacter):AldorToMathMLCat(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; defURLString:DOMString(UCH) := ["definitionURL"]; encodingString:DOMString(UCH) := ["encoding"]; } _ : () -> %; : () -> %; ++ a nullary function to construct the element _ : () -> %; : (DOMString(UCH),DOMString(UCH)) -> %; ++ a binary function to construct the element ++ the first argument is the value of the {\em definitionURL} attribute ++ the second argument is the value of the {\em encoding} attribute : List(%) -> %; ++ a unary function to construct an element which has an arbitrary number ++ of children. The single argument should be a list of the children : (DOMString(UCH),DOMString(UCH), ,DOMString(UCH)) -> %; ++ a function to construct an element which has ++ attributes. The arguments should be the attribute values ++ followed by the element content %, String:DOMString(UCH) := [""]; _ ():% == { import from NamedNodeMap(UCH),NodeList(UCH); per createElement(String,new(0),new()) } (str1:DOMString(UCH),str2:DOMString(UCH)):% == { nnm:NamedNodeMap(UCH) := new(0); setNamedItem(nnm,cast createAttribute(defURLString,str1)); setNamedItem(nnm,cast createAttribute(encodingString,str2)); per createElement(String,nnm,new()); } String := [""]; (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) := [""]; String:DOMString(UCH) := [""]; ( :DOMString(UCH), ,cont:DOMString(UCH)):% == { nnm:NamedNodeMap(UCH) := new(0); setNamedItem(nnm,cast createAttribute(String,)); children:NodeList(UCH) := new(); addChild(cast createTextNode cont,children); per createElement(String,nnm,children); } child:%, addChild(cast rep child,children);