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 void AdaugaRAM(RAM ram) { Contract.Requires(ram != null, "ram"); rami.Add(ram); }