Melvyn,
Aha, thanks for the insight. Found it at last. "Property" is an
amazingly difficult word to search for as it happens.
Still my problem remains. But this:
"Changed in version 3.5: The docstrings of property objects are now
writeable." is hopeful. Suggesting if the docstring can be written and
read it can be used to communicate as desired (metadata about the
property), albeit in a sub-optimal and proxy manner I guess. I wonder if
I can work out how to do that? We shall see, about to put a 3 year old
to bed and may fall asleep in the process ;-).
Bernd.
Melvyn Sopacua wrote:
On Thursday 08 June 2017 16:18:42 Bernd Wechner wrote:
> This works charmingly. Though I admit I don't fully understand it. The
> type "property" passed to isinstance seems to be a built in type as I
> don't import it anywhere and I can't find a definition (I use PyDev
> and it brilliantly lets me select almost anything and press F3 and
> takes me to its definition, but not for this 'property' keyword). And
> yet it's not documented here:
>
> https://docs.python.org/3.1/library/stdtypes.html
Nope, because it's a built-in function
<https://docs.python.org/3/library/functions.html>.
--
Melvyn Sopacua
--
You received this message because you are subscribed to the Google
Groups "Django users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to django-users+unsubscr...@googlegroups.com
<mailto:django-users+unsubscr...@googlegroups.com>.
To post to this group, send email to django-users@googlegroups.com
<mailto:django-users@googlegroups.com>.
Visit this group at https://groups.google.com/group/django-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/django-users/4602190.fOoObd2v9N%40devstation
<https://groups.google.com/d/msgid/django-users/4602190.fOoObd2v9N%40devstation?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Django
users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to django-users+unsubscr...@googlegroups.com.
To post to this group, send email to django-users@googlegroups.com.
Visit this group at https://groups.google.com/group/django-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/django-users/622b6e2d-58ec-091c-7e65-9c836a0ffd81%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
