| 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); |
| } |
} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to SM.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