private bool operatowePunkty(DzialkaEwidencyjna dzialka) { foreach (var punkt in dzialka.punkty()) { Kontrakt.assert(punkt.rodzaj().zPomiaru()); string operat = punkt.operat(); if (!operaty.Contains(operat)) { return(false); } } return(true); }
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); }
protected bool?pomierzonePunkty(DzialkaEwidencyjna dzialka) { List <PunktGraniczny> nieznane = new List <PunktGraniczny>(); List <PunktGraniczny> operatowe = new List <PunktGraniczny>(); List <PunktGraniczny> wektoryzacja = new List <PunktGraniczny>(); int innePunkty = 0; foreach (var punkt in dzialka.punkty()) { RodzajPunktu rodzaj = punkt.rodzaj(); if (rodzaj.nieznany()) { nieznane.Add(punkt); } else if (rodzaj.zWektoryzacji()) { wektoryzacja.Add(punkt); } else if (rodzaj.zPomiaru()) { operatowe.Add(punkt); } else { innePunkty++; } } Kontrakt.assert(innePunkty == 0); if (nieznane.Count > 0) { return(null); } if (wektoryzacja.Count > 0) { return(false); } if (operatowe.Count > 0) { return(true); } return(null); }