    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class org.w3c.jigadm.editors.IndexFeeder

    java.lang.Object
       |
       +----org.w3c.jigadm.editors.IndexFeeder

public class IndexFeeder
extends Object
implements EditorFeeder

##

FILTER_P

##

IndexFeeder()

##

filter(String[], String[])
getDefaultItems()
getStringArray(RemoteResourceWrapper, Properties)
initialize(RemoteResourceWrapper, Properties)
match(String, String[])

##

FILTER_P

     public static final String FILTER_P

##

IndexFeeder

     public IndexFeeder()

##

getDefaultItems

     public String[] getDefaultItems()

match

     protected boolean match(String s,
                             String extensions[])

filter

     protected String[] filter(String children[],
                               String extensions[])

getStringArray

     protected String[] getStringArray(RemoteResourceWrapper rrw,
                                       Properties p)

initialize

     public void initialize(RemoteResourceWrapper rrw,
                            Properties p)

    All Packages  Class Hierarchy  This Package  Previous  Next  Index