Return to CMO_MATHCAP.java CVS log | Up to [local] / OpenXM / src / OpenMath / ORG / openxm / tam |
File: [local] / OpenXM / src / OpenMath / ORG / openxm / tam / CMO_MATHCAP.java (download)
Revision 1.3, Sun Dec 3 12:40:40 2000 UTC (23 years, 9 months ago) by ohara
allowQ() methods are added. In order to prevent a MathcapViolation, we must inspect a CMObject by allowQ() before sending it to OXstream. |
/** * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_MATHCAP.java,v 1.3 2000/12/03 12:40:40 ohara Exp $ */ package ORG.openxm.tam; import java.io.*; /** * CMO $B7A<0$N(B MATHCAP $B7?$rI=$7$^$9(B. */ final public class CMO_MATHCAP extends CMO{ private CMO_LIST list; /** * CMO_LIST src $B$rFbMF$H$9$k(B MATHCAP $B$r:n@.$7$^$9(B. * src $B$O(B MATHCAP $B$N%;%^%s%F%#%C%/%9$rK~$?$7$F$$$k$H2>Dj$7$F$$$^$9(B. */ public CMO_MATHCAP(CMO_LIST src){ list = src; } /** * $BFbMF$N(B LIST $B$rF@$^$9(B. */ public CMO_LIST getList(){ return list; } public int DISCRIMINATOR(){ return CMO.MATHCAP; } public boolean allowQ (int[] datacap) { return CMO.allowQ_tag(datacap, CMO.MATHCAP) && list.allowQ(datacap); } public void sendByObject(OpenXMstream os) throws IOException,MathcapViolation{ list.write(os); } static protected CMO receive(OpenXMstream is) throws IOException{ CMO_LIST list = (CMO_LIST)CMO.receive(is); return new CMO_MATHCAP(list); } public String toCMOexpressionByObject(){ return "CMO_MATHCAP,"+ list.toCMOexpression(); } }