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