public IQueryCatalog Add(IQueryEntry entry)
{
_entries.Add(entry.QueryType, entry);
Contract.Assume(GetEntry(entry.QueryType) == entry);
return(this);
}
public IQueryCatalog Add(IQueryEntry entry)
{
Contract.Requires(entry != null);
Contract.Ensures(Contract.Result <IQueryCatalog>() != null);
Contract.Ensures(GetEntry(entry.QueryType) == entry);
Contract.EnsuresOnThrow <ArgumentException>(GetEntry(entry.QueryType) == Contract.OldValue(GetEntry(entry.QueryType)));
throw new NotImplementedException();
}
