C# (CSharp) fooSpeech Music 예제들

예제 #1

파일: Album.cs 프로젝트: 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);
 }

예제 #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);
 }

예제 #3

파일: Album.cs 프로젝트: 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);
 }

예제 #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);
 }