C# (CSharp) fooSpeech Music Exemples

Exemple #1

Fichier : Album.cs Projet : jpires/fooSpeech

 public void addMusic(Music music)
 {
     Contract.Requires(music != null);
     Contract.Ensures(this.MusicList.Count == Contract.OldValue(this.MusicList.Count) + 1);
     this.MusicList.Add(music);
 }

Exemple #2

 public void removeMusic(Music music)
 {
     Contract.Requires(music != null);
     Contract.Ensures(this.MusicList.Count == Contract.OldValue(this.MusicList.Count) - 1);
     this.MusicList.Remove(music);
 }

Exemple #3

Fichier : Album.cs Projet : jpires/fooSpeech

 public void removeMusic(Music music)
 {
     Contract.Requires(music != null);
     Contract.Ensures(this.MusicList.Count == Contract.OldValue(this.MusicList.Count) - 1);
     this.MusicList.Remove(music);
 }

Exemple #4

 public void addMusic(Music music)
 {
     Contract.Requires(music != null);
     Contract.Ensures(this.MusicList.Count == Contract.OldValue(this.MusicList.Count) + 1);
     this.MusicList.Add(music);
 }