Uses of Class
jpov.viewer.tree.TreeItemSelection

Packages that use TreeItemSelection

jack.plugin.perspective
jack.plugin.prove

Uses of TreeItemSelection in jack.plugin.perspective

Methods in jack.plugin.perspective that return TreeItemSelection

TreeItemSelection

CaseExplorer.getEhl()

Uses of TreeItemSelection in jack.plugin.prove

Methods in jack.plugin.prove with parameters of type TreeItemSelection

void	ProofTask.setEndOp(TreeItemSelection ehl)