1 files changed, 106 insertions, 0 deletions
diff --git a/server/src/com/vaadin/terminal/ThemeResource.java b/server/src/com/vaadin/terminal/ThemeResource.java
new file mode 100644
index 0000000000..61fe157ee6
--- /dev/null
+++ b/server/src/com/vaadin/terminal/ThemeResource.java
@@ -0,0 +1,106 @@
+/* 
+ * Copyright 2011 Vaadin Ltd.
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ * 
+ * http://www.apache.org/licenses/LICENSE-2.0
+ * 
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ */
+
+package com.vaadin.terminal;
+
+import com.vaadin.service.FileTypeResolver;
+
+/**
+ * <code>ThemeResource</code> 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.
+ * 
+ * @author Vaadin Ltd.
+ * @since 3.0
+ */
+@SuppressWarnings("serial")
+public class ThemeResource implements Resource {
+
+    /**
+     * Id of the terminal managed resource.
+     */
+    private String resourceID = null;
+
+    /**
+     * Creates a resource.
+     * 
+     * @param resourceId
+     *            the Id of the resource.
+     */
+    public ThemeResource(String resourceId) {
+        if (resourceId == null) {
+            throw new NullPointerException("Resource ID must not be null");
+        }
+        if (resourceId.length() == 0) {
+            throw new IllegalArgumentException("Resource ID can not be empty");
+        }
+        if (resourceId.charAt(0) == '/') {
+            throw new IllegalArgumentException(
+                    "Resource ID must be relative (can not begin with /)");
+        }
+
+        resourceID = resourceId;
+    }
+
+    /**
+     * Tests if the given object equals this Resource.
+     * 
+     * @param obj
+     *            the object to be tested for equality.
+     * @return <code>true</code> if the given object equals this Icon,
+     *         <code>false</code> if not.
+     * @see java.lang.Object#equals(Object)
+     */
+    @Override
+    public boolean equals(Object obj) {
+        return obj instanceof ThemeResource
+                && resourceID.equals(((ThemeResource) obj).resourceID);
+    }
+
+    /**
+     * @see java.lang.Object#hashCode()
+     */
+    @Override
+    public int hashCode() {
+        return resourceID.hashCode();
+    }
+
+    /**
+     * @see java.lang.Object#toString()
+     */
+    @Override
+    public String toString() {
+        return resourceID.toString();
+    }
+
+    /**
+     * Gets the resource id.
+     * 
+     * @return the resource id.
+     */
+    public String getResourceId() {
+        return resourceID;
+    }
+
+    /**
+     * @see com.vaadin.terminal.Resource#getMIMEType()
+     */
+    @Override
+    public String getMIMEType() {
+        return FileTypeResolver.getMIMEType(getResourceId());
+    }
+}