edu.washington.cs.supple.wlib.html
Class HorizontalHtmlRadioButtonWidget

java.lang.Object
  edu.washington.cs.supple.render.AbstractWidget
      edu.washington.cs.supple.render.SimpleWidget
          edu.washington.cs.supple.wlib.html.SimpleHtmlWidget
              edu.washington.cs.supple.wlib.html.AbstractHtmlRadioButtonWidget
                  edu.washington.cs.supple.wlib.html.HorizontalHtmlRadioButtonWidget

All Implemented Interfaces:

java.lang.Cloneable, java.util.EventListener, HtmlWidget, java.beans.PropertyChangeListener, UnwrappedWidget, Widget

public class HorizontalHtmlRadioButtonWidget

extends AbstractHtmlRadioButtonWidget

Author:

kierah

Field Summary

protected static int

MARGIN the pixel size of the margin around the widget

Fields inherited from class edu.washington.cs.supple.render.AbstractWidget

bag, cost, engaged, object, parent, stateVar, textLabel, type, widgetDescriptor, wrapper

Fields inherited from interface edu.washington.cs.supple.render.Widget

MAX_HINT, NO_BORDER, NO_NAME, TOP_LEVEL_WIDGET

Constructor Summary

HorizontalHtmlRadioButtonWidget(UiObject object)

Method Summary

java.lang.String	getHtmlComponent(int hints) Produces HTML code for that instance of the widget
protected java.awt.Dimension	size(int hints) Yields the size of the widget.
java.lang.String	toString()

Methods inherited from class edu.washington.cs.supple.wlib.html.AbstractHtmlRadioButtonWidget

rendersObject, setParameterValue

Methods inherited from class edu.washington.cs.supple.wlib.html.SimpleHtmlWidget

doAction, getConcreteWidget, getHtmlId, getSize

Methods inherited from class edu.washington.cs.supple.render.SimpleWidget

childIterator, getEffortEstimate, hasChildren

Methods inherited from class edu.washington.cs.supple.render.AbstractWidget

anotherPropertyChanged, clone, clone, disengage, dismissCurrentView, displayDynamic, engage, equals, executeAction, generateWidgetDescriptor, getBag, getConcreteWidget, getCost, getParent, getPath, getSizeCache, getTextLabel, getType, getUiObject, getWidgetDescriptor, getWidgetProperties, indexChanged, isEngaged, isEquivalent, legalValuesChanged, likelyValuesChanged, propertyChange, reportActionExecutionEvent, reportValueChangedEvent, setBag, setCost, setEnabled, setParent, setSizeCache, setValue, setWrapper, unwrapWidget, valueChanged

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.washington.cs.supple.render.Widget

childIterator, clone, clone, disengage, engage, getBag, getConcreteWidget, getCost, getEffortEstimate, getPath, getSizeCache, getTextLabel, getType, getUiObject, getWidgetDescriptor, getWidgetProperties, hasChildren, isEngaged, isEquivalent, setBag, setCost, setEnabled, setParent, setSizeCache, setWrapper, unwrapWidget

Field Detail

MARGIN

protected static final int MARGIN

the pixel size of the margin around the widget

See Also:

Constant Field Values

Constructor Detail

HorizontalHtmlRadioButtonWidget

public HorizontalHtmlRadioButtonWidget(UiObject object)

Parameters:

object -

Method Detail

getHtmlComponent

public java.lang.String getHtmlComponent(int hints)

Description copied from interface: HtmlWidget

Produces HTML code for that instance of the widget

Parameters:

hints - rendering hints

Returns:

the HTML code

size

protected java.awt.Dimension size(int hints)

Description copied from class: SimpleHtmlWidget

Yields the size of the widget. Contract stipulates that the size be recomputed, and not taken from the size cache.

Specified by:

size in class SimpleHtmlWidget

Parameters:

hints -

Returns:

freshly computed size of the widget

toString

public java.lang.String toString()

Overrides:

toString in class AbstractHtmlRadioButtonWidget