org.glassfish.appclient.server.core.jws

Class ExtensionFileManager.ExtensionKey

java.lang.Object

org.glassfish.appclient.server.core.jws.ExtensionFileManager.ExtensionKey

Enclosing class:

ExtensionFileManager

public static class ExtensionFileManager.ExtensionKey
extends Object

The key for identifying extension jar Extension objects in the Map. The key needs to include both the extension name and the specification version. Note that the spec version defaults to the empty string.

Constructor Summary

Constructors

Constructor and Description
ExtensionKey(String extensionName, String specificationVersion) Creates a new instance of ExtensionKey.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ExtensionKey

public ExtensionKey(String extensionName,
                    String specificationVersion)

Creates a new instance of ExtensionKey.

Parameters:

extensionName - the extension name of interest (cannot be null)

specificationVersion - the spec version of interest

Method Detail

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object