Uses of Interface
ides.api.plugin.operation.Operation

Packages that use Operation

ides.api.plugin.operation

Uses of Operation in ides.api.plugin.operation

Subinterfaces of Operation in ides.api.plugin.operation

interface

FilterOperation Interface for DES operations which modify their arguments.

Fields in ides.api.plugin.operation with type parameters of type Operation

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

OperationManager.operations The registered operations.

Methods in ides.api.plugin.operation that return Operation

Operation

OperationManager.getOperation(java.lang.String name) Access a registered operation by name.

Methods in ides.api.plugin.operation with parameters of type Operation

void	OperationManager.register(Operation o) Register a DES operation with IDES.