public class TokenHolder
extends java.lang.Object
IObject
instances for special almost-administrative handling.
Identifies loose "ownership" of certain objects.IObject.getGraphHolder()
,
GraphHolder.hasToken()
Constructor and Description |
---|
TokenHolder() |
Modifier and Type | Method and Description |
---|---|
void |
clearToken(GraphHolder gh) |
void |
copyToken(IObject source,
IObject copy)
copy a token from one
IObject to another. |
boolean |
hasPrivilegedToken(IObject obj) |
void |
setToken(GraphHolder gh) |
public void setToken(GraphHolder gh)
public void clearToken(GraphHolder gh)
public boolean hasPrivilegedToken(IObject obj)
public void copyToken(IObject source, IObject copy)
IObject
to another. This is currently
insecure and should take a third token implying the rights to copy.
Should only be called by MergeEventListener
Version: 5.4.4-ice35-b82
Copyright © 2018 The University of Dundee & Open Microscopy Environment. All Rights Reserved.