We use cookies to serve our customers and website visitors in the best possible way. Cookies are used for the proper functioning of the website and for improving the user experience, monitoring visitor traffic and marketing purposes. By continuing to browse the site, you agree to our use of cookies. You can read more about cookies here.
com.vaadin.terminal.
Class ThemeResource
java.lang.Object
com.vaadin.terminal.ThemeResource
All Implemented Interfaces:
ThemeResource
is a named theme dependant resource provided and
managed by a theme. The actual resource contents are dynamically resolved to
comply with the used theme by the terminal adapter. This is commonly used to
provide static images, flash, java-applets, etc for the terminals.
Since:
3.0
Version:
6.8.18
Author:
Vaadin Ltd.
See Also:
Constructor Summary | |
---|---|
ThemeResource(String resourceId)
Creates a resource. |
Method Summary | |
---|---|
boolean |
equals(Object obj)
Tests if the given object equals this Resource. |
String |
getMIMEType()
Gets the MIME type of the resource. |
String |
getResourceId()
Gets the resource id. |
int |
hashCode()
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
ThemeResource
public ThemeResource(String resourceId)
- Parameters:
resourceId
- the Id of the resource.
Creates a resource.
Method Detail |
---|
equals
public boolean equals(Object obj)
- Parameters:
obj
- the object to be tested for equality.- Returns:
true
if the given object equals this Icon,false
if not.- See Also:
Object.equals(Object)
Tests if the given object equals this Resource.
hashCode
public int hashCode()
- See Also:
Object.hashCode()
toString
public String toString()
- See Also:
Object.toString()
getResourceId
public String getResourceId()
- Returns:
- the resource id.
Gets the resource id.
getMIMEType
public String getMIMEType()
- Specified by:
getMIMEType
in interfaceResource
- Returns:
- the MIME type of the resource.
- See Also:
Resource.getMIMEType()
Description copied from interface: Resource
Gets the MIME type of the resource.