Skip to content

Commit c7aa582

Browse files
committed
change "does not seem to check" to "does not check" in unchecked-cast-in-equals queries
1 parent 014dcd1 commit c7aa582

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

csharp/ql/src/Likely Bugs/UncheckedCastInEquals.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,4 +35,4 @@ where
3535
access = cast.getAChild() and
3636
access.getTarget().getDeclaringElement() = access.getEnclosingCallable() and
3737
nodeBeforeParameterAccess(access.getAControlFlowNode())
38-
select cast, "Equals() method does not seem to check argument type."
38+
select cast, "Equals() method does not check argument type."
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
| UncheckedCastInEquals.cs:7:17:7:27 | (...) ... | Equals() method does not seem to check argument type. |
1+
| UncheckedCastInEquals.cs:7:17:7:27 | (...) ... | Equals() method does not check argument type. |

java/ql/src/Likely Bugs/Comparison/MissingInstanceofInEquals.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,4 +77,4 @@ where
7777
// Exclude `equals` methods that implement reference-equality.
7878
not m instanceof ReferenceEquals and
7979
not m instanceof UnimplementedEquals
80-
select m, "equals() method does not seem to check argument type."
80+
select m, "equals() method does not check argument type."
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
| Bad.java:13:17:13:22 | equals | equals() method does not seem to check argument type. |
1+
| Bad.java:13:17:13:22 | equals | equals() method does not check argument type. |

0 commit comments

Comments
 (0)