version 1.2, 2000/09/13 06:32:42 |
version 1.3, 2000/12/03 12:40:39 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO.java,v 1.1 2000/09/09 11:54:08 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO.java,v 1.2 2000/09/13 06:32:42 tam Exp $ |
*/ |
*/ |
package ORG.openxm.tam; |
package ORG.openxm.tam; |
|
|
Line 53 abstract public class CMO extends OXbody{ |
|
Line 53 abstract public class CMO extends OXbody{ |
|
public int getDISCRIMINATOR(){ |
public int getDISCRIMINATOR(){ |
return this.DISCRIMINATOR(); |
return this.DISCRIMINATOR(); |
} |
} |
|
|
|
public static boolean allowQ_tag (int[] datacap, int tag) { |
|
for(int i=0; i<datacap.length; i++) { |
|
if (datacap[i] == tag) { |
|
return true; |
|
} |
|
} |
|
return false; |
|
} |
|
|
|
public boolean allowQ (int[] datacap) { |
|
return allowQ_tag(datacap, DISCRIMINATOR()); |
|
} |
|
|
abstract protected void sendByObject(OpenXMstream stream) |
abstract protected void sendByObject(OpenXMstream stream) |
throws IOException,MathcapViolation; |
throws IOException,MathcapViolation; |