org.xwiki.gwt.useragent.rebind

Class UserAgentPropertyGenerator

java.lang.Object

com.google.gwt.useragent.rebind.UserAgentPropertyGenerator

org.xwiki.gwt.useragent.rebind.UserAgentPropertyGenerator

All Implemented Interfaces:

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

public class UserAgentPropertyGenerator
extends com.google.gwt.useragent.rebind.UserAgentPropertyGenerator

Extends the default UserAgentPropertyGenerator to add support for IE11. This is only a temporary hack before GWT adds support for IE11.

Version:

$Id: 385ceaa1441a1bc1574cdc1395f17ff070281b56 $

Constructor Summary

Constructors

Constructor and Description
UserAgentPropertyGenerator()

Method Summary

Methods

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

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

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

Overrides:

generate in class com.google.gwt.useragent.rebind.UserAgentPropertyGenerator