[PATCH 1/3] python: Add Inferior.progspace property

[Eli Zaretskii]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Wed, 12 Sep 2018 15:36:15 -0400
> 
> This patch adds a progspace property to the gdb.Inferior type, which
> allows getting the gdb.Progspace object associated to that inferior.
> In conjunction with the following patch, this will allow scripts iterate
> on objfiles associated with a particular inferior.
> 
> While modifying py-inferior.exp, I added some checks for the other
> Inferior properties, when the Inferior is no longer valid.  This doesn't
> seem tested at the moment.
> 
> gdb/ChangeLog:
> 
> 	* python/py-inferior.c (infpy_get_progspace): New function.
> 	(inferior_object_getset): Add progspace property.
> 	* NEWS: Mention the new property.
> 
> gdb/doc/ChangeLog:
> 
> 	* python.texi (Inferiors In Python): Document
> 	Inferior.progspace.
> 
> gdb/testsuite/ChangeLog:
> 
> 	* gdb.python/py-inferior.exp: Add tests for Inferior.progspace
> 	and a few other Inferior properties when the Inferior is no
> 	longer valid.

OK for the documentation parts.

Thanks.