Uses of Interface
jack.plugin.perspective.ICaseExplorer

Packages that use ICaseExplorer

jack.plugin.perspective
jack.plugin.prove
jpov
jpov.viewer.tree

Uses of ICaseExplorer in jack.plugin.perspective

Classes in jack.plugin.perspective that implement ICaseExplorer

class

CaseExplorer View containing the cases explorer.

Uses of ICaseExplorer in jack.plugin.prove

Constructors in jack.plugin.prove with parameters of type ICaseExplorer

ProofTask(ICaseExplorer c)

Uses of ICaseExplorer in jpov

Methods in jpov with parameters of type ICaseExplorer

IInteractiveProver

IInteractiveProver.factory(ICaseExplorer caseExp)

Uses of ICaseExplorer in jpov.viewer.tree

Constructors in jpov.viewer.tree with parameters of type ICaseExplorer

TreeContentProvider(ICaseExplorer explorer)

TreeFilterWindow(org.eclipse.swt.widgets.Shell parent, ICaseExplorer v)
Constructs the tree filter windows.

TreeItemSelection(ILemmaViewer ew, ISourceCaseViewer sv, ICaseExplorer ce)
Constructs a selection changed listener

TreeLabelProvider(ICaseExplorer ice)

TreeSorter(ICaseExplorer explorer)