CodeQL library for C/C++
codeql/cpp-all 10.1.0 (changelog, source)
Search

Class ConditionKind

A condition kind. This is used to classify different ConditionalSuccessors.

Import path

import codeql.controlflow.SuccessorType

Direct supertypes

Predicates

isBoolean

Holds if this condition kind identifies BooleanSuccessors.

isEmptiness

Holds if this condition kind identifies EmptinessSuccessors.

isMatching

Holds if this condition kind identifies MatchingSuccessors.

isNullness

Holds if this condition kind identifies NullnessSuccessors.

toString

Gets a textual representation of this condition kind.