edu.washington.cs.supple.wlib.java2
Class PopupVarSetWidget

java.lang.Object
  edu.washington.cs.supple.render.AbstractWidget
      edu.washington.cs.supple.render.SimpleWidget
          edu.washington.cs.supple.render.AbstractPopupWidget
              edu.washington.cs.supple.wlib.java2.PopupSwingWidget
                  edu.washington.cs.supple.wlib.java2.PopupVarSetWidget

All Implemented Interfaces:

java.lang.Cloneable, ContainerWidget, java.util.EventListener, PopupWidget, java.beans.PropertyChangeListener, SwingWidget, UnwrappedWidget, Widget

public class PopupVarSetWidget

extends PopupSwingWidget

Author:

kgajos

Field Summary

protected javax.swing.JLabel	indexLabel
protected javax.swing.JPanel	panel

Fields inherited from class edu.washington.cs.supple.wlib.java2.PopupSwingWidget

button, label, popupFrame, sizeCache

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

availableWidgets, bestWidget, widgetOverhead

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

PopupVarSetWidget(UiObject object)

Method Summary

WidgetProperties	getWidgetProperties() Returns the corresponding WidgetProperties
protected void	indexChanged(java.beans.PropertyChangeEvent evt) Subclasses should override this method if they want to update display the index of the underlying type changes
protected javax.swing.JButton	makeButton()
protected javax.swing.JLabel	makeLabel()
protected void	setPopupFrame()
java.lang.String	toString()

Methods inherited from class edu.washington.cs.supple.wlib.java2.PopupSwingWidget

ensurePopupFrame, getConcreteWidget, getSwingComponent, rendersObject

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

childIterator, disengage, engage, ensureBestWidget, getChildWidget, getCost, getEffortEstimate, hasChildren, makeVisible, satisfiesConstraints, setChildren

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

anotherPropertyChanged, clone, clone, dismissCurrentView, displayDynamic, equals, executeAction, generateWidgetDescriptor, getBag, getConcreteWidget, getParent, getPath, getSize, getSizeCache, getTextLabel, getType, getUiObject, getWidgetDescriptor, 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, getSize, getSizeCache, getTextLabel, getType, getUiObject, getWidgetDescriptor, hasChildren, isEngaged, isEquivalent, setBag, setCost, setEnabled, setParent, setSizeCache, setWrapper, unwrapWidget

Methods inherited from interface java.beans.PropertyChangeListener

propertyChange

Field Detail

indexLabel

protected javax.swing.JLabel indexLabel

panel

protected javax.swing.JPanel panel

Constructor Detail

PopupVarSetWidget

public PopupVarSetWidget(UiObject object)

Parameters:

object -

Method Detail

getWidgetProperties

public WidgetProperties getWidgetProperties()

Description copied from interface: Widget

Returns the corresponding WidgetProperties

Specified by:

getWidgetProperties in interface Widget

Overrides:

getWidgetProperties in class PopupSwingWidget

Returns:

properties associated with this widget

makeButton

protected javax.swing.JButton makeButton()

Specified by:

makeButton in class PopupSwingWidget

setPopupFrame

protected void setPopupFrame()

Specified by:

setPopupFrame in class PopupSwingWidget

makeLabel

protected javax.swing.JLabel makeLabel()

Overrides:

makeLabel in class PopupSwingWidget

toString

public java.lang.String toString()

Overrides:

toString in class AbstractWidget

indexChanged

protected void indexChanged(java.beans.PropertyChangeEvent evt)

Description copied from class: PopupSwingWidget

Subclasses should override this method if they want to update display the index of the underlying type changes

Overrides:

indexChanged in class PopupSwingWidget

Parameters:

evt - property change event with details