OpenXM/src/OpenMath/OM2OXM.java - diff

Return to OM2OXM.java CVS log

Up to [local] / OpenXM / src / OpenMath

version 1.9, 1999/11/16 13:16:22

version 1.10, 1999/11/17 07:04:25

Line 1

/**

* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.8 1999/11/15 23:13:21 tam Exp $

* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.9 1999/11/16 13:16:22 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

* expr -> stag [expr | immediate]* etag

Line 141 final class OM2OXM implements Runnable{

case CMO.CMO_INDETERMINATE:

return "<OMV name=\""+ ((CMO_INDETERMINATE)cmo).getString() +"\"/>";

case CMO.CMO_TREE:

ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cdname=\""+

return "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cdname=\""+

((CMO_TREE)cmo).getCDName() +"\"/>";

((CMO_TREE)cmo).getCDName() +"\"/>" + "</OMA>";

for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElement().length;i++){

ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElement()[i]);

}

ret += "</OMA>";

return ret;

default:

//return "<OMSTR>"+ cmo.toCMOexpression() +"</OMSTR>";

}

throw new NumberFormatException(""+ cmo.toCMOexpression());

throw new NumberFormatException("unknown convert way:"+

cmo.toCMOexpression());

}

private boolean isSpace(int ch){ // use from lex