annotate ___instancecheck__ @ 244:eee52d5a4af8 default tip

created
author 127.0.0.1
date Sun, 30 Jun 2013 11:08:33 +0200
parents 48c47b5967ed
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
93
d6c87ec934b6 created
127.0.0.1
parents:
diff changeset
1 {{{#!python
d6c87ec934b6 created
127.0.0.1
parents:
diff changeset
2 def isinstance(thing, classinfo):
233
48c47b5967ed created
127.0.0.1
parents: 130
diff changeset
3 if hasattr(thing.__class__, '__instancecheck__'):
129
871ed91e9ece created
127.0.0.1
parents: 93
diff changeset
4 return thing.__instancecheck__(thing, classinfo)
871ed91e9ece created
127.0.0.1
parents: 93
diff changeset
5 return issubclass(thing.__class__, classinfo)
93
d6c87ec934b6 created
127.0.0.1
parents:
diff changeset
6 }}}