PropertiesPageletAdaptor

public class PropertiesPageletAdaptor extends AdminPageletAdaptor

PropertiesPageletAdaptor is an admin pagelet adaptor which provides an admin function of the JVM properties. Subclasses can override the getProperties() method and return a compatible properties object for sharing the same admin function.

Author:Hugo Y. K. Lam

Methods

getCenterSource

protected Source getCenterSource(HttpServletRequest request)

Generates the transformation source of the properties.

See also: hk.hku.cecid.piazza.corvus.admin.listener.AdminPageletAdaptor.getCenterSource(javax.servlet.http.HttpServletRequest)

getProperties

protected PropertySheet getProperties()

Gets the properties that this adaptor administrates.

Returns:the JVM properties.

getPropertiesForDisplayAndUpdate

protected PropertyTree getPropertiesForDisplayAndUpdate(HttpServletRequest request, PropertyTree dom)