file_name -> filename (#3791)

I wanted to choose one or the other. I think some code has been using
each from early on. We're predominately using `filename`, so
consolidating on that. This conveniently matches the [Google dev doc
style guide](https://developers.google.com/style/word-list#filename)
(which we use for docs) which says "filename: Not file name".

In toolchain:

```
╚╡git grep file_name . | wc -l
35
╚╡git grep filename . | wc -l
489
```
This commit is contained in:
Jon Ross-Perkins
2024-03-18 17:26:24 +00:00
committed by GitHub
parent 3884d3c27e
commit 4421a75c36
7 changed files with 35 additions and 35 deletions
+1 -1
View File
@@ -384,7 +384,7 @@ auto TokenizedBuffer::SourceBufferLocationTranslator::GetLocation(
}
}
return {.file_name = buffer_->source_->filename(),
return {.filename = buffer_->source_->filename(),
.line = line,
.line_number = line_number + 1,
.column_number = column_number + 1};