Return to CMO_INDETERMINATE.java CVS log

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

Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_INDETERMINATE.java, Revision 1.1

1.1     ! tam         1: /**
        !             2:  * $OpenXM$
        !             3:  */
        !             4: package ORG.openxm.tam;
        !             5:
        !             6: import java.io.*;
        !             7:
        !             8: /**
        !             9:  * CMO $B7A<0$N(B INDETERMINATE $B7?$rI=$7$^$9(B.
        !            10:  */
        !            11: final public class CMO_INDETERMINATE extends CMO{
        !            12:   private CMO_STRING variable;
        !            13:
        !            14:   /**
        !            15:    * $BJQ?tL>(B str $B$H$J$k(B INDETERMINATE $B$r:n@.$7$^$9(B.
        !            16:    */
        !            17:   public CMO_INDETERMINATE(String str){
        !            18:     variable = new CMO_STRING(str);
        !            19:   }
        !            20:
        !            21:   /**
        !            22:    * $BJQ?tL>$rF@$^$9(B.
        !            23:    */
        !            24:   public String getString(){
        !            25:     return variable.getString();
        !            26:   }
        !            27:
        !            28:   public int DISCRIMINATOR(){
        !            29:     return CMO.INDETERMINATE;
        !            30:   }
        !            31:
        !            32:   public void sendByObject(OpenXMconnection os)
        !            33:        throws IOException,MathcapViolation{
        !            34:     variable.write(os);
        !            35:   }
        !            36:
        !            37:   static protected CMO receive(OpenXMconnection is) throws IOException{
        !            38:     CMO_STRING variable;
        !            39:     CMO tmp;
        !            40:
        !            41:     tmp = CMO.receive(is);
        !            42:     if(!(tmp instanceof CMO_STRING)){
        !            43:       System.err.println("not CMOobject");
        !            44:     }
        !            45:     variable = (CMO_STRING)tmp;
        !            46:
        !            47:     return new CMO_INDETERMINATE(variable.getString());
        !            48:   }
        !            49:
        !            50:   public String toCMOexpressionByObject(){
        !            51:     return "CMO_INDETERMINATE,"+ variable.toCMOexpression();
        !            52:   }
        !            53: }