Java X10JavaDeserializer.update_reference示例

示例#1

 public static X10JavaSerializable $_deserializer(X10JavaDeserializer deserializer)
     throws IOException {
   RuntimeType rt = new RuntimeType();
   int i = deserializer.record_reference(rt);
   X10JavaSerializable x10JavaSerializable = $_deserialize_body(rt, deserializer);
   if (rt != x10JavaSerializable) {
     deserializer.update_reference(i, x10JavaSerializable);
   }
   return x10JavaSerializable;
 }