Class MakeWithSplitting::SplitImplementations::ConditionalCompletionSplitting::ConditionalCompletionSplitImpl
A split for conditional completions.
Import path
import codeql.controlflow.Cfg
Direct supertypes
Indirect supertypes
Fields
Predicates
getKind | Gets the kind of this split. |
hasEntry | Holds if this split is entered when control passes from |
hasEntryScope | Holds if this split is entered when control passes from |
hasExit | Holds if this split is left when control passes from |
hasExitScope | Holds if this split is left when control passes from |
hasSuccessor | Holds if this split is maintained when control passes from |
Inherited predicates
appliesSucc | Holds if | from SplitImpl |
appliesTo | Holds if this split applies to AST node | from SplitImpl |
getCompletion | Gets the completion recorded in this split. | from ConditionalCompletionSplit |
toString | Gets a textual representation of this split. | from Split |