Agent System POND 1.2 (28.2.2002)

PkgAgentSystem
Class AMPStreamHandler

java.lang.Object
  |
  +--java.net.URLStreamHandler
        |
        +--PkgAgentSystem.AMPStreamHandler

class AMPStreamHandler
extends URLStreamHandler

Stream handler for AMPURLConnections. Creates a new AMPURLConnection to the specified URL. If called with any protocol other than "amp" a ProtocolException is thrown. (AMP = Agent Movement Protocol)

Version:
1.0, 1.7.2000
Author:
Michael Sonntag
See Also:
URL, URLStreamHandler, AMPStreamHandlerFactory

Constructor Summary
AMPStreamHandler()
          Creates a new stream handler for the "amp" protocol.
 
Method Summary
protected  URLConnection openConnection(URL url)
          Opens a connection to the object referenced by the URL argument.
 
Methods inherited from class java.net.URLStreamHandler
equals, getDefaultPort, getHostAddress, hashCode, hostsEqual, parseURL, sameFile, setURL, setURL, toExternalForm
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AMPStreamHandler

public AMPStreamHandler()
Creates a new stream handler for the "amp" protocol.
Method Detail

openConnection

protected URLConnection openConnection(URL url)
                                throws IOException
Opens a connection to the object referenced by the URL argument.
Overrides:
openConnection in class URLStreamHandler
Parameters:
the - URL to connect to
Returns:
new AMPURLConnection to the URL provided
Throws:
ProtocolException - thrown if the protocol is other than "amp"
See Also:
AMPURLConnection

Agent System POND 1.2 (28.2.2002)

Submit a bug

Copyright 2001,2002 Michael Sonntag & Institute for Information Processing and Microprocessor Technology (FIM), Johannes-Kepler-University Linz, Altenbergerstr. 69, A-4040 Linz, Austria.