public static X10JavaSerializable $_deserialize_body(
RuntimeType rt, X10JavaDeserializer deserializer) throws IOException {
short classId = deserializer.readSerializationId();
Class<?> clazz = deserializer.getClassForID(classId);
rt.javaClass = clazz;
rt.numParams = deserializer.readByte();
// TODO parents needed?
return rt;
}
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;
}
public static X10JavaSerializable $_deserialize_body(
UByte $_obj, X10JavaDeserializer $deserializer) throws IOException {
byte value = $deserializer.readByte();
$_obj = new UByte(value);
return $_obj;
}