Package jetbrains.mps.lang.dataFlow

Class DataFlow

java.lang.Object

jetbrains.mps.lang.dataFlow.DataFlow

public class DataFlow
extends Object

Constructor Summary

Constructors

Constructor	Description
DataFlow()

Method Summary

Modifier and Type	Method	Description
static Program	buildProgram(SNode node)
static Set<SNode>	getExpectedReturns(Program program)
static Set<SNode>	getUninitializedReads(Program program)
static Set<SNode>	getUnreachableNodes(Program program)
static Set<SNode>	getUnusedAssignments(Program program)
static Set<SNode>	getUnusedAssignments(SNode node)
static Set<SNode>	getUsedVariables(Program program, SNode node)
static boolean	isInitializedRewritten(Program program, SNode write)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DataFlow

public DataFlow()

Method Detail

buildProgram

public static Program buildProgram(SNode node)

getUnreachableNodes

public static Set<SNode> getUnreachableNodes(Program program)

getExpectedReturns

public static Set<SNode> getExpectedReturns(Program program)

getUninitializedReads

public static Set<SNode> getUninitializedReads(Program program)

isInitializedRewritten

public static boolean isInitializedRewritten(Program program,
                                             SNode write)

getUsedVariables

public static Set<SNode> getUsedVariables(Program program,
                                          SNode node)

getUnusedAssignments

public static Set<SNode> getUnusedAssignments(SNode node)

getUnusedAssignments

public static Set<SNode> getUnusedAssignments(Program program)