public class SelectionEvent extends GraphEvent
| Constructor and Description |
|---|
SelectionEvent(CommonGraph graph,
java.util.Set<? extends GraphSelection> selection) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<? extends GraphSelection> |
getGraphSelection() |
getGraphpublic SelectionEvent(CommonGraph graph, java.util.Set<? extends GraphSelection> selection)
public java.util.Set<? extends GraphSelection> getGraphSelection()