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