
  Roles of Variables BlueJ Package

  This package implements an extension to the BlueJ package which
allows students to suggest roles for the variables in their program,
following the theories of Sajaniemi. It then (statically) analyses the
program for certain properties, which are then used to determine
whether the student's role assignments are accurate. The initial
version of this was written by Craig Bishop as part of his MSc work at
the University of Kent.

  More details are given in the documents in the "papers" directory.

  The program is aware of most of the core Java language, however a
few statements are ignored; most notably the program ignores
switch/case statements. See papers/dissertation.pdf for more
discussions of the limitations.

  From the point of view of the user, all you need be concerned about
is the roles_of_variables.jar file, which needs to been installed on
your machine in accordance with the instructions at
http://www.bluej.org/extensions/extensions.html

  Any queries please email C.G.Johnson@kent.ac.uk

  The source code is Copyright 2005-08 Craig Bishop and Colin Johnson,
the paper koliPaper.pdf Copyright 2006 Craig Bishop and Colin Johnson,
and the document dissertation.pdf Copyright 2005 Craig Bishop. Details
of the open-source licencing for the code are given in the code
itself.
