public class Publisher
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Publisher |
getInstance() |
boolean |
isFileStateClosed() |
void |
publishAddNetEvent() |
void |
publishCloseFileEvent() |
void |
publishFileBusyEvent() |
void |
publishFileUnbusyEvent() |
void |
publishNetSelectedEvent() |
void |
publishNoNetSelectedEvent() |
void |
publishNoNetsExistEvent() |
void |
publishOpenFileEvent() |
void |
publishRemoveNetEvent(boolean noNets) |
void |
publishState(GraphState state,
GraphSelectionEvent event) |
void |
subscribe(FileStateListener listener) |
void |
subscribe(GraphStateListener listener,
java.util.List<GraphState> interestedStates) |
void |
subscribe(SpecificationStateListener listener) |
void |
unsubscribe(FileStateListener listener) |
public static Publisher getInstance()
public void subscribe(SpecificationStateListener listener)
public void subscribe(FileStateListener listener)
public void subscribe(GraphStateListener listener, java.util.List<GraphState> interestedStates)
public void unsubscribe(FileStateListener listener)
public void publishState(GraphState state, GraphSelectionEvent event)
public void publishAddNetEvent()
public void publishRemoveNetEvent(boolean noNets)
public boolean isFileStateClosed()
public void publishOpenFileEvent()
public void publishCloseFileEvent()
public void publishNoNetSelectedEvent()
public void publishNetSelectedEvent()
public void publishNoNetsExistEvent()
public void publishFileBusyEvent()
public void publishFileUnbusyEvent()