Uses of Class
de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Packages that use MethodTypestateAnalysis

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 MethodTypestateAnalysis in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes

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

MethodTypestateAnalysis	CFGAnalysis.merge(CFGAnalysis<AnalysisData> other)
MethodTypestateAnalysis	CFGAnalysis.replaceWith(CFGAnalysis<AnalysisData> other)

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

Method parameters in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias with type arguments of type MethodTypestateAnalysis

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

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

Method parameters in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate with type arguments of type MethodTypestateAnalysis

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 MethodTypestateAnalysis in de.unisaarland.cs.st.jerify.verifier.typestate

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

MethodTypestateAnalysis	MethodTypestateAnalysis.getAnalysisData() return the 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).

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return types with arguments of type MethodTypestateAnalysis

CFGAnalysis<MethodTypestateAnalysis>

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

Method parameters in de.unisaarland.cs.st.jerify.verifier.typestate with type arguments of type MethodTypestateAnalysis

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).

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

MethodTypestateAnalysis(checkers.types.AnnotatedTypeFactory factory, MethodTypestateAnalysis copyFrom)
Create an Analysis which copies its content form the passed Analysis