serialize method
Serialize.
Implementation
@override
void serialize(List<int> buffer) {
// Write type-id 0x3407e51b.
buffer.writeInt32(0x3407e51b);
// Write fields.
buffer.writeObject(set);
buffer.writeVectorObject(covers);
// Finished serialization.
}