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

Packages that use FilterOperation
ides.api.plugin.operation   
 

Uses of FilterOperation in ides.api.plugin.operation
 

Methods in ides.api.plugin.operation that return FilterOperation
 FilterOperation OperationManager.getFilterOperation(java.lang.String name)
          Access a registered filter operation by name.