@Override
	public String toString() {
		String name = record.getString(FragmentDBAdapter.FRAGMENT_NAME_COL);
		return name + ": " + addrSet.toString();
	}
Constructor
@param moduleMgr module manager
@param cache fragment DB cache
@param record fragment record
@param addrSet fragment address set
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/module/FragmentDB.java