=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/xml.sm1,v retrieving revision 1.3 retrieving revision 1.9 diff -u -p -r1.3 -r1.9 --- OpenXM/src/kan96xx/Doc/xml.sm1 1999/11/11 08:06:44 1.3 +++ OpenXM/src/kan96xx/Doc/xml.sm1 2001/12/21 03:00:41 1.9 @@ -1,9 +1,15 @@ -%% $OpenXM: OpenXM/src/kan96xx/Doc/xml.sm1,v 1.2 1999/11/08 11:12:06 takayama Exp $ +%% $OpenXM: OpenXM/src/kan96xx/Doc/xml.sm1,v 1.8 2000/02/28 14:10:29 takayama Exp $ %% xml.sm1 XML support for sm1. %% This package requires ox.sm1 -[(parse) (ox.sm1) pushfile] extension +[(ostype)] extension 0 get (windows) eq { + [(parse) (ox-win.sm1) pushfile] extension +}{ + [(parse) (ox.sm1) pushfile] extension +} ifelse +(xml.sm1 : 1999, 11/20 Sat) message %%%%% These should be under /usr/local/OpenXM or OpenXM_HOME /oxpath.java-support (lib/java-support) def +/@@@.xml null def [(getenv) (OpenXM_HOME)] extension tag 0 eq { @@ -48,7 +54,11 @@ tag 0 eq { [/in-cmo2xml /ob] pushVariables [ /ob arg1 def + @@@.xml tag 0 eq { + xmlconnect + }{ } ifelse @@@.xml ob oxpushcmo + @@@.xml 1 oxpushcmo @@@.xml (CMO2OMXML) oxexec @@@.xml oxpopcmo /arg1 set ] pop @@ -68,7 +78,11 @@ tag 0 eq { [/in-xml_to_cmo /ob] pushVariables [ /ob arg1 def + @@@.xml tag 0 eq { + xmlconnect + }{ } ifelse @@@.xml ob oxpushcmo + @@@.xml 1 oxpushcmo @@@.xml (OMXML2CMO) oxexec @@@.xml oxpopcmo /arg1 set ] pop @@ -111,12 +125,219 @@ tag 0 eq { null t_aux 123 t_aux -% (Hello World) t_aux %% error in XML to CMO. + (Hello World) t_aux %% was error in XML to CMO. % [1 2 3] t_aux %% not supported. (123123).. t_aux % (-12).. (12345).. div t_aux %% not supported in sm1. -% (x^2-1). t_aux %% not supported. CMO_DMS_GENERIC?? + (x^2-1). t_aux %% was not supported. CMO_DMS_GENERIC?? (End) message } def + +/cmoTreeToPostfix { + /arg1 set + [/in-cmoTreeToPostfix /in /ans /dic] pushVariables + [ + /in arg1 def + in etag 263 eq not + { /ans in toStringForParse def } + { + in (array) dc /in set + /dic in 1 get def + %% concatenate the dictionary name to the function name. + /ans in 2 get { cmoTreeToPostfix } map toString def + [ ans ( ) in 0 get (_) dic] cat /ans set + } ifelse + /arg1 ans def + ] pop + popVariables + arg1 +} def + +[(cmoTreeToPostfix) +[(tree-obj cmoTreeToPostfix postfix-str) + $Example 1: [(plus) (basic) [(123).. (345)..]] [(class) (tree)] dc /ff set$ + $ ff cmoTreeToPostfix /gg set $ + $ [(parse) gg] extension pop :: $ + $Example 2: ( (x-T-2)^5). /p set $ + $ p [(class) (recursivePolynomial)] dc xml /ff set $ + $ ff xml_to_cmo cmoTreeToPostfix /gg set $ + $ [(parse) gg] extension pop p sub :: $ +]] putUsages + +/toStringForParse { + /arg1 set + [/in-toStringForParse /f /ans] pushVariables + [ + /f arg1 def + f isUniversalNumber { + /ans [ $ ($ f toString $).. $] cat def + /@@@.LLL goto + } { } ifelse + f isPolynomial { + /ans [ $ ($ f toString $). $] cat def + /@@@.LLL goto + } { } ifelse + f etag 262 eq { %% indeterminate + /ans [ $ ($ f (string) dc toString $). $] cat def + /@@@.LLL goto + } { } ifelse + f toString /ans set + /@@@.LLL + /arg1 ans def + ] pop + popVariables + arg1 +} def + +/basic_plus { + /arg1 set + [/in-basic_plus /s /a /n /i] pushVariables + [ + /a arg1 def + /s a 0 get def + /n a length 1 sub def + 1 1 n { + /i set + s a i get add /s set + } for + s /arg1 set + ] pop + popVariables + arg1 +} def +/basic_times { + /arg1 set + [/in-basic_times /s /a /n /i] pushVariables + [ + /a arg1 def + /s a 0 get def + /n a length 1 sub def + 1 1 n { + /i set + s a i get mul /s set + } for + s /arg1 set + ] pop + popVariables + arg1 +} def +/basic_power { + /arg1 set + [/in-basic_power /a ] pushVariables + [ + /a arg1 def + a 0 get a 1 get power /arg1 set + ] pop + popVariables + arg1 +} def + + +/cmoTreeToPrefix { + /arg1 set + [/in-cmoTreeToPostfix /in /ans /dic] pushVariables + [ + /in arg1 def + in etag 263 eq not + { /ans in toStringForParse2 def } + { + in (array) dc /in set + /dic in 1 get def + /dic dic tolower def + %% concatenate the dictionary name to the function name. + /ans in 2 get { cmoTreeToPrefix } map bracketForm def + [dic (_) in 0 get ans ] cat /ans set + } ifelse + /arg1 ans def + ] pop + popVariables + arg1 +} def + +[(cmoTreeToPrefix) +[(tree-obj cmoTreeToPrefix prefix-str) + (Dictionary names are translated to lower characters.) + $Example 1: [(plus) (basic) [(123).. (345)..]] [(class) (tree)] dc /ff set$ + $ ff cmoTreeToPrefix /gg set $ + $Example 2: ( (x-T-2)^5). /p set $ + $ p [(class) (recursivePolynomial)] dc xml /ff set $ + $ ff xml_to_cmo cmoTreeToPrefix /gg set $ +]] putUsages + + +/bracketForm { + /arg1 set + [/in-bracketForm /ans /f /i /n] pushVariables + [ + /f arg1 def + /n f length 1 sub def + [ $($ + 0 1 n 1 sub { + /i set + f i get toStringForParse2 + (,) + } for + f n get toStringForParse2 + $)$ + ] cat /arg1 set + ] pop + popVariables + arg1 +} def + +/toStringForParse2 { + /arg1 set + [/in-toStringForParse2 /f /ans] pushVariables + [ + /f arg1 def + f etag 262 eq { %% indeterminate + /ans f (string) dc def + /@@@.LLL goto + } { } ifelse + f toString /ans set + /@@@.LLL + /arg1 ans def + ] pop + popVariables + arg1 +} def + +/xml_tree_to_prefix_string { + /arg1 set + [/in-xml_tree_to_prefix_string /sss] pushVariables + [ + /sss arg1 def + sss isString { + }{ + (string xml_tree_to_prefix_string) error + }ifelse + sss xml_to_cmo cmoTreeToPrefix /ans set + /arg1 ans def + ] pop + arg1 +} def + + +/OMproxy-testsuits2 { + xmlconnect + 1 1 30 { + /i set + [( (x-T-2)^) i toString] cat . /p set + p [(class) (recursivePolynomial)] dc xml /ff set + ff xml_to_cmo cmoTreeToPostfix /gg set + [(parse) gg] extension pop p sub /result set + result (0). eq + { + } + { + (p = ) messagen p message + (i=) messagen i message (Error in OMproxy-testsuits2 ) error + } ifelse + } for + (Done.) message +} def + + +