Not that the method itself is final, but the type of returned value.
Mark
Michael Neale wrote:
I assume by "return values" are final it means the
accessor method is final?
Or perhaps the onus is on the user to ensure that the results of the
getter are time constant.
On 10/28/06, Mark Proctor <[EMAIL PROTECTED]>
wrote:
Edson,
Was thinking about what you said the other day, about allowing final
classes. Final class should be asserteable, without the need of a
shadow fact - further we should only allow reasoning over the fields
that have no setters and who return values are also final.
Mark
---------------------------------------------------------------------
To unsubscribe from this list please visit:
http://xircles.codehaus.org/manage_email
|
