| 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 | Holds if pred → succ should be considered a data flow edge transforming values with label predlbl to have label succlbl.
|
| 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.
|