getElementDisplayName method
Implementation
String getElementDisplayName(analyzer.Element2 element) {
if (element is analyzer.LibraryFragment) {
return path
.basename((element as analyzer.LibraryFragment).source.fullName);
} else {
return element.displayName;
}
}