Re: [RFA][Python] Change gdb.Value.address from a method to an attribute.

[Tom Tromey <tromey@redhat.com>]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> +@defmethod Value address
>> +If the @code{gdb.Value} object is addressable, this read-only attribute
>> +holds a @code{gdb.Value} object representing the address.  Otherwise,
>> +this attribute holds @code{None}.
>> +@end defmethod

Eli> The two uses of `gdb.Value' so close to one another and meaning two
Eli> different things might confuse the reader.

Our readers are smarter than that.

But perhaps the first "the @code{}" can be changed to "this".

Eli> Is it really important to make the point that the address
Eli> attribute is itself a `gdb.Value'?

Yes.  It is valuable for readers to know the possible types of method
return values and of attributes.  This gives users an idea of what
operations can be done with the result.

Tom