Files
codeql/csharp/ql/test/library-tests/properties/Properties15.ql
2018-12-20 10:19:59 +01:00

18 lines
346 B
Plaintext

/**
* @name Test for properties
*/
import csharp
from Property p
where
p.hasName("Init") and
p.getDeclaringType().hasQualifiedName("Properties.Test") and
p.isWriteOnly() and
not p.isAutoImplemented() and
p.isStatic() and
p.isPrivate() and
p.getType() instanceof IntType and
p.getSetter().getStatementBody().isEmpty()
select p