Hierarchy For Package jack.plugin.prove

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class org.eclipse.jface.action.Action (implements org.eclipse.jface.action.IAction)
    • class jack.plugin.prove.ProveAction (implements org.eclipse.ui.IObjectActionDelegate, java.lang.Runnable)
  • class jack.plugin.prove.ProofClickListener (implements org.eclipse.jface.viewers.IDoubleClickListener)
  • class jack.plugin.prove.ProofContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class java.lang.Thread (implements java.lang.Runnable)
    • class jack.plugin.prove.ProofTask
  • class org.eclipse.ui.part.WorkbenchPart (implements org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IWorkbenchPart2)
    • class org.eclipse.ui.part.ViewPart (implements org.eclipse.ui.IViewPart)
      • class jack.plugin.prove.ProofView