Package | Description |
---|---|
org.eclipse.incquery.runtime.base.api |
Modifier and Type | Method and Description |
---|---|
IBaseIndexResourceFilter |
BaseIndexOptions.getResourceFilterConfiguration() |
Modifier and Type | Method and Description |
---|---|
void |
BaseIndexOptions.setResourceFilter(IBaseIndexResourceFilter filter)
Deprecated.
Unsafe to use as setting it after the engine has been is undefined; use
BaseIndexOptions.withResourceFilterConfiguration(IBaseIndexResourceFilter) instead |
BaseIndexOptions |
BaseIndexOptions.withResourceFilterConfiguration(IBaseIndexResourceFilter filter)
Returns a copy of the configuration with a specified resource filter
|