Class DataFlow::AdditionalFlowStep

A value-preserving data flow edge that should be used in all data flow configurations in addition to standard data flow edges.

This class is a singleton, and thus subclasses do not need to specify a characteristic predicate.

As an alternative to this class, consider using DataFlow::SummarizedCallable.

Note: For performance reasons, all subclasses of this class should be part of the standard library. Use isAdditionalFlowStep for query-specific flow steps.

Import path

import javascript

Direct supertypes

Unit

Indirect supertypes

TUnit

Known direct subtypes

PromisifiedUserFunctionArgumentFlow

Predicates

jumpStep	Holds if `pred` → `succ` should be considered a value-preserving data flow edge that crosses calling contexts.
readStep	Holds if the given `content` of the object in `pred` should be read into `succ`.
step	Holds if `pred` → `succ` should be considered a value-preserving data flow edge.f
storeStep	Holds if `pred` should be stored in the given `content` of the object `succ`.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit