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_QQ.java,v 1.2 2000/09/13 06:32:43 tam Exp $ |
*/ |
*/ |
package ORG.openxm.tam; |
package ORG.openxm.tam; |
|
|
Line 39 final public class CMO_QQ extends CMO{ |
|
Line 39 final public class CMO_QQ extends CMO{ |
|
return CMO.QQ; |
return CMO.QQ; |
} |
} |
|
|
|
public boolean allowQ (int[] datacap) { |
|
return CMO.allowQ_tag(datacap, DISCRIMINATOR()) && a.allowQ(datacap); |
|
} |
|
|
private int sign(int a){ |
private int sign(int a){ |
if(a>0){ |
if(a>0){ |
return 1; |
return 1; |
Line 48 final public class CMO_QQ extends CMO{ |
|
Line 52 final public class CMO_QQ extends CMO{ |
|
return 0; |
return 0; |
} |
} |
|
|
protected void sendByObject(OpenXMconnection os) throws IOException{ |
protected void sendByObject(OpenXMstream os) throws IOException{ |
a.sendByObject(os); |
a.sendByObject(os); |
b.sendByObject(os); |
b.sendByObject(os); |
} |
} |
|
|
static protected CMO receive(OpenXMconnection is) throws IOException{ |
static protected CMO receive(OpenXMstream is) throws IOException{ |
CMO_ZZ a,b; |
CMO_ZZ a,b; |
|
|
a = (CMO_ZZ)CMO_ZZ.receive(is); |
a = (CMO_ZZ)CMO_ZZ.receive(is); |