Class w3c.jigsaw.config.FormPropertiesEditor
All Packages Class Hierarchy This Package Previous Next Index
Class w3c.jigsaw.config.FormPropertiesEditor
java.lang.Object
|
+----w3c.jigsaw.resources.AttributeHolder
|
+----w3c.jigsaw.resources.Resource
|
+----w3c.jigsaw.resources.HTTPResource
|
+----w3c.jigsaw.resources.ContainerResource
|
+----w3c.jigsaw.resources.FilteredResource
|
+----w3c.jigsaw.resources.FileResource
|
+----w3c.jigsaw.forms.PostableResource
|
+----w3c.jigsaw.forms.FormResource
|
+----w3c.jigsaw.config.FormPropertiesEditor
- public class FormPropertiesEditor
- extends FormResource
Form based editor for the server properties.
This is likely to change in future versions of Jigsaw: right now the
set of editable properties is hard-coded, there should be a way of
registering new property sets, but it is not that easy since you may want
to edit properties before the resources that uses them are loaded.
I will stay with this simple model until I found something more suitable.
Next versions will probably uses resources instead of properties.
-
ATTR_HELPURL
- Attribute index - The property help page.
-
handler
- Our form card handler (shared among all cards).
-
needs_restart
- Does the server needs restart.
-
needs_save
- Does the properties needs savings.
-
FormPropertiesEditor()
-
-
changeProperty(String, Object)
- Change the value of a property.
-
defineCards()
- Define the form card to edit server properties.
-
defineClientCard()
- Define the client properties card.
-
defineGeneralCard()
- The general card handles the general settings of the server.
-
defineLoggingCard()
- The logging card.
-
defineShufflerCard()
- The shuffler properties.
-
dumpHeader(HtmlGenerator)
- Dump the form header:
-
get(Request)
- We overide GET to handle the additional commands.
-
getHelpURL()
- Get the help URL for the given property.
-
getHelpURL(String)
-
-
initialize(Object[])
- Initialize the form based properties editor.
-
needsRestart()
- Does the server needs a restart due to some property changes.
-
needsSave()
- Does the properties need to be saved.
-
runCommand(Request, String)
- Run the given command.
-
saveProperties(Request)
- Save edited our properties.
ATTR_HELPURL
protected static int ATTR_HELPURL
- Attribute index - The property help page.
handler
protected PropertiesHandler handler
- Our form card handler (shared among all cards).
needs_restart
protected boolean needs_restart
- Does the server needs restart.
needs_save
protected boolean needs_save
- Does the properties needs savings.
FormPropertiesEditor
public FormPropertiesEditor()
getHelpURL
public String getHelpURL()
- Get the help URL for the given property.
- Returns:
- A help URL, or null.
getHelpURL
public String getHelpURL(String prop)
needsRestart
public boolean needsRestart()
- Does the server needs a restart due to some property changes.
needsSave
public boolean needsSave()
- Does the properties need to be saved.
changeProperty
public void changeProperty(String name,
Object value) throws FormFieldException
- Change the value of a property.
The callback for the form card handler.
- Parameters:
- name - The name of the property.
- value - Its new value.
saveProperties
protected Reply saveProperties(Request request) throws HTTPException
- Save edited our properties.
- Parameters:
- request - The request that triggered the save.
- Throws: HTTPException
- If saving the properties failed.
runCommand
public Reply runCommand(Request request,
String command) throws HTTPException
- Run the given command.
- Parameters:
- request - The request to be processed.
- command - The command to run.
- Throws: HTTPException
- If processing the command failed.
dumpHeader
public void dumpHeader(HtmlGenerator into)
- Dump the form header:
- Overrides:
- dumpHeader in class FormResource
get
public Reply get(Request request) throws HTTPException
- We overide GET to handle the additional commands.
- Parameters:
- request - The request to handle.
- HTTPException - If the command isn't understood, or if it fails.
- Overrides:
- get in class FormResource
defineGeneralCard
protected void defineGeneralCard()
- The general card handles the general settings of the server.
defineClientCard
protected void defineClientCard()
- Define the client properties card.
defineLoggingCard
protected void defineLoggingCard()
- The logging card.
defineShufflerCard
protected void defineShufflerCard()
- The shuffler properties.
defineCards
protected void defineCards()
- Define the form card to edit server properties.
initialize
public void initialize(Object values[])
- Initialize the form based properties editor.
- Overrides:
- initialize in class FormResource
All Packages Class Hierarchy This Package Previous Next Index