Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZERO.java, Revision 1.2
1.1 tam 1: /**
1.2 ! tam 2: * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZERO.java,v 1.1 2000/09/12 07:05:07 tam Exp $
1.1 tam 3: */
4: package ORG.openxm.tam;
5:
6: import java.io.*;
7:
8: /**
9: * CMO $B7A<0$N(B ZERO $B7?$rI=$7$^$9(B.
10: */
11: final public class CMO_ZERO extends CMO{
12: /**
13: * ZERO $B$r:n@.$7$^$9(B.
14: */
15: CMO_ZERO(){}
16:
17: public int DISCRIMINATOR(){
18: return CMO.ZERO;
19: }
20:
1.2 ! tam 21: public void sendByObject(OpenXMstream os) throws IOException{
1.1 tam 22: }
23:
1.2 ! tam 24: static protected CMO receive(OpenXMstream is) throws IOException{
1.1 tam 25: return new CMO_ZERO();
26: }
27:
28: public String toCMOexpressionByObject(){
29: return "CMO_ZERO";
30: }
31: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>