[JSR308] Type refinement for immutability

[Dr. James J. Hunt]

Dear Colleagues,

Is there anyone that has had some practical experience with using type
refinement to handle immutability?  Some people in JSR 302 are
interested in the possibility of using annotations to keep trace of some
object that should not be modified, without having to introduce many new
types.  For those of you who know the RTSJ, this has to do with things
such as the HighResoultionTime classes and the ReleaseParameter classes.

Sincerely,
James

-- 
Dr. James J. Hunt      * CEO aicas GmbH        * Tel: +49 721 663968 22

aicas --- allerton interworks computer automated systems GmbH
Haid-und-Neu-Straße 18 * D-76131 Karlsruhe     * Deutschland (Germany)
http://www.aicas.com   * Tel: +49 721 663968 0 * FAX: +49 721 663968 99

USt-Id: DE216375633, Handelsregister HRB 109481, AG Mannheim
Geschäftsführer: Dr. James J. Hunt