Ejemplo n.º 1
0
        public ICommandCatalog Add(ICommandEntry entry)
        {
            _entries.Add(entry.CommandType, entry);

            Contract.Assume(GetEntry(entry.CommandType) == entry);

            return(this);
        }
        public ICommandCatalog Add(ICommandEntry entry)
        {
            Contract.Requires(entry != null);
            Contract.Ensures(Contract.Result <ICommandCatalog>() != null);
            Contract.Ensures(GetEntry(entry.CommandType) == entry);
            Contract.EnsuresOnThrow <ArgumentException>(GetEntry(entry.CommandType) == Contract.OldValue(GetEntry(entry.CommandType)));

            throw new NotImplementedException();
        }