String () { return String.format( "[%d; %d): %s %s %s", getStartOffset(), getEndOffset(), StringUtil.toLowerCase(StringUtil.join(myModifiers, " ")), StringUtil.toLowerCase(myTypes.iterator().next().toString()), myName == null ? "<no name>" : myName ); }