oldName property

String oldName
getter/setter pair

The old name of the element before the refactoring.

Implementation

String oldName;