mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
12 lines
182 B
Plaintext
12 lines
182 B
Plaintext
/**
|
|
* @name Test for overrides
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Property p1, Property p2
|
|
where
|
|
(p1.getOverridee() = p2 or p1.getImplementee() = p2) and
|
|
p2.hasName("Prop")
|
|
select p1, p2
|