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);
}
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);
}
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);
}
