Ada calls these things "access types".    I'm not sure if it is a good thing, but it is different.

Mike
-------------------------------------------------------------------------
Michael Hind, Manager, Dynamic Optimization Group
IBM Watson Research Center
http://www.research.ibm.com/people/h/hind
hind@watson.ibm.com, 914 784-7589, tie: 863-7589
Jikes RVM open source release:  www.ibm.com/developerworks/oss/jikesrvm