sk.uniba.euromath.editor.widgets
Class GraphSelectorWidget.State
java.lang.Object
sk.uniba.euromath.editor.widgets.GraphSelectorWidget.State
- Enclosing class:
- GraphSelectorWidget
public class GraphSelectorWidget.State
- extends Object
The state of the widget.
- Author:
- Martin Vysny
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
nodeSelector
public final IGraphEdgeSelector nodeSelector
- Selects correct nodes when a choice of nodes is available.
wildcards
public final Set<String> wildcards
- List of namespaces explicitly selected as wildcards.
Copyright © 2003-2006 null. All Rights Reserved.