retrieving timer ID

[pythoncoder]

...I think I had a pull request in mind...

OK!

...I think any single-shot, non-blocking timer would require such a feature.

I'm unconvinced. Your application requires it because you are dynamically allocating timers, not because it's single-shot:

Code: Select all

def callback(t):
	t.deinit()
	t.callback(None)

timer = pyb.Timer(2)
timer.init(freq=1)
timer.callback(callback)

[pfalcon]

In Python (not just MicroPython), to find out ID of any object (not just Timer), use id() function. To map arbitrary values to any object (not just Timer), use dictionary:

Code: Select all

TIMER_MAP = {
timer1: "this is my blue timer",
timer2: "this is my red timer",
timer3: 4,
}

[deshipu]

The id() function gives you a pretty much arbitrary number, not the timer's id. The only thing that is guaranteed for it is that it will be different for different objects in memory at a given point (but it can be re-used once an object disappears). That doesn't really help much in figuring out which timer is which (and same for all the other peripherals too).