version 1.1, 2000/09/09 11:54:08 |
version 1.2, 2000/09/13 06:32:43 |
|
|
/* |
/* |
* $OpenXM$ |
* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/SM.java,v 1.1 2000/09/09 11:54:08 tam Exp $ |
*/ |
*/ |
package ORG.openxm.tam; |
package ORG.openxm.tam; |
|
|
Line 35 final public class SM extends OXbody{ |
|
Line 35 final public class SM extends OXbody{ |
|
SMcode = code; |
SMcode = code; |
} |
} |
|
|
public SM(OpenXMconnection is) throws java.io.IOException{ |
public SM(OpenXMstream is) throws java.io.IOException{ |
SMcode = is.readInt(); |
SMcode = is.readInt(); |
} |
} |
|
|
Line 43 final public class SM extends OXbody{ |
|
Line 43 final public class SM extends OXbody{ |
|
return SMcode; |
return SMcode; |
} |
} |
|
|
public void write(OpenXMconnection os) throws java.io.IOException{ |
public void write(OpenXMstream os) throws java.io.IOException{ |
os.writeInt(SMcode); |
os.writeInt(SMcode); |
} |
} |
|
|
public static OXbody receive(OpenXMconnection is) throws java.io.IOException{ |
public static OXbody receive(OpenXMstream is) throws java.io.IOException{ |
return new SM(is); |
return new SM(is); |
} |
} |
|
|