displayName property Null safety
Return the display name of this element, possibly the empty string if this element does not have a name.
In most cases the name and the display name are the same. Differences
though are cases such as setters where the name of some setter
f=, instead of
String get displayName;