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

Provides classes to create, handle and runtime-store the typestate analysis.

See:
Description

Interface Summary

StateChanges

Interface that is implemented by classes that encapsulate typestate changes

Class Summary

ClassCFG	Creates the typestate check data structure ClassCFGData for a class and its subclasses, it does so by creating a control flow graph data structure for each method MethodCFGData.
ClassCFGData	Saves the control flow graphs for all methods and innerclasses of this class.
CompilationUnitCFG	Visitor for compilation units, it will visit all classes and run the analysis on them.
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.
MethodTypestateInformation	Contains the information that is generated while analysing the methods not used+generated yet
State	The State class represents a State in the typestate analysis.
StateChangeTransition	Encapsulates the typestate transitions (e.g. open->close)

Package de.unisaarland.cs.st.jerify.verifier.typestate Description

Provides classes to create, handle and runtime-store the typestate analysis.

Package Specification

none

Related Documentation

none