public class WSDockKey
extends java.lang.Object
example :
if your application uses a dockable with DockKey k = new DockKey("testDockable");
than your corresponding WSDockKey will be wsdk = new WSDockKey("testDockable");
Design note : We use this class insted of DockKey because sometimes dockkeys are lazily created (at dockable creation) and thus aren't already available when specifying a workspace.
Constructor and Description |
---|
WSDockKey(java.lang.String key) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
DockingConstants.Hide |
getAutoHideBorder()
Returns the autohide border of this dockable, or null if not set
|
java.lang.String |
getKey()
returns the inner key of this object (which must match a DockKey's 'key' instance variable)
|
int |
hashCode()
returns this object's hashcode
|
void |
setAutoHideBorder(DockingConstants.Hide border)
Updates the autohide border property
|
java.lang.String |
toString() |
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String getKey()
public DockingConstants.Hide getAutoHideBorder()
public void setAutoHideBorder(DockingConstants.Hide border)
Copyright © 2010-2014 Pacific Biosciences. All Rights Reserved.