public void test_działka_nieznana() { dzialka.dodajPunkt(punktNieznany); dzialka.dodajPunkt(punktNieznany); dzialka.dodajPunkt(punktNieznany); Assert.IsTrue(rodzajDzialki.nieznany(dzialka)); Assert.IsTrue(!rodzajDzialki.niepomierzona(dzialka)); Assert.IsTrue(!rodzajDzialki.pomierzona(dzialka)); }
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); }
public void test_jeden_punkt_z_wektoryzacji() { dzialka.dodajPunkt(new PunktGraniczny("3", "3")); Assert.AreEqual(1, dzialka.countPunkty()); Assert.IsTrue(rodzajDzialki.niepomierzona(dzialka)); }