Uses of Package
ides.api.plugin.operation

Packages that use ides.api.plugin.operation

ides.api.plugin.operation

Classes in ides.api.plugin.operation used by ides.api.plugin.operation

FilterOperation
Interface for DES operations which modify their arguments.

Operation
Interface for DES operations.

OperationManager
The manager of DES operations available in IDES.