Files
codeql/csharp/ql/examples/snippets/ternary_conditional.ql
2019-08-02 15:30:32 +02:00

18 lines
489 B
Plaintext

/**
* @id cs/examples/ternary-conditional
* @name Conditional expressions
* @description Finds conditional expressions of the form '... ? ... : ...'
* where the types of the resulting expressions differ.
* @tags conditional
* type
*/
import csharp
from ConditionalExpr e
where
e.getThen().stripImplicitCasts() != e.getElse().stripImplicitCasts() and
not e.getThen().getType() instanceof NullType and
not e.getElse().getType() instanceof NullType
select e