mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
18 lines
380 B
Plaintext
18 lines
380 B
Plaintext
/**
|
|
* @name Test for overrides
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Property ap4, Property bp4, Property cp4
|
|
where
|
|
ap4.hasName("P4") and
|
|
ap4.getDeclaringType().hasName("A") and
|
|
bp4.hasName("P4") and
|
|
bp4.getDeclaringType().hasName("B") and
|
|
cp4.hasName("P4") and
|
|
cp4.getDeclaringType().hasName("C") and
|
|
not ap4.getOverridee() = bp4 and
|
|
ap4.getOverridee() = cp4
|
|
select ap4, bp4
|