Esempio n. 1
0
 public void RemoveTimer(Timer timer)
 {
     Contract.Requires(timer != null);
 }
Esempio n. 2
0
 public void AddTimer(Timer timer)
 {
     Contract.Requires(timer != null);
 }