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

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

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.

Classes in de.unisaarland.cs.st.jerify.verifier.quals used by de.unisaarland.cs.st.jerify.verifier.tools.gui

ChangeState
Annotate methods with this to signaling a change of the typestate of the receiver.

RequireState
Require that the typestate is in one of the states that is mention in isIn.

SetState
Set the typestate to the state mentioned in to.

TypestateChecked
Classes that are annotated with this annotation are forced to be typestate checked

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

RequireState
Require that the typestate is in one of the states that is mention in isIn.

ReturnValue
Asserts that the return Value of the method is in one of the state specified by isIn.

SetState
Set the typestate to the state mentioned in to.

TS
Encapsulates several ChangeState Annotations, because multiple annotations are not allowed.

TypestateChecked
Classes that are annotated with this annotation are forced to be typestate checked