public interface WorkspaceInformation
Clients can subscribe to changes by using the
addChangeListener(java.beans.PropertyChangeListener)
method. It
triggers the following events:
Workspace
Modifier and Type | Field and Description |
---|---|
static String |
EVENT_CLOSE |
static String |
EVENT_OPEN |
static String |
EVENT_RENAME |
static String |
EVENT_SET_SOURCE |
Modifier and Type | Method and Description |
---|---|
void |
addChangeListener(PropertyChangeListener listener)
Add change listener.
|
String |
getName()
Returns the name of the workspace.
|
String |
getSource()
Returns the workspace's source or null if missing.
|
boolean |
hasSource()
Returns true if the workspace has a source.
|
boolean |
isClosed()
Returns true if the workspace is closed.
|
boolean |
isInvalid()
Returns true if the workspace is invalid.
|
boolean |
isOpen()
Returns true if the workspace is open.
|
void |
removeChangeListener(PropertyChangeListener listener)
Remove change listener.
|
static final String EVENT_OPEN
static final String EVENT_CLOSE
static final String EVENT_RENAME
static final String EVENT_SET_SOURCE
boolean isOpen()
boolean isClosed()
boolean isInvalid()
String getName()
The name can't be null and has a default value (e.g. Workspace 1).
boolean hasSource()
String getSource()
void addChangeListener(PropertyChangeListener listener)
listener
- change listenervoid removeChangeListener(PropertyChangeListener listener)
listener
- change listenerCopyright © 2007–2015 Gephi Consortium. All rights reserved.