private void writeDzialka(DzialkaEwidencyjna dzialka) { string id = dzialka.identyfikator().ToString(); RodzajDzialki rodzaj = rozliczenie().rodzaj; 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() + ", " + pkt.operat() + "]"; string joinOperaty = string.Join(" ", operaty); if (nieznany) { _writer.WriteLine("{0,-16}{1,-16}{2}", id, "nieznany", joinOperaty); } if (wektoryzacja) { _writer.WriteLine("{0,-16}{1,-16}{2}", id, "wektoryzacja", joinOperaty); } if (pomierzona) { _writer.WriteLine("{0,-16}{1,-16}{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 EwmapaRozliczenieReader(RodzajDzialki rodzajDzialki) { _rodzajDzialki = rodzajDzialki; }
public Rozliczenie(RodzajDzialki rodzajDzialki, FabrykaKlasouzytku klu) { _rodzajDzialki = rodzajDzialki; _klu = klu; }