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

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

All Implemented Interfaces:

IEngineViewFilterGroup

public class StatusFiltersGroup

extends java.lang.Object

implements IEngineViewFilterGroup

StatusFiltersGroup

Constructor Summary

StatusFiltersGroup()

Method Summary

boolean	appliesTo(IResult result) Applies to the result.
ToggleFilter[]	getFilters(EngineLookup lookup) Get the filters.
java.lang.String	getName() Get the name.

Methods inherited from class java.lang.Object

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

Constructor Detail

StatusFiltersGroup

public StatusFiltersGroup()

Method Detail

getName

public java.lang.String getName()

Description copied from interface: IEngineViewFilterGroup

Get the name.

Specified by:

getName in interface IEngineViewFilterGroup

Returns:

appliesTo

public boolean appliesTo(IResult result)

Description copied from interface: IEngineViewFilterGroup

Applies to the result.

Specified by:

appliesTo in interface IEngineViewFilterGroup

Parameters:

result -

Returns:

getFilters

public ToggleFilter[] getFilters(EngineLookup lookup)

Description copied from interface: IEngineViewFilterGroup

Get the filters.

Specified by:

getFilters in interface IEngineViewFilterGroup

Parameters:

lookup -

Returns: