Re: Joe-E 2.0 Release
"Tyler Close" <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
On Wed, Mar 12, 2008 at 8:45 AM, Tyler Close <[email protected]> wrote: > In general, the convention I've used in Waterken code is that you > can't make any assumptions about assertions implied by an interface > name. Such assumptions are only warranted for classes, where I also > follow the convention that all classes are final. More precisely, the behaviour of all classes is final, which is often implemented by making the class final, but not always. Record types that just provide fields and no methods are typically not declared final. --Tyler