/**
* Enable this index.
*
* @param enabled
*/
public void setEnabled(boolean enabled) {
IndexManagerConfiguration config = getConfig();
config.setEnabled(enabled);
configSupplier.addExtension(config);
}
/**
* Removes schedule entry in index manager configuration. If table still exists, default
* scheduling behaviour applies.
*/
public void remove(ValueTable vt) {
// change the config and persist using the config supplier
IndexManagerConfiguration config = getConfig();
config.removeSchedule(vt);
configSupplier.addExtension(config);
}
/** Update schedule entry in index manager configuration. */
public void update(ValueTable vt, Schedule schedule) {
// change the config and persist using the config supplier
IndexManagerConfiguration config = getConfig();
config.updateSchedule(vt, schedule);
configSupplier.addExtension(config);
}
