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);
}
public string oznaczenie(FabrykaKlasouzytku klu)
{
return(klu.map(_ofu, _ozu, _ozk));
}
