public DzialkaEwidencyjna dzialkaById(IdentyfikatorDzialki id)
{
Kontrakt.requires(id != null);
Kontrakt.requires(zawieraId(id), "Rozliczenie nie zawiera działki " + id.ToString());
DzialkaEwidencyjna dzialka = _indeks[id.identyfikator()];
Kontrakt.ensures(dzialka != null);
return(dzialka);
}
public void dodajDzialka(DzialkaEwidencyjna dzialka)
{
Kontrakt.requires(dzialka != null);
Kontrakt.requires(dzialka.countKlasouzytki() > 0, "Działka nie zawiera żadnych klasoużytków.");
Kontrakt.requires(!zawieraId(dzialka.identyfikator()), "Rozliczenie zawiera już działkę " + dzialka.identyfikator());
int dzialkiPrzed = _dzialki.Count;
_dzialki.Add(dzialka);
IdentyfikatorDzialki id = dzialka.identyfikator();
_indeks.Add(id.identyfikator(), dzialka);
int dzialkiPo = _dzialki.Count;
Kontrakt.ensures(dzialkiPrzed + 1 == dzialkiPo);
Kontrakt.ensures(zawieraId(id));
}
public bool zawieraId(IdentyfikatorDzialki id)
{
return(_indeks.ContainsKey(id.identyfikator()));
}
