Modifier and Type | Method and Description |
---|---|
ProtocolGraph |
newProtocolGraph()
Creates a new ProtocolGraph dealing with HTTP
|
ProtocolGraph |
newProtocolGraph(String url)
Creates a new ProtocolGraph dealing with HTTP
|
HttpSessionIdentifier |
newSessionIdentifier(String url)
Creates a new session identifier
|
HttpSessionIdentifier |
newSessionIdentifier(String url,
String host,
int port)
Creates a new session identifier
|
createProtocolGraph, createSessionIdentifier, isAnInvocationProtocol
ProtocolGraph newProtocolGraph()
ProtocolGraph newProtocolGraph(String url)
url
- the desired URLHttpSessionIdentifier newSessionIdentifier(String url)
url
- the URL of the serverHttpSessionIdentifier newSessionIdentifier(String url, String host, int port)
url
- the URL of the serverhost
- the TCP/IP host of the serverport
- the TCP/IP port of the server