@Override
		// The PDB and parsing metrics are purposefully not included in this output.
		public String toString() {
			return filename + "; " + identifiers;
		}
Returns the metrics generated during PDB parsing
@return the metrics
Ghidra/Features/PDB/developer_scripts/pdbquery/PdbFactory.java