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.3

1.1       tam         1: /**
1.3     ! ohara       2:  * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_MATHCAP.java,v 1.2 2000/09/13 06:32:42 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:   }
1.3     ! ohara      32:
        !            33:     public boolean allowQ (int[] datacap) {
        !            34:                return CMO.allowQ_tag(datacap, CMO.MATHCAP) && list.allowQ(datacap);
        !            35:     }
1.1       tam        36:
1.2       tam        37:   public void sendByObject(OpenXMstream os)
1.1       tam        38:        throws IOException,MathcapViolation{
                     39:     list.write(os);
                     40:   }
                     41:
1.2       tam        42:   static protected CMO receive(OpenXMstream is) throws IOException{
1.1       tam        43:     CMO_LIST list = (CMO_LIST)CMO.receive(is);
                     44:
                     45:     return new CMO_MATHCAP(list);
                     46:   }
                     47:
                     48:   public String toCMOexpressionByObject(){
                     49:     return "CMO_MATHCAP,"+ list.toCMOexpression();
                     50:   }
                     51: }