Uses of Class
de.unisaarland.cs.st.jerify.verifier.quals.TypestateChecked

Packages that use TypestateChecked

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.

Uses of TypestateChecked in de.unisaarland.cs.st.jerify.verifier.tools.gui

Classes in de.unisaarland.cs.st.jerify.verifier.tools.gui with annotations of type TypestateChecked

class

GuiPackageTreeNode Typestate: addChild(

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

Classes in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type TypestateChecked

class

MethodCFGData Contains the control flow graph for a method