public class ThemeConfig
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
CACHE_MINUTES |
static java.lang.String |
DEFAULT_EXT |
static java.lang.String |
ENCODING |
static java.lang.String |
ERROR_LOG |
static java.lang.String |
FILTERS |
static java.lang.String |
HIDE_ERRORS |
static java.lang.String |
LAYER_NAMES |
static java.lang.String |
LOCALE |
static java.lang.String |
STANDARD_DEFAULT_EXT |
static java.lang.String |
STD_ERR |
static java.lang.String |
THEME_PATH |
static java.lang.String |
THEME_RESOURCE_PATH |
static java.lang.String |
THROW_ERRORS |
| Constructor and Description |
|---|
ThemeConfig() |
ThemeConfig(java.util.Map<java.lang.String,java.lang.String> params) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
abortOnMissingTemplate() |
int |
getCacheMinutes() |
java.lang.String |
getDefaultExtension() |
java.lang.String |
getEncoding() |
java.io.PrintStream |
getErrorLog() |
ChunkFilter[] |
getFilters() |
java.lang.String |
getLayerNames() |
java.lang.String |
getLocaleCode() |
java.lang.String |
getThemeFolder() |
java.lang.String |
getThemeResourcePath() |
boolean |
hideErrors() |
void |
set(java.lang.String configKey,
java.lang.String value) |
public static final java.lang.String THEME_PATH
public static final java.lang.String THEME_RESOURCE_PATH
public static final java.lang.String LAYER_NAMES
public static final java.lang.String DEFAULT_EXT
public static final java.lang.String CACHE_MINUTES
public static final java.lang.String THROW_ERRORS
public static final java.lang.String HIDE_ERRORS
public static final java.lang.String ERROR_LOG
public static final java.lang.String FILTERS
public static final java.lang.String LOCALE
public static final java.lang.String ENCODING
public static final java.lang.String STD_ERR
public static final java.lang.String STANDARD_DEFAULT_EXT
public ThemeConfig()
public ThemeConfig(java.util.Map<java.lang.String,java.lang.String> params)
public void set(java.lang.String configKey,
java.lang.String value)
public java.lang.String getThemeFolder()
public java.lang.String getThemeResourcePath()
public java.lang.String getLayerNames()
public java.lang.String getDefaultExtension()
public int getCacheMinutes()
public java.lang.String getLocaleCode()
public java.lang.String getEncoding()
public boolean abortOnMissingTemplate()
public boolean hideErrors()
public java.io.PrintStream getErrorLog()
public ChunkFilter[] getFilters()
Copyright © 2019. All Rights Reserved.