| 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
|