DataFlowAnalyzer (MPS.Core (JetBrains MPS 2019.1.0))

All Known Implementing Classes:

DataFlowAnalyzerBase, InitializedVariablesAnalyzer, LivenessAnalyzer, MayBeInitializedVariablesAnalyzer, ReachabilityAnalyzer, ReachingDefinitionsAnalyzer, ReachingReadsAnalyzer
```
public interface DataFlowAnalyzer<E>
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`E`	`fun(E input, ProgramState s)`	input parameter can be changed
`AnalysisDirection`	`getDirection()`
`E`	`initial(Program p)`
`E`	`merge(Program p, List<E> input)`

Method Detail

initial
```
E initial(Program p)
```

merge

E merge(Program p,
        List<E> input)

fun

E fun(E input,
      ProgramState s)

input parameter can be changed

getDirection
```
AnalysisDirection getDirection()
```