aboutsummaryrefslogtreecommitdiffstats
path: root/src/com/vaadin/terminal/DeploymentConfiguration.java
diff options
context:
space:
mode:
authorArtur Signell <artur@vaadin.com>2012-08-13 18:34:33 +0300
committerArtur Signell <artur@vaadin.com>2012-08-13 19:18:33 +0300
commite85d933b25cc3c5cc85eb7eb4b13b950fd8e1569 (patch)
tree9ab6f13f7188cab44bbd979b1cf620f15328a03f /src/com/vaadin/terminal/DeploymentConfiguration.java
parent14dd4d0b28c76eb994b181a4570f3adec53342e6 (diff)
downloadvaadin-framework-e85d933b25cc3c5cc85eb7eb4b13b950fd8e1569.tar.gz
vaadin-framework-e85d933b25cc3c5cc85eb7eb4b13b950fd8e1569.zip
Moved server files to a server src folder (#9299)
Diffstat (limited to 'src/com/vaadin/terminal/DeploymentConfiguration.java')
-rw-r--r--src/com/vaadin/terminal/DeploymentConfiguration.java123
1 files changed, 0 insertions, 123 deletions
diff --git a/src/com/vaadin/terminal/DeploymentConfiguration.java b/src/com/vaadin/terminal/DeploymentConfiguration.java
deleted file mode 100644
index ae96dcaec5..0000000000
--- a/src/com/vaadin/terminal/DeploymentConfiguration.java
+++ /dev/null
@@ -1,123 +0,0 @@
-/*
-@VaadinApache2LicenseForJavaFiles@
- */
-
-package com.vaadin.terminal;
-
-import java.io.Serializable;
-import java.util.Iterator;
-import java.util.Properties;
-
-import javax.portlet.PortletContext;
-import javax.servlet.ServletContext;
-
-import com.vaadin.terminal.gwt.server.AddonContext;
-import com.vaadin.terminal.gwt.server.AddonContextListener;
-
-/**
- * Provide deployment specific settings that are required outside terminal
- * specific code.
- *
- * @author Vaadin Ltd.
- *
- * @since 7.0
- */
-public interface DeploymentConfiguration extends Serializable {
-
- /**
- * Gets the base URL of the location of Vaadin's static files.
- *
- * @param request
- * the request for which the location should be determined
- *
- * @return a string with the base URL for static files
- */
- public String getStaticFileLocation(WrappedRequest request);
-
- /**
- * Gets the widgetset that is configured for this deployment, e.g. from a
- * parameter in web.xml.
- *
- * @param request
- * the request for which a widgetset is required
- * @return the name of the widgetset
- */
- public String getConfiguredWidgetset(WrappedRequest request);
-
- /**
- * Gets the theme that is configured for this deployment, e.g. from a portal
- * parameter or just some sensible default value.
- *
- * @param request
- * the request for which a theme is required
- * @return the name of the theme
- */
- public String getConfiguredTheme(WrappedRequest request);
-
- /**
- * Checks whether the Vaadin application will be rendered on its own in the
- * browser or whether it will be included into some other context. A
- * standalone application may do things that might interfere with other
- * parts of a page, e.g. changing the page title and requesting focus upon
- * loading.
- *
- * @param request
- * the request for which the application is loaded
- * @return a boolean indicating whether the application should be standalone
- */
- public boolean isStandalone(WrappedRequest request);
-
- /**
- * Gets a configured property. The properties are typically read from e.g.
- * web.xml or from system properties of the JVM.
- *
- * @param propertyName
- * The simple of the property, in some contexts, lookup might be
- * performed using variations of the provided name.
- * @param defaultValue
- * the default value that should be used if no value has been
- * defined
- * @return the property value, or the passed default value if no property
- * value is found
- */
- public String getApplicationOrSystemProperty(String propertyName,
- String defaultValue);
-
- /**
- * Get the class loader to use for loading classes loaded by name, e.g.
- * custom Root classes. <code>null</code> indicates that the default class
- * loader should be used.
- *
- * @return the class loader to use, or <code>null</code>
- */
- public ClassLoader getClassLoader();
-
- /**
- * Returns the MIME type of the specified file, or null if the MIME type is
- * not known. The MIME type is determined by the configuration of the
- * container, and may be specified in a deployment descriptor. Common MIME
- * types are "text/html" and "image/gif".
- *
- * @param resourceName
- * a String specifying the name of a file
- * @return a String specifying the file's MIME type
- *
- * @see ServletContext#getMimeType(String)
- * @see PortletContext#getMimeType(String)
- */
- public String getMimeType(String resourceName);
-
- /**
- * Gets the properties configured for the deployment, e.g. as init
- * parameters to the servlet or portlet.
- *
- * @return properties for the application.
- */
- public Properties getInitParameters();
-
- public Iterator<AddonContextListener> getAddonContextListeners();
-
- public AddonContext getAddonContext();
-
- public void setAddonContext(AddonContext vaadinContext);
-}