References are uses of names, variables or members.
They can have a name (such as TypeReferences) or be
anonymous (such as ArrayReference).
taken from COMPOST and changed to achieve an immutable structure
Method Summary
Methods inherited from interface de.uka.ilkd.key.java.ProgramElement