public class ThemeResource extends Object implements Resource
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.| Constructor and Description |
|---|
ThemeResource(String resourceId)
Creates a resource.
|
| Modifier and Type | Method and Description |
|---|---|
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() |
public ThemeResource(String resourceId)
resourceId - the Id of the resource.public boolean equals(Object obj)
equals in class Objectobj - the object to be tested for equality.true if the given object equals this Icon,
false if not.Object.equals(Object)public int hashCode()
hashCode in class ObjectObject.hashCode()public String toString()
toString in class ObjectObject.toString()public String getResourceId()
public String getMIMEType()
ResourcegetMIMEType in interface ResourceResource.getMIMEType()Copyright © 2020 Vaadin Ltd. All rights reserved.