|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.vaadin.server.ThemeResource
public class ThemeResource
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 Summary | |
---|---|
ThemeResource(java.lang.String resourceId)
Creates a resource. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
Tests if the given object equals this Resource. |
java.lang.String |
getMIMEType()
Gets the MIME type of the resource. |
java.lang.String |
getResourceId()
Gets the resource id. |
int |
hashCode()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ThemeResource(java.lang.String resourceId)
resourceId
- the Id of the resource.Method Detail |
---|
public boolean equals(java.lang.Object obj)
equals
in class java.lang.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 java.lang.Object
Object.hashCode()
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String getResourceId()
public java.lang.String getMIMEType()
Resource
getMIMEType
in interface Resource
Resource.getMIMEType()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |