Return to CMO_ERROR2.java CVS log

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

Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ERROR2.java, Revision 1.3

1.1       tam         1: /**
1.3     ! ohara       2:  * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ERROR2.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 ERROR2 $B7?$rI=$7$^$9(B.
                     10:  */
                     11: final public class CMO_ERROR2 extends CMO{
                     12:   private CMO ob = new CMO_NULL();
                     13:
                     14:   /**
                     15:    * CMO src $B$rFbMF$H$9$k(B ERROR2 $B$r:n@.$7$^$9(B.
                     16:    */
                     17:   public CMO_ERROR2(CMO src){
                     18:     ob = src;
                     19:   }
                     20:
                     21:   public int DISCRIMINATOR(){
                     22:     return CMO.ERROR2;
                     23:   }
1.3     ! ohara      24:
        !            25:     public boolean allowQ (int[] datacap) {
        !            26:                return CMO.allowQ_tag(datacap, DISCRIMINATOR()) && ob.allowQ(datacap);
        !            27:     }
1.1       tam        28:
1.2       tam        29:   public void sendByObject(OpenXMstream os)
1.1       tam        30:        throws IOException,MathcapViolation{
                     31:     ob.write(os);
                     32:   }
                     33:
1.2       tam        34:   static protected CMO receive(OpenXMstream is) throws IOException{
1.1       tam        35:     return new CMO_ERROR2(CMO.receive(is));
                     36:   }
                     37:
                     38:   public String toCMOexpressionByObject(){
                     39:     return "CMO_ERROR2,"+ ob.toCMOexpression();
                     40:   }
                     41: }