Member predicate File::File::fromSource

Holds if this file may be from source. This predicate holds for all files except the dummy file, whose name is the empty string, which contains declarations that are built into the compiler.

predicate fromSource()