org.glassfish.appclient.server.core.jws

Class ExtensionFileManager.Extension

java.lang.Object

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

Enclosing class:

ExtensionFileManager

public class ExtensionFileManager.Extension
extends Object

Records information about an extension jar file known to the app server.

Constructor Summary

Constructors

Constructor and Description
Extension(ExtensionFileManager.ExtensionKey extensionKey, File file, int extDirectoryNumber)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Extension

public Extension(ExtensionFileManager.ExtensionKey extensionKey,
                 File file,
                 int extDirectoryNumber)

Method Detail

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getExtDirectoryNumber

public int getExtDirectoryNumber()

getFile

public File getFile()

toString

public String toString()

Overrides:

toString in class Object