public void AdaugaFusta(TipRami tip, int dimensiune) { Contract.Requires(true, "tip RAM"); if (capacitate_magazin > 0) { var ram = new RAM(tip, dimensiune); rami.AdaugaRAM(ram); capacitate_magazin--; } else { Debug.WriteLine("Nu mai sunt locuri in depozit"); } }
internal RAM(TipRami tip, int dimensiune) { Contract.Requires(true, "tip"); Tip = tip; Dimensiune = dimensiune; }