Class InitializedVariablesAnalyzer
- java.lang.Object
 - 
- jetbrains.mps.lang.dataFlow.framework.analyzers.InitializedVariablesAnalyzer
 
 
- 
- All Implemented Interfaces:
 DataFlowAnalyzer<VarSet>
public class InitializedVariablesAnalyzer extends Object implements DataFlowAnalyzer<VarSet>
 
- 
- 
Constructor Summary
Constructors Constructor Description InitializedVariablesAnalyzer() 
- 
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VarSetfun(VarSet input, ProgramState s)input parameter can be changedAnalysisDirectiongetDirection()VarSetinitial(Program p)VarSetmerge(Program p, List<VarSet> input) 
 - 
 
- 
- 
Method Detail
- 
initial
public VarSet initial(Program p)
- Specified by:
 initialin interfaceDataFlowAnalyzer<VarSet>
 
- 
merge
public VarSet merge(Program p, List<VarSet> input)
- Specified by:
 mergein interfaceDataFlowAnalyzer<VarSet>
 
- 
fun
public VarSet fun(VarSet input, ProgramState s)
Description copied from interface:DataFlowAnalyzerinput parameter can be changed- Specified by:
 funin interfaceDataFlowAnalyzer<VarSet>
 
- 
getDirection
public AnalysisDirection getDirection()
- Specified by:
 getDirectionin interfaceDataFlowAnalyzer<VarSet>
 
 - 
 
 -