MayBeInitializedVariablesAnalyzer (MPS.Core (JetBrains MPS 2019.1.0))

java.lang.Object
- jetbrains.mps.lang.dataFlow.framework.analyzers.MayBeInitializedVariablesAnalyzer

All Implemented Interfaces:: DataFlowAnalyzer<VarSet>

public class MayBeInitializedVariablesAnalyzer
extends Object
implements DataFlowAnalyzer<VarSet>

Constructor Summary

Constructors
Constructor Description

MayBeInitializedVariablesAnalyzer(Instruction... exclusions)

Method Summary

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

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

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