internal Librarie(Text nume) { Contract.Requires(nume != null, "nume librarie necesar nenul"); this.nume = nume; carti = new Carti(); lista_cititori = new List <Utilizator>(); }
internal Librarie(Text nume, Carti carti, List <Utilizator> membrii) : this(nume) { Contract.Requires(carti != null, "Lista de carti necesar nenula"); Contract.Requires(membrii != null, "Lista membrii nula"); this.carti = carti; lista_cititori = membrii; }
public Librarie Creaza(string nume, Carti lista_carti, List <Utilizator> lista_util) { Contract.Requires(nume != null, "Numele este null"); Contract.Requires(lista_carti != null, "Lista de carti este null"); Contract.Requires(lista_util != null, "Lista de utilizatori este null"); var librarie = new Librarie(new Text(nume), lista_carti, lista_util); return(librarie); }
public string Cauta_carte(Text titlu, Carti carti) { Contract.Requires(titlu != null, "Titlul cartii invalid"); List <Carte> lista_c = new List <Carte>(carti.lista_carti); var f = lista_c.Find(c => c.titlu.ToString().Equals(titlu.ToString())); if (f != null) { return("Carte gasita: " + f.nr + " " + f.titlu); } else { return("Cartea nu exista"); } }