public static void AddFile(CoverageReport report, UInt32 id, String url) { CoverageReport.FileDescriptor[] newFiles = new CoverageReport.FileDescriptor[report.files.Length + 1]; report.files.CopyTo(newFiles, 1); newFiles[0] = new CoverageReport.FileDescriptor(); newFiles[0].fileId = id; newFiles[0].fileUrl = url; report.files = newFiles; }