Пример #1
0
        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);
        }
Пример #2
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);
        }