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
