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

java.lang.Object
  edu.washington.cs.supple.render.DeviceProperties
      edu.washington.cs.supple.wlib.java2.DesktopDeviceProperties
          edu.washington.cs.supple.wlib.java2.DesktopAlignedDeviceProperties

public class DesktopAlignedDeviceProperties

extends DesktopDeviceProperties

Author:

kgajos

Field Summary

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

recentCostFunction

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

DEFAULT_CLASS

Constructor Summary

DesktopAlignedDeviceProperties()

Method Summary

CostFunction	getCostFunction(Trace trace)
java.lang.String	getName()
WidgetFactory	getWidgetFactory()

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

getAvailableScreenSize, getConstraintFactory, getFactoredCostCalculator, getFactoredCostFunction, getRenderer, getVetoFunction

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

getDefaultDeviceProperties, initialize

Methods inherited from class java.lang.Object

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

Constructor Detail

DesktopAlignedDeviceProperties

public DesktopAlignedDeviceProperties()

Method Detail

getWidgetFactory

public WidgetFactory getWidgetFactory()

Overrides:

getWidgetFactory in class DesktopDeviceProperties

getCostFunction

public CostFunction getCostFunction(Trace trace)

Overrides:

getCostFunction in class DesktopDeviceProperties

getName

public java.lang.String getName()

Overrides:

getName in class DesktopDeviceProperties