public class ConnectionSettings extends DefaultURLConnectionHandler
config for the options. For the
propeties any property key that starts with an upper case is considered to be
a header.| Modifier and Type | Class and Description |
|---|---|
(package private) static interface |
ConnectionSettings.Config
Options to set.
|
Reporter.SetLocationReport.Location| Modifier and Type | Field and Description |
|---|---|
(package private) ConnectionSettings.Config |
config |
(package private) java.util.Map<java.lang.String,java.lang.String> |
headers |
registryMATCH| Constructor and Description |
|---|
ConnectionSettings() |
| Modifier and Type | Method and Description |
|---|---|
void |
handle(java.net.URLConnection connection)
Handle the connection
|
void |
setProperties(java.util.Map<java.lang.String,java.lang.String> map)
Set the properties.
|
error, exception, getErrors, getLocation, getWarnings, isOk, isPedantic, matches, matches, progress, setRegistry, setReporter, trace, warningfinal java.util.Map<java.lang.String,java.lang.String> headers
ConnectionSettings.Config config
public void handle(java.net.URLConnection connection)
throws java.lang.Exception
handle in interface URLConnectionHandlerhandle in class DefaultURLConnectionHandlerconnection - The connection to modifyjava.lang.Exceptionpublic void setProperties(java.util.Map<java.lang.String,java.lang.String> map)
throws java.lang.Exception
setProperties in interface PluginsetProperties in class DefaultURLConnectionHandlermap - attributes and directives for this plugin's clausejava.lang.Exception