Class DataFlow::LegacyFlowStep

A data flow edge that is only seen by the old, deprecated data flow library.

This class is typically used when a step has been replaced by a flow summary. Since the old data flow library does not support flow summaries, such a step should remain as a legacy step, until the old data flow library can be removed.

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

Import path

import javascript

Direct supertypes

Unit

Indirect supertypes

TUnit

Known direct subtypes

Predicates

loadStep	Holds if the property `prop` of the object `pred` should be loaded into `succ`.
loadStoreStep	Holds if the property `prop` should be copied from the object `pred` to the object `succ`.
loadStoreStep	Holds if the property `loadProp` should be copied from the object `pred` to the property `storeProp` of object `succ`.
step	Holds if `pred` → `succ` should be considered a data flow edge.
step	DEPRECATED. The `FlowLabel` class and steps involving flow labels are no longer used by any queries.
storeStep	Holds if `pred` should be stored in the object `succ` under the property `prop`. The object `succ` must be a `DataFlow::SourceNode` for the object wherein the value is stored.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit