sk.uniba.euromath.editor.widgets
Class GraphSelectorWidget.State

java.lang.Object
  extended by sk.uniba.euromath.editor.widgets.GraphSelectorWidget.State
Enclosing class:
GraphSelectorWidget

public class GraphSelectorWidget.State
extends Object

The state of the widget.

Author:
Martin Vysny

Field Summary
 IGraphEdgeSelector nodeSelector
          Selects correct nodes when a choice of nodes is available.
 Set<String> wildcards
          List of namespaces explicitly selected as wildcards.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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.