Add EventDriverTimers.isUnique.

This commit is contained in:
Sönke Ludwig 2017-01-30 19:54:38 +01:00
parent 956978cc79
commit 6851776358
No known key found for this signature in database
GPG key ID: D95E8DB493EE314C
2 changed files with 11 additions and 0 deletions

View file

@ -422,6 +422,9 @@ interface EventDriverTimers {
Returns `false` $(I iff) the last reference was removed by this call.
*/
bool releaseRef(TimerID descriptor);
/// Determines if the given timer's reference count equals one.
bool isUnique(TimerID descriptor) const;
}
interface EventDriverWatchers {