public HttpSourceServerDescriptor(int version, string versionControl, string target, SourceFileDescriptor[] sourceFiles) { Contract.Assert(versionControl != null); Contract.Assert(target != null); Contract.Assert(sourceFiles != null); Version = version; VersionControl = versionControl; Target = target; SourceFiles = sourceFiles; }