📄 graphlistener.java
字号:
package net.sourceforge.jpowergraph;
import java.util.Collection;
import java.util.EventListener;
/**
* The listener for graph events.
*/
public interface GraphListener extends EventListener {
/**
* Called when graph layout is updated.
*
* @param graph the graph
*/
void graphLayoutUpdated(Graph graph);
/**
* Called when graph has changed, but no nodes have changed their position.
*
* @param graph the graph
*/
void graphUpdated(Graph graph);
/**
* Called when graph contents is radically changed.
*
* @param graph the graph
*/
void graphContentsChanged(Graph graph);
/**
* Called when elements are added to the graph.
*
* @param graph the graph
* @param nodes the nodes added (may be <code>null</code>)
* @param edges the edges added (may be <code>null</code>)
*/
void elementsAdded(Graph graph,Collection nodes,Collection edges);
/**
* Called when elements are removed from the graph.
*
* @param graph the graph
* @param nodes the nodes added (may be <code>null</code>)
* @param edges the edges added (may be <code>null</code>)
*/
void elementsRemoved(Graph graph,Collection nodes,Collection edges);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -