ReachabilityAnalyzer (MPS.Core (JetBrains MPS 2019.1.0))

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
`Boolean`	`fun(Boolean input, ProgramState s)`	input parameter can be changed
`AnalysisDirection`	`getDirection()`
`Boolean`	`initial(Program p)`
`Boolean`	`merge(Program p, List<Boolean> input)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ReachabilityAnalyzer
```
public ReachabilityAnalyzer()
```
- Method Detail
  - initial
```
public Boolean initial(Program p)
```
    Specified by:
    
    initial in interface DataFlowAnalyzer<Boolean>
  - merge
```
public Boolean merge(Program p,
                     List<Boolean> input)
```
    Specified by:
    
    merge in interface DataFlowAnalyzer<Boolean>
  - fun
```
public Boolean fun(Boolean input,
                   ProgramState s)
```
    Description copied from interface: DataFlowAnalyzer
    
    input parameter can be changed
    
    Specified by:
    
    fun in interface DataFlowAnalyzer<Boolean>
  - getDirection
```
public AnalysisDirection getDirection()
```
    Specified by:
    
    getDirection in interface DataFlowAnalyzer<Boolean>