edu.washington.cs.supple.render
Class DeviceProperties

java.lang.Object
  edu.washington.cs.supple.render.DeviceProperties

Direct Known Subclasses:

DesktopAwtDeviceProperties, DesktopDeviceProperties, HtmlDesktopDeviceProperties, WapDeviceProperties

public abstract class DeviceProperties

extends java.lang.Object

Abstract specification of a class that provides basic information about the device, for which we are producing the interface

Author:

kgajos

Field Summary

static java.lang.String

DEFAULT_CLASS

Constructor Summary

DeviceProperties()

Method Summary

abstract java.awt.Dimension	getAvailableScreenSize() Get the available screen size from the environment.
ConstraintFactory	getConstraintFactory()
abstract CostFunction	getCostFunction(Trace trace)
static DeviceProperties	getDefaultDeviceProperties() This static method uses the JAR Service API to locate a default provider for the DeviceProperties class.
FactoredCostCalculator	getFactoredCostCalculator()
FactoredCostFunction	getFactoredCostFunction(Trace trace) Returns a factored cost function for this device
abstract java.lang.String	getName()
abstract Renderer	getRenderer() Get a renderer for this device.
abstract VetoFunction	getVetoFunction(Trace trace) Returns a veto function for this device.
abstract WidgetFactory	getWidgetFactory()
void	initialize()

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_CLASS

public static final java.lang.String DEFAULT_CLASS

See Also:

Constant Field Values

Constructor Detail

DeviceProperties

public DeviceProperties()

Method Detail

initialize

public void initialize()

getName

public abstract java.lang.String getName()

Returns:

the name of the device

getCostFunction

public abstract CostFunction getCostFunction(Trace trace)

Returns:

getFactoredCostFunction

public FactoredCostFunction getFactoredCostFunction(Trace trace)

Returns a factored cost function for this device

Parameters:

trace - current trace

Returns:

a factored cost function

getFactoredCostCalculator

public FactoredCostCalculator getFactoredCostCalculator()

getVetoFunction

public abstract VetoFunction getVetoFunction(Trace trace)

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

getWidgetFactory

public abstract WidgetFactory getWidgetFactory()

Returns:

the device's widget factory.

getConstraintFactory

public ConstraintFactory getConstraintFactory()

getAvailableScreenSize

public abstract java.awt.Dimension getAvailableScreenSize()

Get the available screen size from the environment.

Returns:

getRenderer

public abstract Renderer getRenderer()

Get a renderer for this device.

Returns:

getDefaultDeviceProperties

public static final DeviceProperties getDefaultDeviceProperties()

This static method uses the JAR Service API to locate a default provider for the DeviceProperties class. If there is more than one provider, the first one found will be used.

Returns: