com.google.gwt.useragent.rebind

Class UserAgentPropertyGenerator

java.lang.Object

com.google.gwt.useragent.rebind.UserAgentPropertyGenerator

All Implemented Interfaces:

com.google.gwt.core.ext.linker.PropertyProviderGenerator

public class UserAgentPropertyGenerator
extends Object
implements com.google.gwt.core.ext.linker.PropertyProviderGenerator

Generator which writes out the JavaScript for determining the value of the user.agent selection property.

Constructor Summary

Constructors

Constructor and Description
UserAgentPropertyGenerator()

Method Summary

Modifier and Type	Method and Description
String	generate(com.google.gwt.core.ext.TreeLogger logger, SortedSet<String> possibleValues, String fallback, SortedSet<com.google.gwt.core.ext.linker.ConfigurationProperty> configProperties)

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

UserAgentPropertyGenerator

public UserAgentPropertyGenerator()

Method Detail

generate

public String generate(com.google.gwt.core.ext.TreeLogger logger,
                       SortedSet<String> possibleValues,
                       String fallback,
                       SortedSet<com.google.gwt.core.ext.linker.ConfigurationProperty> configProperties)

Specified by:

generate in interface com.google.gwt.core.ext.linker.PropertyProviderGenerator