C++: make getLineRank private

This commit is contained in:
Robert Marsh
2019-12-03 10:53:08 -08:00
parent 1b802c7e18
commit 722cc91eae
5 changed files with 5 additions and 5 deletions

View File

@@ -360,7 +360,7 @@ class Instruction extends Construction::TInstruction {
)
}
int getLineRank() {
private int getLineRank() {
this = rank[result](Instruction instr |
instr.getAST().getFile() = getAST().getFile() and
instr.getAST().getLocation().getStartLine() = getAST().getLocation().getStartLine()

View File

@@ -360,7 +360,7 @@ class Instruction extends Construction::TInstruction {
)
}
int getLineRank() {
private int getLineRank() {
this = rank[result](Instruction instr |
instr.getAST().getFile() = getAST().getFile() and
instr.getAST().getLocation().getStartLine() = getAST().getLocation().getStartLine()

View File

@@ -360,7 +360,7 @@ class Instruction extends Construction::TInstruction {
)
}
int getLineRank() {
private int getLineRank() {
this = rank[result](Instruction instr |
instr.getAST().getFile() = getAST().getFile() and
instr.getAST().getLocation().getStartLine() = getAST().getLocation().getStartLine()