org.w3c.jigadmin.editors
Class ResourceIndexFeeder

java.lang.Object
  extended by org.w3c.jigadm.editors.IndexFeeder
      extended by org.w3c.jigadmin.editors.ResourceIndexFeeder
All Implemented Interfaces:
EditorFeeder

public class ResourceIndexFeeder
extends IndexFeeder


Field Summary
 
Fields inherited from class org.w3c.jigadm.editors.IndexFeeder
FILTER_P, FORBID_RULE
 
Constructor Summary
ResourceIndexFeeder()
           
 
Method Summary
protected  RemoteResource getResource(RemoteResourceWrapper rrw, java.util.Properties p)
           
 
Methods inherited from class org.w3c.jigadm.editors.IndexFeeder
filter, getDefaultItems, getStringArray, initialize, match
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ResourceIndexFeeder

public ResourceIndexFeeder()
Method Detail

getResource

protected RemoteResource getResource(RemoteResourceWrapper rrw,
                                     java.util.Properties p)
Overrides:
getResource in class IndexFeeder