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