• Void Safety Documentation
• Ending Null Pointer Crashes; Void safety relies on type declarations and static analysis.
• Avoid a Void

code snippet (login with anonymous and no password).

svn export https://svn.eecs.yorku.ca/repos/sel-open/misc/tutorial/Void-Safety/node

Slide Video pdf

• FOO [G] = FOO [G → detachable separate ANY] - actual generic can be detachable and can be separate.
• FOO [G → detachable ANY] - actual generic can be detachable, but it is never separate.
• FOO [G → ANY] = FOO [G → attached ANY] - actual generic is always attached and is never separate.
• FOO [G → separate ANY] = FOO [G → attached separate ANY] - actual generic is always attached and can be separate.

It is also possible to have indirect constraints, e.g. BAR [G → H, H → ANY] means that actual generic parameter corresponding to G should be attached and non-separate.