public class ReachingReadsAnalyzer
extends Object
implements DataFlowAnalyzer<Set<ReadInstruction>>

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

Constructor Detail
- ReachingReadsAnalyzer
```
public ReachingReadsAnalyzer()
```

public Set<ReadInstruction> merge(Program p,
                                  List<Set<ReadInstruction>> input)

Specified by:: merge in interface DataFlowAnalyzer<Set<ReadInstruction>>

public Set<ReadInstruction> fun(Set<ReadInstruction> input,
                                ProgramState s)

Description copied from interface: DataFlowAnalyzer

input parameter can be changed

Class ReachingReadsAnalyzer