File with given name

import python

from File f
where f.getShortName() = 'spam.py'
select f

Description

Finds files called `spam.py`