org.eclipse.tptp.platform.analysis.engine.ui.engineview
Class ByCategoryContentProvider

java.lang.Object
  org.eclipse.tptp.platform.analysis.engine.ui.engineview.AbstractContentProvider
      org.eclipse.tptp.platform.analysis.engine.ui.engineview.ByCategoryContentProvider

All Implemented Interfaces:

org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider, org.eclipse.jface.viewers.ITreeContentProvider

public class ByCategoryContentProvider

extends AbstractContentProvider

ByCategoryContentProvider

Constructor Summary

ByCategoryContentProvider(IEngine engine, IResultSet results)
Constructor.

Method Summary

protected java.lang.Object	getKey(IResult result)
protected boolean	isKey(java.lang.Object o)

Methods inherited from class org.eclipse.tptp.platform.analysis.engine.ui.engineview.AbstractContentProvider

dispose, getChildren, getElements, getParent, hasChildren, inputChanged

Methods inherited from class java.lang.Object

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

Constructor Detail

ByCategoryContentProvider

public ByCategoryContentProvider(IEngine engine,
                                 IResultSet results)

Constructor.

Parameters:

engine -

results -

Method Detail

getKey

protected java.lang.Object getKey(IResult result)

Specified by:

getKey in class AbstractContentProvider

isKey

protected boolean isKey(java.lang.Object o)

Specified by:

isKey in class AbstractContentProvider