Member predicate File::isPdbSourceFile

Holds if this source file came from a PDB. A source file can come from a PDB and from regular extraction in the same snapshot.

predicate isPdbSourceFile()