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.SetLocation
Report.Location
Modifier and Type | Field and Description |
---|---|
(package private) ConnectionSettings.Config |
config |
(package private) java.util.Map<java.lang.String,java.lang.String> |
headers |
registry
MATCH
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, warning
final 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 URLConnectionHandler
handle
in class DefaultURLConnectionHandler
connection
- The connection to modifyjava.lang.Exception
public void setProperties(java.util.Map<java.lang.String,java.lang.String> map) throws java.lang.Exception
setProperties
in interface Plugin
setProperties
in class DefaultURLConnectionHandler
map
- attributes and directives for this plugin's clausejava.lang.Exception