CodeQL library for GitHub Actions

codeql/actions-all 0.4.27-dev (changelog, source)

Class MakeWithSplitting::SplitImplementations::ConditionalCompletionSplitting::ConditionalCompletionSplitImpl

A split for conditional completions.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Indirect supertypes

Split

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

ConditionalCompletionSplitImpl