Return to CMO_MATHCAP.java CVS log

Up to [local] / OpenXM / src / OpenMath / ORG / openxm / tam

Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_MATHCAP.java, Revision 1.2

1.1       tam         1: /**
1.2     ! tam         2:  * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_MATHCAP.java,v 1.1 2000/09/12 07:05:06 tam Exp $
1.1       tam         3:  */
                      4: package ORG.openxm.tam;
                      5:
                      6: import java.io.*;
                      7:
                      8: /**
                      9:  * CMO $B7A<0$N(B MATHCAP $B7?$rI=$7$^$9(B.
                     10:  */
                     11: final public class CMO_MATHCAP extends CMO{
                     12:   private CMO_LIST list;
                     13:
                     14:   /**
                     15:    * CMO_LIST src $B$rFbMF$H$9$k(B MATHCAP $B$r:n@.$7$^$9(B.
                     16:    * src $B$O(B MATHCAP $B$N%;%^%s%F%#%C%/%9$rK~$?$7$F$$$k$H2>Dj$7$F$$$^$9(B.
                     17:    */
                     18:   public CMO_MATHCAP(CMO_LIST src){
                     19:     list = src;
                     20:   }
                     21:
                     22:   /**
                     23:    * $BFbMF$N(B LIST $B$rF@$^$9(B.
                     24:    */
                     25:   public CMO_LIST getList(){
                     26:     return list;
                     27:   }
                     28:
                     29:   public int DISCRIMINATOR(){
                     30:     return CMO.MATHCAP;
                     31:   }
                     32:
1.2     ! tam        33:   public void sendByObject(OpenXMstream os)
1.1       tam        34:        throws IOException,MathcapViolation{
                     35:     list.write(os);
                     36:   }
                     37:
1.2     ! tam        38:   static protected CMO receive(OpenXMstream is) throws IOException{
1.1       tam        39:     CMO_LIST list = (CMO_LIST)CMO.receive(is);
                     40:
                     41:     return new CMO_MATHCAP(list);
                     42:   }
                     43:
                     44:   public String toCMOexpressionByObject(){
                     45:     return "CMO_MATHCAP,"+ list.toCMOexpression();
                     46:   }
                     47: }