Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZERO.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 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:
! 21: public void sendByObject(OpenXMconnection os) throws IOException{
! 22: }
! 23:
! 24: static protected CMO receive(OpenXMconnection is) throws IOException{
! 25: return new CMO_ZERO();
! 26: }
! 27:
! 28: public String toCMOexpressionByObject(){
! 29: return "CMO_ZERO";
! 30: }
! 31: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>