private string _operat = string.Empty; //Sygnatura dokumentu. public PunktGraniczny(string zrodloDanych, string bladPolozenia) { _bladPolozenia = bladPolozenia; _zrodloDanych = zrodloDanych; _rodzaj = new RodzajPunktu(zrodloDanych, bladPolozenia); Kontrakt.ensures(_zrodloDanych.Equals(zrodloDanych)); Kontrakt.ensures(_rodzaj != null); Kontrakt.ensures(_operat.Length == 0); }
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); }