Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / clr / src / BCL / System / Collections / IDictionary.cs / 1305376 / IDictionary.cs
// ==++== // // Copyright (c) Microsoft Corporation. All rights reserved. // // ==--== /*============================================================ ** ** Interface: IDictionary ** **[....] ** ** ** Purpose: Base interface for all dictionaries. ** ** ===========================================================*/ namespace System.Collections { using System; using System.Diagnostics.Contracts; // An IDictionary is a possibly unordered set of key-value pairs. // Keys can be any non-null object. Values can be any object. // You can look up a value in an IDictionary via the default indexed // property, Items. [ContractClass(typeof(IDictionaryContract))] [System.Runtime.InteropServices.ComVisible(true)] public interface IDictionary : ICollection { // Interfaces are not serializable // The Item property provides methods to read and edit entries // in the Dictionary. Object this[Object key] { get; set; } // Returns a collections of the keys in this dictionary. ICollection Keys { get; } // Returns a collections of the values in this dictionary. ICollection Values { get; } // Returns whether this dictionary contains a particular key. // bool Contains(Object key); // Adds a key-value pair to the dictionary. // void Add(Object key, Object value); // Removes all pairs from the dictionary. void Clear(); bool IsReadOnly { get; } bool IsFixedSize { get; } // Returns an IDictionaryEnumerator for this dictionary. new IDictionaryEnumerator GetEnumerator(); // Removes a particular key from the dictionary. // void Remove(Object key); } [ContractClassFor(typeof(IDictionary))] internal class IDictionaryContract : IDictionary { Object IDictionary.this[Object key] { get { return default(Object); } set { } } ICollection IDictionary.Keys { get { Contract.Ensures(Contract.Result() != null); //Contract.Ensures(Contract.Result ().Count == ((ICollection)this).Count); return default(ICollection); } } ICollection IDictionary.Values { get { Contract.Ensures(Contract.Result () != null); return default(ICollection); } } bool IDictionary.Contains(Object key) { return default(bool); } void IDictionary.Add(Object key, Object value) { } void IDictionary.Clear() { } bool IDictionary.IsReadOnly { get { return default(bool); } } bool IDictionary.IsFixedSize { get { return default(bool); } } IDictionaryEnumerator IDictionary.GetEnumerator() { Contract.Ensures(Contract.Result () != null); return default(IDictionaryEnumerator); } void IDictionary.Remove(Object key) { } #region ICollection members void ICollection.CopyTo(Array array, int index) { } int ICollection.Count { get { Contract.Ensures(Contract.Result () >= 0); return default(int); } } Object ICollection.SyncRoot { get { Contract.Ensures(Contract.Result
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- ControlEvent.cs
- NumericExpr.cs
- ExpressionPrefixAttribute.cs
- SettingsPropertyNotFoundException.cs
- FormClosedEvent.cs
- CompiledRegexRunnerFactory.cs
- UdpUtility.cs
- CustomWebEventKey.cs
- LiteralDesigner.cs
- CssClassPropertyAttribute.cs
- SslStream.cs
- Module.cs
- SelectionGlyph.cs
- DictionaryManager.cs
- CircleHotSpot.cs
- PageContentCollection.cs
- SimpleType.cs
- ToolStripRenderer.cs
- DiscoveryDocumentSerializer.cs
- EntityClientCacheEntry.cs
- BasicAsyncResult.cs
- OleDbRowUpdatingEvent.cs
- FragmentQueryKB.cs
- HybridObjectCache.cs
- ErrorCodes.cs
- SocketAddress.cs
- ParallelRangeManager.cs
- DateTimeFormatInfo.cs
- DataGridToolTip.cs
- TraceHwndHost.cs
- SafeCoTaskMem.cs
- ColorPalette.cs
- NextPreviousPagerField.cs
- PartialArray.cs
- DocumentApplication.cs
- SingleObjectCollection.cs
- wgx_exports.cs
- ReadWriteSpinLock.cs
- SQLUtility.cs
- Mutex.cs
- SoapElementAttribute.cs
- DesignerRegionMouseEventArgs.cs
- GenericUriParser.cs
- XPathScanner.cs
- SelfIssuedTokenFactoryCredential.cs
- DbConnectionFactory.cs
- MatrixValueSerializer.cs
- ChannelManagerBase.cs
- FileSecurity.cs
- WebDescriptionAttribute.cs
- SafeUserTokenHandle.cs
- Stopwatch.cs
- DataTemplate.cs
- MachinePropertyVariants.cs
- CredentialCache.cs
- Point4DConverter.cs
- XmlUtilWriter.cs
- OpenFileDialog.cs
- ObjectParameter.cs
- RequestSecurityTokenForRemoteTokenFactory.cs
- Model3DGroup.cs
- WindowAutomationPeer.cs
- HttpCacheVaryByContentEncodings.cs
- CompiledRegexRunnerFactory.cs
- DocumentPageHost.cs
- DataGridViewCheckBoxColumn.cs
- AccessDataSourceView.cs
- DesignerTransaction.cs
- ReachDocumentReferenceSerializer.cs
- HtmlInputControl.cs
- AccessDataSource.cs
- Int32KeyFrameCollection.cs
- KeyPressEvent.cs
- TrackPointCollection.cs
- ViewEventArgs.cs
- DigitShape.cs
- PolygonHotSpot.cs
- RootNamespaceAttribute.cs
- WebHttpBinding.cs
- WebChannelFactory.cs
- StringExpressionSet.cs
- AggregateException.cs
- Triangle.cs
- WeakReferenceList.cs
- FlowLayoutSettings.cs
- Point3DAnimationBase.cs
- MimeTypeMapper.cs
- OleDbFactory.cs
- HwndHost.cs
- GenericXmlSecurityToken.cs
- MenuItemStyleCollection.cs
- BaseCollection.cs
- RankException.cs
- DPAPIProtectedConfigurationProvider.cs
- DataServiceHost.cs
- PageRanges.cs
- TextRangeEditTables.cs
- PropertyGridCommands.cs
- SqlMethodAttribute.cs
- WizardForm.cs