Class MakeWithSplitting::SplitKind
A split kind. Each control flow node can have at most one split of a given kind.
Import path
import codeql.controlflow.Cfg
Predicates
appliesTo | Holds if some split of this kind applies to AST node |
getASplit | Gets a split of this kind. |
getListOrder | Gets a unique integer representing this split kind. The integer is used to represent sets of splits as ordered lists. |
getListRank | Gets the rank of this split kind among all the split kinds that apply to AST node |
isEnabled | Holds if this split kind is enabled for AST node |
toString | Gets a textual representation of this split kind. |