mirror of
https://github.com/github/codeql.git
synced 2026-08-03 00:43:00 +02:00
15 lines
285 B
Plaintext
15 lines
285 B
Plaintext
/**
|
|
* @name Test for overrides
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Method m, Method n
|
|
where
|
|
m.hasName("Add") and
|
|
m.getDeclaringType().hasName("List`1") and
|
|
n.hasName("Add") and
|
|
n.getDeclaringType().hasName("ICollection<T>") and
|
|
m.getImplementee() = n
|
|
select m.toString(), n.toString()
|