public void WriteTo(IWriteStream output) { if (value != 0) { output.WriteRawTag(13); output.WriteFixed32(value); } }
public void WriteTo(IWriteStream output) { if (value != null && value.Count != 0) { output.WriteRawTag(10); output.WriteInt32(4 * value.Count); for (int i = 0; i < value.Count; ++i) { output.WriteFixed32(value[i]); } } }