version 1.1, 2000/09/12 07:05:07 |
version 1.2, 2000/09/13 06:32:43 |
|
|
/** |
/** |
* $OpenXM$ |
* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_TREE.java,v 1.1 2000/09/12 07:05:07 tam Exp $ |
*/ |
*/ |
package ORG.openxm.tam; |
package ORG.openxm.tam; |
|
|
Line 49 final public class CMO_TREE extends CMO{ |
|
Line 49 final public class CMO_TREE extends CMO{ |
|
return CMO.TREE; |
return CMO.TREE; |
} |
} |
|
|
public void sendByObject(OpenXMconnection os) |
public void sendByObject(OpenXMstream os) |
throws IOException,MathcapViolation{ |
throws IOException,MathcapViolation{ |
new CMO_STRING(name).write(os); |
new CMO_STRING(name).write(os); |
new CMO_STRING(cdname).write(os); |
new CMO_STRING(cdname).write(os); |
leaves.write(os); |
leaves.write(os); |
} |
} |
|
|
static protected CMO receive(OpenXMconnection is) throws IOException{ |
static protected CMO receive(OpenXMstream is) throws IOException{ |
String name,cdname; |
String name,cdname; |
CMO_LIST leaves; |
CMO_LIST leaves; |
CMO tmp; |
CMO tmp; |