figuring out how to code the PDBSpecs class