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

Packages that use SetState

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 SetState in de.unisaarland.cs.st.jerify.verifier.tools.gui

Methods in de.unisaarland.cs.st.jerify.verifier.tools.gui with annotations of type SetState

void	GuiPackageTreeNode.testInit()

Constructors in de.unisaarland.cs.st.jerify.verifier.tools.gui with annotations of type SetState

GuiClassTreeNode(java.lang.String name)

GuiPackageTreeNode()

GuiPackageTreeNode(javax.lang.model.element.Name name)

GuiPackageTreeNode(java.lang.String name)

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

Constructors in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type SetState

MethodCFGData(javax.lang.model.element.Name name, TSFlowNode methodBegin, TSFlowNode methodEnd)
Save the methodBegin and End node, the control flow graph must already be constructed