mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
14 lines
258 B
Plaintext
14 lines
258 B
Plaintext
/**
|
|
* @name Test for destructors
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Destructor d, ValueOrRefType t
|
|
where
|
|
t = d.getDeclaringType() and
|
|
not t instanceof ConstructedGeneric and
|
|
not t instanceof UnboundGenericType and
|
|
d.getName() != "~" + t.getName()
|
|
select t, d
|