Uses of Package
de.unisaarland.cs.st.jerify.verifier.typestate

Packages that use de.unisaarland.cs.st.jerify.verifier.typestate

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
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.

Classes in de.unisaarland.cs.st.jerify.verifier.typestate used by de.unisaarland.cs.st.jerify.verifier.alias

MethodCFGWorkData
Used to store all information to create the flow data-structure while visiting each method.

Classes in de.unisaarland.cs.st.jerify.verifier.typestate used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes

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

Classes in de.unisaarland.cs.st.jerify.verifier.typestate used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

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

Classes in de.unisaarland.cs.st.jerify.verifier.typestate used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

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

StateChanges
Interface that is implemented by classes that encapsulate typestate changes

Classes in de.unisaarland.cs.st.jerify.verifier.typestate used by de.unisaarland.cs.st.jerify.verifier.typestate

ClassCFGData
Saves the control flow graphs for all methods and innerclasses of this class.

MethodCFGData
Contains the control flow graph for a method

MethodCFGThrowsWorkData
Encapsulates the information which exceptions are thrown, used for the construction of the control flow graph

MethodCFGWorkData
Used to store all information to create the flow data-structure while visiting each method.

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

State
The State class represents a State in the typestate analysis.

StateChanges
Interface that is implemented by classes that encapsulate typestate changes