The Roles of Variables BlueJ extension is based on Sajaniemi's Roles of
Variables theory, which describes the common ways in which variables are used
in programming. The extension allows users to annotate their programs with
labels based on these roles, and uses an automated system to check whether the
actual use of the variable is consistent with that role assignment.