All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class w3c.jigsaw.indexer.ExtensionsEditor 

java.lang.Object
   |
   +----w3c.tools.store.AttributeHolder
           |
           +----w3c.tools.store.Resource
                   |
                   +----w3c.jigsaw.resources.HTTPResource
                           |
                           +----w3c.jigsaw.resources.FilteredResource
                                   |
                                   +----w3c.jigsaw.resources.FileResource
                                           |
                                           +----w3c.jigsaw.forms.PostableResource
                                                   |
                                                   +----w3c.jigsaw.forms.FormResource
                                                           |
                                                           +----w3c.jigsaw.indexer.ExtensionsEditor
public class ExtensionsEditor
extends FormResource
implements ResourceLocker

Constructor Index

o ExtensionsEditor()

Method Index

o defineFormCards()
Define the form cards.
o initialize(Object[])
Initialize the extension editor.
o lookup(LookupState, LookupResult)
Lookup in the extensions editor for a defined extension.
o notifyResourceLockBreak(Resource)
Resource locker implementation - Our lock is being breaked.

Constructors

o ExtensionsEditor 
 public ExtensionsEditor()

Methods

o defineFormCards 
 protected void defineFormCards()
Define the form cards. The extensions editor provides one form card for editing the list of known extensions, and another one for adding new extensions.

o notifyResourceLockBreak 
 public synchronized void notifyResourceLockBreak(Resource resource)
Resource locker implementation - Our lock is being breaked.

Parameters:
resource - The resource going down.
o lookup 
 public synchronized boolean lookup(LookupState ls,
                                    LookupResult lr) throws HTTPException
Lookup in the extensions editor for a defined extension.

Parameters:
state - The current lookup state object.
Returns:
A Resource to edit the extension or null.
Overrides:
lookup in class FormResource
o initialize 
 public void initialize(Object values[])
Initialize the extension editor.

Overrides:
initialize in class FormResource 
All Packages  Class Hierarchy  This Package  Previous  Next  Index