Packages

de.ewand.typestate.jerify.verifier.base.typestatemodel	Provides classes which will form the Type-state specifications for the Verifier.
de.unisaarland.cs.st.jerify.verifier	Provides the high level constructs of the typestate checker.
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.dataflow
de.unisaarland.cs.st.jerify.verifier.helpers	Provides helper classes.
de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors	Provides helper classes for handling Annotation Values.
de.unisaarland.cs.st.jerify.verifier.quals	Provides for typestate Annotations which enable the user of this checker/analysis to annotate his/her code.
de.unisaarland.cs.st.jerify.verifier.tools.gui	Provides a Gui in an unusable state.
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.