/**
* Returns the line number range of the given class member, followed by a colon, or just an empty
* String if no range is available.
*/
private static String lineNumberRange(ProgramClass programClass, ProgramMember programMember) {
String range = programMember.getLineNumberRange(programClass);
return range != null ? (range + ":") : "";
}
