de.unisaarland.cs.st.jerify.verifier.tools.gui
Class OverviewGui

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.tools.gui.OverviewGui

public class OverviewGui
extends java.lang.Object

Constructor Summary

OverviewGui()

Method Summary

static void	main(java.lang.String[] args)
static void	startGui(Checker checker, java.util.List<com.sun.source.tree.CompilationUnitTree> roots)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OverviewGui

public OverviewGui()

Method Detail

main

public static void main(java.lang.String[] args)

startGui

public static final void startGui(Checker checker,
                                  java.util.List<com.sun.source.tree.CompilationUnitTree> roots)