public class GraphPresenter.EdgeHighlightHandler
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<java.lang.Object> |
incoming |
protected java.util.Set<java.lang.Object> |
outgoing |
Constructor and Description |
---|
GraphPresenter.EdgeHighlightHandler() |
Modifier and Type | Method and Description |
---|---|
boolean |
isIncomingHighlighted(java.lang.Object edge) |
boolean |
isOutgoingHighlighted(java.lang.Object edge) |
protected void |
reload() |