private DzialkaEwidencyjna parseDzialka(string linia) { string[] pola = linia.Split(new char[] { ' ' }, 2, StringSplitOptions.RemoveEmptyEntries); IdentyfikatorDzialki identyfikator = IdentyfikatorDzialki.parseId(pola[0]); Powierzchnia powierzchnia = Powierzchnia.parseMetry(pola[1]); DzialkaEwidencyjna dzialka = new DzialkaEwidencyjna(identyfikator, powierzchnia); return(dzialka); }
private Klasouzytek parseKlasouzytek(string linia) { string[] pola = linia.Split(new char[] { ' ' }, 2, StringSplitOptions.RemoveEmptyEntries); string oznaczenie = pola[0]; Powierzchnia powierzchnia = Powierzchnia.parseMetry(pola[1]); string[] klu = _klu.map(oznaczenie); Klasouzytek klasouzytek = new Klasouzytek(klu[0], klu[1], klu[2], powierzchnia); string ozn = klasouzytek.oznaczenie(_klu); Kontrakt.ensures(oznaczenie.Equals(ozn), "Odtworzenie oznaczenia nie jest możliwe: " + oznaczenie + " z " + klasouzytek.ToString() + " = " + ozn); return(klasouzytek); }