public static PDBFile ReadPDBFile(string path) { PDBFile pdb = new PDBFile(); if (!pdb.Read(path)) { return(null); } return(pdb); }