public interface  org.apache.wiki.search.SearchProvider extends java.lang.Object implements org.apache.wiki.api.providers.WikiProvider
{
public abstract void pageRemoved(org.apache.wiki.api.core.Page);
public abstract void reindexPage(org.apache.wiki.api.core.Page);
public abstract java.util.Collection findPages(java.lang.String, org.apache.wiki.api.core.Context) throws org.apache.wiki.api.exceptions.ProviderException, java.io.IOException;
public void initialize(org.apache.wiki.api.core.Engine, java.util.Properties)
{
java.util.Properties v;
org.apache.wiki.api.core.Engine v;
java.lang.Error v;
org.apache.wiki.search.SearchProvider v;
v := @this: org.apache.wiki.search.SearchProvider;
v := @parameter: org.apache.wiki.api.core.Engine;
v := @parameter: java.util.Properties;
v = new java.lang.Error;
specialinvoke v.<java.lang.Error: void <init>(java.lang.String)>("Unresolved compilation error: Method <org.apache.wiki.search.SearchProvider: void initialize(org.apache.wiki.api.core.Engine,java.util.Properties)> does not exist!");
throw v;
}
}