mirror of
https://github.com/github/codeql.git
synced 2026-04-25 16:55:19 +02:00
Address review comment
This commit is contained in:
@@ -66,7 +66,7 @@ private ControlFlowElement getBody(Callable c) {
|
||||
}
|
||||
|
||||
pragma[nomagic]
|
||||
private Location getASourceLocation(Element e) {
|
||||
private SourceLocation getASourceLocation(Element e) {
|
||||
result = e.getALocation().(SourceLocation) and
|
||||
not exists(e.getALocation().(SourceLocation).getMappedLocation())
|
||||
or
|
||||
|
||||
@@ -63,7 +63,7 @@ class EmptyLocation extends Location {
|
||||
*/
|
||||
class SourceLocation extends Location, @location_default {
|
||||
/** Gets the location that takes into account `#line` directives, if any. */
|
||||
Location getMappedLocation() {
|
||||
SourceLocation getMappedLocation() {
|
||||
locations_mapped(this, result) and
|
||||
not exists(LineDirective l | l.getALocation() = this)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user