There is a library for java called checker-framework which provides for pluggable types using annotation processing. Most importantly it is a framework that can be used by the user to create their own specialized types.
I have been thinking of using this library to implement a unique constraint on ordinals for example. In any case it seems to me that it would be a food thing to implement extendable "static" types in a system with an image. For one there should already be a usable representation of the code in the image and maybe more importantly "semi-static" structures that otherwise wouldn't be setup until runtime can be available for the analysis which should come in handy when altering a running system. BR, John Den 4 jun 2011 06:59 skrev "C. Scott Ananian" <csc...@laptop.org>:
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc