Add a function for getting the name of a request

[psychon]

Signed-off-by: Uli Schlachter [email protected]

---

This is how far I got before noticing that #314 does not really work. Dunno if this should be merged or not.

• TODO: It just occurred to me that this should use the generated constants instead of having just the plain number

[eduardosm]

whoops, I mistakenly checked the TODO checkbox (and then unchecked it again), just in case you get some notification about me modifying this PR

[psychon]

Nope, no notifications. :-)

[eduardosm]

Can this be closed?

[psychon]

Dunno. I still feel like this could be useful, but so far have not come across a case where I would be able to use this information. If #314 is not possible... well, I guess then this should be closed. Do you agree that #314 is not possible and that the addition in this PR is not useful?

[eduardosm]

If #314 is not possible, I cannot think of any other use of this right now. Anyways, this is right now written for the old python generator, so if someday we want this, it would need to be done from scratch.