コード例 #1
0
ファイル: ITimerHolder.cs プロジェクト: hanson-huang/Encore 
 public void RemoveTimer(Timer timer)
 {
     Contract.Requires(timer != null);
 }
コード例 #2
0
ファイル: ITimerHolder.cs プロジェクト: hanson-huang/Encore 
 public void AddTimer(Timer timer)
 {
     Contract.Requires(timer != null);
 }