edu.washington.cs.supple.wlib.awt
Class DesktopAwtDeviceProperties

java.lang.Object
  edu.washington.cs.supple.render.DeviceProperties
      edu.washington.cs.supple.wlib.awt.DesktopAwtDeviceProperties

public class DesktopAwtDeviceProperties

extends DeviceProperties

Author:

kgajos

Field Summary

protected DesktopCostFunction

recentCostFunction

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

DEFAULT_CLASS

Constructor Summary

DesktopAwtDeviceProperties()

Method Summary

java.awt.Dimension	getAvailableScreenSize() Get the available screen size from the environment.
CostFunction	getCostFunction(Trace trace)
java.lang.String	getName()
Renderer	getRenderer() Get a renderer for this device.
VetoFunction	getVetoFunction(Trace trace) Returns a veto function for this device.
WidgetFactory	getWidgetFactory()

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

getConstraintFactory, getDefaultDeviceProperties, getFactoredCostCalculator, getFactoredCostFunction, initialize

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

recentCostFunction

protected DesktopCostFunction recentCostFunction

Constructor Detail

DesktopAwtDeviceProperties

public DesktopAwtDeviceProperties()

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class DeviceProperties

Returns:

the name of the device

getCostFunction

public CostFunction getCostFunction(Trace trace)

Specified by:

getCostFunction in class DeviceProperties

Returns:

getVetoFunction

public VetoFunction getVetoFunction(Trace trace)

Description copied from class: DeviceProperties

Returns a veto function for this device. The Veto function can mark some widgets as unacceptable before they are run through the cost function.

Specified by:

getVetoFunction in class DeviceProperties

getWidgetFactory

public WidgetFactory getWidgetFactory()

Specified by:

getWidgetFactory in class DeviceProperties

Returns:

the device's widget factory.

getRenderer

public Renderer getRenderer()

Description copied from class: DeviceProperties

Get a renderer for this device.

Specified by:

getRenderer in class DeviceProperties

Returns:

getAvailableScreenSize

public java.awt.Dimension getAvailableScreenSize()

Description copied from class: DeviceProperties

Get the available screen size from the environment.

Specified by:

getAvailableScreenSize in class DeviceProperties

Returns: