    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

##

ExtensionsEditor()

##

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

##

ExtensionsEditor

     public ExtensionsEditor()

##

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.

notifyResourceLockBreak

     public synchronized void notifyResourceLockBreak(Resource resource)

  Resource locker implementation - Our lock is being breaked.

  Parameters:
    resource - The resource going down.

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

initialize

     public void initialize(Object values[])

  Initialize the extension editor.

  Overrides:
    initialize in class FormResource

    All Packages  Class Hierarchy  This Package  Previous  Next  Index