Sitelet https://web.archive.org/web/20260601151001/https://github.com/github/codeql/pull/4341
Skip to content

Java: Include column numbers in Location.toString#4341

Merged
aschackmull merged 1 commit into
github:mainfrom
joefarebrother:location-tostring
Oct 6, 2020
Merged

Java: Include column numbers in Location.toString#4341
aschackmull merged 1 commit into
github:mainfrom
joefarebrother:location-tostring

Conversation

@joefarebrother
Copy link
Copy Markdown
Contributor

Fixes #3906

@joefarebrother joefarebrother requested a review from a team September 24, 2020 15:50
@joefarebrother joefarebrother added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Sep 24, 2020
@github-actions github-actions Bot added the Java label Sep 24, 2020
@aschackmull
Copy link
Copy Markdown
Contributor

The change looks good, and it is definitely an improvement to include column information, but I think it would be good to consider unifying this across languages.

@aschackmull aschackmull merged commit 0214352 into github:main Oct 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

depends on internal PR This PR should only be merged in sync with an internal Semmle PR Java

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Java: Include start and end column in Location.toString

2 participants