org.w3c.jigadmin.editors
Class ResourceIndexFeeder

java.lang.Object
  org.w3c.jigadm.editors.IndexFeeder
      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