Changeset b651ed in git

Timestamp:

Jun 14, 2005, 5:44:55 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')

Children:

859b51c6367722cffc34100946fcb3cb3631f282

Parents:

9b973c144b1c3a7ddd2df88833b75055fc1688ae

Message:

*bricken: so much fun, lalala


git-svn-id: file:///usr/local/Singular/svn/trunk@8364 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• modules/openmathserver/omxmlreader.py (modified) (1 diff)

modules/openmathserver/omxmlreader.py

@@ -71 +71 @@
         return self.buildFromNode(root)
 #TODO: handle hex floats
+#TODO: handle floats
 #TODO: handle ancestors cdbase
 if __name__=='__main__':
-    if len(argv<=2):
+    import arith1
+    
+    if len(sys.argv)<=2:
         print "Usage: python omxmlreader [--evaluate] input output"
-    for arg in argv:
-        
+    state=0
+    eval=False
+    #TODO: use optparse
+    for arg in sys.argv[1:]:
+        if state==0:
+            if arg=="--evaluate":
+                eval=True
+            else:
+                inputf=arg
+                state=1
+            continue
+        if state==1:
+            outputf=arg
+            continue
+        if state==2:
+            print "argument ignored:", arg
     from context import Context
-    inputf=sys.argv[1]
+    #inputf=sys.argv[1]
     root=readFile(inputf)
     builder=OMFromXMLBuilder()
     context=Context()
-    
-    print context.XMLEncodeObject(builder.build(root))
+    context.addCDImplementation(arith1.implementation)
+    doc=builder.build(root)
+    if eval:
+        doc=context.evaluate(doc)
+    output=context.XMLEncodeObject(doc)
+    try:
+        out=open(outputf,"w")
+    except NameError:
+        print "no output file"
+        sys.exit(1)
+    out.write(output)
+    out.close()
     #print repr(root.getAttribute("blabla"))