| This class provides a linked list. The chain of elements are
implemented through a private internal class. A class invariant is
imposed, requiring the chain should not be circular. Note that this
class also takes a class parameter.
The class contains error; namely the method remove is not
correct.
Run RT2 on this class with the option --elemty=Dummy. This will
cause the class Dummy to be used in the place of the type parameter
T.
|