TPTP 4.2.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine
Class EngineUtils

java.lang.Object
  extended byorg.eclipse.tptp.platform.analysis.engine.EngineUtils

public final class EngineUtils
extends java.lang.Object

EngineUtils


Method Summary
static int countData(IEngine engine, AbstractFilter filter)
          Count datas.
static IAlgorithm findAlgorithm(IEngine engine, java.lang.String nameData)
          Find an algorithm in the engine.
static ICategory findCategory(IEngine engine, java.lang.String name)
          Find a category.
static IData findData(IEngine engine, java.lang.String name)
          Find a data in the engine.
static IEngine findEngine(IEngine[] engines, java.lang.String name)
          Find an engine by name.
static java.lang.Object[] getCategoryObjects(IEngine engine, AbstractFilter filter)
          Get the objects in categories.
static org.eclipse.core.resources.IFile getFile(IMatchLink link)
          Get the file by match link.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

findData

public static final IData findData(IEngine engine,
                                   java.lang.String name)
Find a data in the engine.

Parameters:
engine -
name -
Returns:

findAlgorithm

public static final IAlgorithm findAlgorithm(IEngine engine,
                                             java.lang.String nameData)
Find an algorithm in the engine.

Parameters:
engine -
nameData -
Returns:

findCategory

public static final ICategory findCategory(IEngine engine,
                                           java.lang.String name)
Find a category.

Parameters:
engine -
name -
Returns:

findEngine

public static final IEngine findEngine(IEngine[] engines,
                                       java.lang.String name)
Find an engine by name.

Parameters:
engines -
name -
Returns:

countData

public static int countData(IEngine engine,
                            AbstractFilter filter)
Count datas.

Parameters:
engine -
filter -
Returns:

getFile

public static org.eclipse.core.resources.IFile getFile(IMatchLink link)
Get the file by match link.

Parameters:
link -
Returns:

getCategoryObjects

public static java.lang.Object[] getCategoryObjects(IEngine engine,
                                                    AbstractFilter filter)
Get the objects in categories.

Parameters:
engine -
filter -
Returns:

TPTP 4.2.0 Platform Project
Public API Specification