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 Object
obj
- 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 Object
Object.hashCode()
public String toString()
toString
in class Object
Object.toString()
public String getResourceId()
public String getMIMEType()
Resource
getMIMEType
in interface Resource
Resource.getMIMEType()
Copyright © 2018 Vaadin Ltd. All rights reserved.