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

Packages that use DataFlowCFGAnalysis

de.unisaarland.cs.st.jerify.verifier.dataflow
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Uses of DataFlowCFGAnalysis in de.unisaarland.cs.st.jerify.verifier.dataflow

Methods in de.unisaarland.cs.st.jerify.verifier.dataflow that return DataFlowCFGAnalysis

DataFlowCFGAnalysis

DataFlowCFGAnalysis.copy()

Uses of DataFlowCFGAnalysis in de.unisaarland.cs.st.jerify.verifier.typestate

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return DataFlowCFGAnalysis

DataFlowCFGAnalysis

MethodCFGWorkData.getDataFlowAnalysis()

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type DataFlowCFGAnalysis

void	MethodCFGWorkData.setDataFlowAnalysis(DataFlowCFGAnalysis dataflowAnalysis)

Constructors in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type DataFlowCFGAnalysis

MethodCFGWorkData(TSFlowNode flowBegin, TSFlowNode flowEnd, ClassCFGAliasAnalysis aliasAnalysis, DataFlowCFGAnalysis dataflowAnalysis)
Create an TSInfo instance with the previous (aka first) Node and the methodEnd (aka last) Node beeing set.