Java X10JavaSerializerの例

コード例 #1

 public void $_serialize(X10JavaSerializer serializer) throws IOException {
   short sid = serializer.getSerializationId(javaClass, null);
   serializer.writeSerializationId(sid);
   serializer.write((byte) numParams);
   // TODO parents needed?
 }

コード例 #2

 public void $_serialize(X10JavaSerializer $serializer) throws IOException {
   $serializer.write($value);
 }