Return to OXbody.java CVS log

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

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

1.1     ! tam         1: /*
        !             2:  * $OpenXM$
        !             3:  */
        !             4: package ORG.openxm.tam;
        !             5:
        !             6: import java.io.*;
        !             7:
        !             8: /**
        !             9:  * OpenXM $B%a%C%;!<%8$N%\%G%#ItJ,$rI=$9Cj>]%/%i%9(B.
        !            10:  */
        !            11: public abstract class OXbody{
        !            12:
        !            13:   //private protected OXbody(){}
        !            14:
        !            15:   //public OXbody(DataInputStream is) throws IOException{}
        !            16:
        !            17:   /**
        !            18:    * os $B$X%*%V%8%'%/%H$rAw?.$7$^$9(B.
        !            19:    * $B$3$N%a%=%C%I$G$O%X%C%@ItJ,$NAw?.$r5-=R$9$kI,MW$O$"$j$^$;$s(B.
        !            20:    */
        !            21:   public abstract void write(OpenXMstream os) throws IOException,MathcapViolation;
        !            22:
        !            23:   //public abstract static OX read(DataInputStream is) throws IOException;
        !            24:
        !            25:   /**
        !            26:    * $B%*%V%8%'%/%H$r(B OXexpression $B$KJQ49$7$^$9(B.
        !            27:    * $B$3$N%a%=%C%I$G$O%X%C%@ItJ,$NJQ49$r5-=R$9$kI,MW$O$"$j$^$;$s(B.
        !            28:    */
        !            29:   public abstract String toOXexpression();
        !            30:
        !            31:   /**
        !            32:    * $B%*%V%8%'%/%H$r(B String $B7?$KJQ49$7$^$9(B.
        !            33:    * $B8=:_$O(B OXexpression $B$XJQ49$7$^$9(B.
        !            34:    */
        !            35:   public String toString(){
        !            36:     return this.toOXexpression();
        !            37:   }
        !            38: }