public void TestPowierzchniaEwidencyjnaZdefiniowana() { DzialkaEwidencyjna ewid = new DzialkaEwidencyjna(dzialka.identyfikator(), dzialka.powierzchnia()); ewid.jednostkaRejestrowa(JednostkaRejestrowa.parseG5("142307_2.0001.G00001")); ewid.dodajKlasouzytek(new Klasouzytek("dr", "", "", new Powierzchnia(1))); dzialka.dzialkaDotychczasowa(ewid); Assert.IsTrue(dzialka.przypisanaDotychczasowa()); }
private void writeDziałka(DzialkaEwidencyjna dzialka) { string id = dzialka.identyfikator().ToString(); bool nieznany = _rodzaj.nieznany(dzialka); bool wektoryzacja = _rodzaj.niepomierzona(dzialka); bool pomierzona = _rodzaj.pomierzona(dzialka); var operaty = from pkt in dzialka.punkty() select "[" + pkt.zrodloDanych() + ", " + pkt.bladPolozenia() + "]"; string joinOperaty = string.Join(" ", operaty); if (nieznany) { _writer.WriteLine("{0,-16}{1,-32}{2}", id, "prawdopodobnie wektoryzacja", joinOperaty); } if (wektoryzacja) { _writer.WriteLine("{0,-16}{1,-32}{2}", id, "wektoryzacja", joinOperaty); } if (pomierzona) { _writer.WriteLine("{0,-16}{1,-32}{2}", id, "pomiar", joinOperaty); } int count = 0; if (nieznany) { count++; } if (wektoryzacja) { count++; } if (pomierzona) { count++; } Kontrakt.ensures(count == 1, "Konflikt rodzaju działki: " + id); }