public static class TargetPlatform.Key
extends java.lang.Object
Key to store instances of TargetPlatform in a map. The key encapsulates the target loaction (that may is null) and the workspace.
Constructor and Description |
---|
Key(Workspace workspace,
java.io.File targetPlatformLocation)
Creates an new instance of type Key.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o)
Returns
true if this TargetPlatformKey is the same as the o argument. |
int |
hashCode() |
public Key(Workspace workspace, java.io.File targetPlatformLocation)
Creates an new instance of type Key.
workspace
- the workspacetargetPlatformLocation
- the (optional) target platfrom locationpublic boolean equals(java.lang.Object o)
true
if this TargetPlatformKey
is the same as the o argument.equals
in class java.lang.Object
true
if this TargetPlatformKey
is the same as the o argument.public int hashCode()
hashCode
in class java.lang.Object