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
