Return to CMO_BIGFLOAT.java CVS log

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

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

1.1       tam         1: /**
1.3     ! ohara       2:  * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_BIGFLOAT.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 BIGFLOAT $B7?$rI=$7$^$9(B.
                     10:  */
                     11: final public class CMO_BIGFLOAT extends CMO{
                     12:   // a * 2^e
                     13:   private CMO_ZZ a,e;
                     14:
                     15:   /**
                     16:    * (a * 2^e) $B$rI=$9(B BIGFLOAT $B$r:n@.$7$^$9(B.
                     17:    */
                     18:   CMO_BIGFLOAT(CMO_ZZ a,CMO_ZZ e){
                     19:     this.a = a;
                     20:     this.e = e;
                     21:   }
                     22:
                     23:   public int DISCRIMINATOR(){
                     24:     return CMO.BIGFLOAT;
                     25:   }
1.3     ! ohara      26:
        !            27:     public boolean allowQ (int[] datacap) {
        !            28:                return CMO.allowQ_tag(datacap, DISCRIMINATOR()) && a.allowQ(datacap);
        !            29:     }
1.1       tam        30:
1.2       tam        31:   public void sendByObject(OpenXMstream os) throws IOException{
1.1       tam        32:     a.sendByObject(os);
                     33:     e.sendByObject(os);
                     34:   }
                     35:
1.2       tam        36:   static protected CMO receive(OpenXMstream is) throws IOException{
1.1       tam        37:     CMO_ZZ a,e;
                     38:
                     39:     a = (CMO_ZZ) CMO_ZZ.receive(is);
                     40:     e = (CMO_ZZ) CMO_ZZ.receive(is);
                     41:
                     42:     return new CMO_BIGFLOAT(a,e);
                     43:   }
                     44:
                     45:   public String toCMOexpressionByObject(){
                     46:     return "CMO_BIGFLOAT,"+ a.toCMOexpression() +","+ e.toCMOexpression();
                     47:   }
                     48:
                     49:   /**
                     50:    * $B>.?tIt$rF@$^$9(B.
                     51:    */
                     52:   public CMO_ZZ getSyosubu(){
                     53:     return a;
                     54:   }
                     55:
                     56:   /**
                     57:    * $B;X?tIt$rF@$^$9(B.
                     58:    */
                     59:   public CMO_ZZ getShisubu(){
                     60:     return e;
                     61:   }
                     62: }