Example #1
0
  /** @since 1.2 */
  protected void fireDataChannelChanged(Object postedBy, GraphDiff changes) {
    EventManager manager = getEventManager();

    if (manager != null) {
      GraphEvent e = new GraphEvent(this, postedBy, changes);
      manager.postEvent(e, DataChannel.GRAPH_CHANGED_SUBJECT);
    }
  }
Example #2
0
  /** @since 1.2 */
  protected void fireDataChannelRolledback(Object postedBy, GraphDiff changes) {
    EventManager manager = getEventManager();

    if (manager != null) {
      GraphEvent e = new GraphEvent(this, postedBy, changes);
      manager.postEvent(e, DataChannel.GRAPH_ROLLEDBACK_SUBJECT);
    }
  }