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; }