CodeQL library for Swift
codeql/swift-all 2.0.4-dev (changelog, source)
Search

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 pred to succ with completion c.

hasEntryScope

Holds if this split is entered when control passes from scope to the entry point first.

hasExit

Holds if this split is left when control passes from pred to succ with completion c.

hasExitScope

Holds if this split is left when control passes from last out of the enclosing scope scope with completion c.

hasSuccessor

Holds if this split is maintained when control passes from pred to succ with completion c.

Inherited predicates

appliesSucc

Holds if succ is a control flow successor for pred, given that pred finishes with completion c, and this split applies to pred.

from SplitImpl
appliesTo

Holds if this split applies to AST node n.

from SplitImpl
getCompletion

Gets the completion recorded in this split.

from ConditionalCompletionSplit
toString

Gets a textual representation of this split.

from Split

Charpred