public LibrarySection(PhpLibraryDescriptor/*!*/ descriptor) { Debug.Assert(descriptor != null); this.Descriptor = descriptor; this.UserContext = descriptor.CreateConfigContext(); } }