ides.api.plugin.operation
Class OperationManager

java.lang.Object
  ides.api.plugin.operation.OperationManager

public class OperationManager
extends java.lang.Object

The manager of DES operations available in IDES.

Author:

Lenko Grigorov

Field Summary

protected java.util.TreeMap<java.lang.String,Operation>

operations The registered operations.

Method Summary

java.lang.Object	clone()
FilterOperation	getFilterOperation(java.lang.String name) Access a registered filter operation by name.
Operation	getOperation(java.lang.String name) Access a registered operation by name.
java.util.List<java.lang.String>	getOperationNames() Get the names of all registered operations.
static OperationManager	instance() Provides access to the instance of the manager.
void	register(Operation o) Register a DES operation with IDES.

Methods inherited from class java.lang.Object

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

Field Detail

operations

protected java.util.TreeMap<java.lang.String,Operation> operations

The registered operations.

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

instance

public static OperationManager instance()

Provides access to the instance of the manager.

Returns:

the operations manager

getOperationNames

public java.util.List<java.lang.String> getOperationNames()

Get the names of all registered operations.

Returns:

the list of all registered operations

register

public void register(Operation o)

Register a DES operation with IDES.

Parameters:

o - the operation to register

getOperation

public Operation getOperation(java.lang.String name)

Access a registered operation by name.

Parameters:

name - the name of the operation

Returns:

the operation if an operation with the given name exists; null otherwise

getFilterOperation

public FilterOperation getFilterOperation(java.lang.String name)

Access a registered filter operation by name.

Parameters:

name - the name of the operation

Returns:

the operation if a filter operation with the given name exists; null otherwise

See Also:

FilterOperation