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.Objecttrue if this TargetPlatformKey is the same as the o argument.public int hashCode()
hashCode in class java.lang.Object