nameWithExtension

The name with file extension of the declaration.