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