| version 1.20, 2000/03/14 05:02:34 |
version 1.21, 2000/03/14 05:10:37 |
|
|
| /** |
/** |
| * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.19 2000/03/14 04:44:16 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.20 2000/03/14 05:02:34 tam Exp $ |
| * |
* |
| * $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B |
* $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B |
| * expr -> stag [expr | immediate]* etag |
* expr -> stag [expr | immediate]* etag |
| Line 88 final class OM2OXM implements Runnable{ |
|
| Line 88 final class OM2OXM implements Runnable{ |
|
| case CMO.STRING: |
case CMO.STRING: |
| return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
| |
|
| case CMO.CMO_LIST: |
case CMO.LIST: |
| ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>"; |
ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>"; |
| { |
{ |
| CMO ob[] = ((CMO_LIST)cmo).getElements(); |
CMO ob[] = ((CMO_LIST)cmo).getElements(); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to OM2OXM.java CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / OpenMath