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

Packages that use RequireState

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

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

void	GuiClassTreeNode.addChild(GuiTreeNode child)
void	GuiPackageTreeNode.addChild(GuiTreeNode child)
boolean	GuiClassTreeNode.containsChild(GuiTreeNode child)
boolean	GuiPackageTreeNode.containsChild(GuiTreeNode child)
int	GuiClassTreeNode.countChildren()
int	GuiPackageTreeNode.countChildren()
GuiTreeNode	GuiClassTreeNode.getChild(int i)
GuiTreeNode	GuiPackageTreeNode.getChild(int i)
int	GuiClassTreeNode.indexOf(GuiTreeNode child)
int	GuiPackageTreeNode.indexOf(GuiTreeNode child)
void	GuiPackageTreeNode.merge(GuiTreeNode some)
void	GuiPackageTreeNode.mergeWithChild(GuiTreeNode equal)
void	GuiClassTreeNode.printAll(int level)
void	GuiPackageTreeNode.printAll(int level)
java.lang.String	GuiPackageTreeNode.toString()

Method parameters in de.unisaarland.cs.st.jerify.verifier.tools.gui with annotations of type RequireState

GuiPackageTreeNode	OverviewVisitor.visitClass(com.sun.source.tree.ClassTree node, GuiPackageTreeNode packageNode)
GuiPackageTreeNode	OverviewVisitor.visitCompilationUnit(com.sun.source.tree.CompilationUnitTree arg0, GuiPackageTreeNode arg1)

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

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type RequireState

void	MethodCFGData.analyze(checkers.types.AnnotatedTypeFactory factory) Run the analysis on the control flow graph
java.util.List<checkers.types.AnnotatedTypeMirror>	MethodCFGData.getArgumentTypes() Returns the annotated type of the arguments of this method

Method parameters in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type RequireState

void	ClassCFGData.addMethod(MethodCFGData method) Add a complete control flow graph for a method