Uses of Interface
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.CFGAnalysis

Packages that use CFGAnalysis

de.unisaarland.cs.st.jerify.verifier.cfg.flownodes	Provides classes which are nodes which form the control flow graph.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias	Provides classes which are nodes which form the aliasing analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate	Provides classes which are nodes which form the typestate analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Uses of CFGAnalysis in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes that return CFGAnalysis

CFGAnalysis<AnalysisData>

CFGAnalysis.deepCopy()

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes with parameters of type CFGAnalysis

abstract void	FlowNode.forwardAnalysis(CFGAnalysis<AnalysisData> newAnalysis)
boolean	CFGAnalysis.isSubsetOf(CFGAnalysis<AnalysisData> analysis)
MethodTypestateAnalysis	CFGAnalysis.merge(CFGAnalysis<AnalysisData> other)
MethodTypestateAnalysis	CFGAnalysis.replaceWith(CFGAnalysis<AnalysisData> other)

Uses of CFGAnalysis in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias with parameters of type CFGAnalysis

void	TSAliasAnalysisEndOfScope.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
void	TSAliasAnalysisAssignmentFlowNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis) perform an update of the alias information

Uses of CFGAnalysis in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate with parameters of type CFGAnalysis

void	TSFixpointerIterationFlowNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis) Only further propagate the analysis if it is not a subset of the previously seen analyses.
void	TSTransitionFlowNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
void	TSStateSetFlowNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
void	TSStateFilterNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
void	TSDummyFlowNode.forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis) pass analysis on

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

Classes in de.unisaarland.cs.st.jerify.verifier.typestate that implement CFGAnalysis

class

MethodTypestateAnalysis The analysis data that is propagated in the control flow graph.

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

CFGAnalysis<MethodTypestateAnalysis>

MethodTypestateAnalysis.deepCopy() Return an isolated Analysis, where changes will not affect this

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

boolean	MethodTypestateAnalysis.isSubsetOf(CFGAnalysis<MethodTypestateAnalysis> analysis) Tests if this is a subset of analysis
MethodTypestateAnalysis	MethodTypestateAnalysis.merge(CFGAnalysis<MethodTypestateAnalysis> other) Incorporate the analysis (other) into this analysis.
MethodTypestateAnalysis	MethodTypestateAnalysis.replaceWith(CFGAnalysis<MethodTypestateAnalysis> other) Replace this analysis with the one passed (other).