Skip to content

Commit 7c37be2

Browse files
committed
C++: Address implicit this.
1 parent 1b433c7 commit 7c37be2

File tree

1 file changed

+14
-14
lines changed

1 file changed

+14
-14
lines changed

cpp/ql/lib/semmle/code/cpp/headers/PreprocBlock.qll

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ class PreprocessorBlock extends @element {
9696
// before it in the source.
9797
exists(int ix, PreprocessorBranchDirective prev |
9898
ix = getPreprocIndex(mkElement(this).(PreprocessorBranchDirective).getIf()) and
99-
prev = getPreprocFromIndex(getFile(), ix - 1)
99+
prev = getPreprocFromIndex(this.getFile(), ix - 1)
100100
|
101101
if prev instanceof PreprocessorEndif
102102
then
@@ -118,13 +118,13 @@ class PreprocessorBlock extends @element {
118118
PreprocessorBlock getParent() {
119119
not mkElement(this) instanceof File and
120120
(
121-
if exists(getParentInternal())
121+
if exists(this.getParentInternal())
122122
then
123123
// found parent directive
124-
result = getParentInternal()
124+
result = this.getParentInternal()
125125
else
126126
// top level directive
127-
mkElement(result) = getFile()
127+
mkElement(result) = this.getFile()
128128
)
129129
}
130130

@@ -134,32 +134,32 @@ class PreprocessorBlock extends @element {
134134
PreprocessorBlock getAChild() { result.getParent() = this }
135135

136136
private Include getAnEnclosedInclude() {
137-
result.getFile() = getFile() and
138-
result.getLocation().getStartLine() > getStartLine() and
139-
result.getLocation().getStartLine() <= getEndLine()
137+
result.getFile() = this.getFile() and
138+
result.getLocation().getStartLine() > this.getStartLine() and
139+
result.getLocation().getStartLine() <= this.getEndLine()
140140
}
141141

142142
/**
143143
* Gets an include directive that is directly in this
144144
* `PreprocessorBlock`.
145145
*/
146146
Include getAnInclude() {
147-
result = getAnEnclosedInclude() and
148-
not result = getAChild().getAnEnclosedInclude()
147+
result = this.getAnEnclosedInclude() and
148+
not result = this.getAChild().getAnEnclosedInclude()
149149
}
150150

151151
private Macro getAnEnclosedMacro() {
152-
result.getFile() = getFile() and
153-
result.getLocation().getStartLine() > getStartLine() and
154-
result.getLocation().getStartLine() <= getEndLine()
152+
result.getFile() = this.getFile() and
153+
result.getLocation().getStartLine() > this.getStartLine() and
154+
result.getLocation().getStartLine() <= this.getEndLine()
155155
}
156156

157157
/**
158158
* Gets a macro definition that is directly in this
159159
* `PreprocessorBlock`.
160160
*/
161161
Macro getAMacro() {
162-
result = getAnEnclosedMacro() and
163-
not result = getAChild().getAnEnclosedMacro()
162+
result = this.getAnEnclosedMacro() and
163+
not result = this.getAChild().getAnEnclosedMacro()
164164
}
165165
}

0 commit comments

Comments
 (0)