public void resetEwidencja(DzialkaEwidencyjna dzialka)
{
Kontrakt.requires(dzialka._dzialkiPodzielone.Count == 0);
Kontrakt.requires(dzialka.jednostkaRejestrowa() != null, "Działka ewidencyjna nie ma przypisanej jednostki rejestrowej.");
Kontrakt.requires(dzialka.countKlasouzytki() > 0, "Działka ewidencyjna nie ma żadnych użytków.");
_dzialkaDotychczasowa = dzialka;
}
public void dzialkaDotychczasowa(DzialkaEwidencyjna dzialka)
{
Kontrakt.requires(_dzialkaDotychczasowa == null,
"Działce już została przypisana działka dotychczasowa " + _identyfikator);
Kontrakt.requires(dzialka.jednostkaRejestrowa() != null, "Działka dotychczasowa nie ma przypisanej jednostki rejestrowej.");
Kontrakt.requires(dzialka.countKlasouzytki() > 0, "Działka dotychczasowa nie ma żadnych użytków.");
_dzialkaDotychczasowa = dzialka;
}
