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