python: convert UUID to a string which is a C unsigned char[16] initializer

Question

(in case you're curious about motivation: this will be used in a scons build to generate a C file containing a GUID)

I found the question about generating a GUID in python. But I don't really know much about programming python. Could someone help me convert this to a string of the form

"{0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**}"

where the **'s are filled in with the GUID bytes in 2-digit hex form?

def getInitializer(someUUID):
    hexByteList = [??? for b in someUUID.bytes]
    return '{'+(', '.join(hexByteList))+'}'

I'm not sure what to use for the "???" above.

score 2 · Accepted Answer · answered Jan 22 '10 at 18:27

2

hex(ord(b))

...

answered Jan 22 '10 at 18:27

Jason Orendorff

42,793
6
62
96

(what if I wanted to ensure the string had constant length by printing byte values from 0-15 as 0x00, 0x01, etc. instead of 0x0, 0x1, etc.?) – Jason S Jan 22 '10 at 18:31
I think `"%#04x" % ord(b)` will do that. – Jason Orendorff Jan 22 '10 at 21:02

python: convert UUID to a string which is a C unsigned char[16] initializer

1 Answers1