de.unisaarland.cs.st.jerify.verifier.dataflow
Class DataFlowCFGAnalysis

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.dataflow.DataFlowCFGAnalysis

public class DataFlowCFGAnalysis
extends java.lang.Object

Constructor Summary

DataFlowCFGAnalysis()

Method Summary

Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>	analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)
DataFlowCFGAnalysis	copy()

Methods inherited from class java.lang.Object

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

Constructor Detail

DataFlowCFGAnalysis

public DataFlowCFGAnalysis()

Method Detail

copy

public DataFlowCFGAnalysis copy()

analyzeCondition

public Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>> analyzeCondition(com.sun.source.tree.ExpressionTree condition,
                                                                                      ClassCFGAliasAnalysis aliasAnalysis)