Uses of Class
de.unisaarland.cs.st.jerify.verifier.Checker

Packages that use Checker

de.unisaarland.cs.st.jerify.verifier	Provides the high level constructs of the typestate checker.
de.unisaarland.cs.st.jerify.verifier.tools.gui	Provides a Gui in an unusable state.

Uses of Checker in de.unisaarland.cs.st.jerify.verifier

Methods in de.unisaarland.cs.st.jerify.verifier with parameters of type Checker

static void

TSError.setChecker(Checker c)

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

Methods in de.unisaarland.cs.st.jerify.verifier.tools.gui with parameters of type Checker

static void

OverviewGui.startGui(Checker checker, java.util.List<com.sun.source.tree.CompilationUnitTree> roots)