| version 1.1, 2000/09/12 07:05:06 |
version 1.3, 2000/12/03 12:40:40 |
|
|
| /** |
/** |
| * $OpenXM$ |
* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_RATIONAL.java,v 1.2 2000/09/13 06:32:43 tam Exp $ |
| */ |
*/ |
| package ORG.openxm.tam; |
package ORG.openxm.tam; |
| |
|
| Line 38 public class CMO_RATIONAL extends CMO{ |
|
| Line 38 public class CMO_RATIONAL extends CMO{ |
|
| return CMO.RATIONAL; |
return CMO.RATIONAL; |
| } |
} |
| |
|
| protected void sendByObject(OpenXMconnection os) |
public boolean allowQ (int[] datacap) { |
| |
return CMO.allowQ_tag(datacap, DISCRIMINATOR()) && a.allowQ(datacap) |
| |
&& b.allowQ(datacap); |
| |
} |
| |
|
| |
protected void sendByObject(OpenXMstream os) |
| throws IOException,MathcapViolation{ |
throws IOException,MathcapViolation{ |
| a.write(os); |
a.write(os); |
| b.write(os); |
b.write(os); |
| } |
} |
| |
|
| static protected CMO receive(OpenXMconnection is) throws IOException{ |
static protected CMO receive(OpenXMstream is) throws IOException{ |
| CMO a,b; |
CMO a,b; |
| |
|
| a = CMO.receive(is); |
a = CMO.receive(is); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to CMO_RATIONAL.java CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / OpenMath / ORG / openxm / tam