|
Java 2 Platform v1.3 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.umich.visualsoar.graph.Vertex | +--edu.umich.visualsoar.graph.SoarVertex | +--edu.umich.visualsoar.graph.EnumerationVertex
This class encapsulates the notion of an enumeration in working memory
Field Summary | |
private java.util.TreeSet |
theStrings
|
Fields inherited from class edu.umich.visualsoar.graph.Vertex |
number |
Constructor Summary | |
EnumerationVertex(int id,
java.lang.String singleton)
|
|
EnumerationVertex(int id,
java.util.TreeSet strings)
|
|
EnumerationVertex(int id,
java.util.Vector strings)
|
Method Summary | |
void |
add(java.lang.String s)
|
boolean |
allowsEmanatingEdges()
This method is used to determine whether or not this node allows children |
edu.umich.visualsoar.graph.SoarVertex |
copy(int newId)
Method returns a new copy of the same data, but with a new id |
boolean |
edit(java.awt.Frame owner)
This method allows the user to edit the contents of this node |
java.util.Iterator |
getEnumeration()
|
boolean |
isEditable()
This method tells us whether or not the edit method will work |
boolean |
isValid(java.lang.String s)
This method determines whether or not a given value is valid for this particular node |
java.lang.String |
toString()
|
void |
write(java.io.Writer w)
This method writes a description of this node to the stream pointed to by the writer |
Methods inherited from class edu.umich.visualsoar.graph.SoarVertex |
isUnknown |
Methods inherited from class edu.umich.visualsoar.graph.Vertex |
getValue, setValue |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private java.util.TreeSet theStrings
Constructor Detail |
public EnumerationVertex(int id, java.util.Vector strings)
public EnumerationVertex(int id, java.util.TreeSet strings)
public EnumerationVertex(int id, java.lang.String singleton)
Method Detail |
public edu.umich.visualsoar.graph.SoarVertex copy(int newId)
SoarVertex
copy
in class SoarVertex
public void add(java.lang.String s)
public boolean allowsEmanatingEdges()
SoarVertex
allowsEmanatingEdges
in class SoarVertex
public java.util.Iterator getEnumeration()
public boolean isEditable()
SoarVertex
isEditable
in class SoarVertex
public boolean isValid(java.lang.String s)
SoarVertex
isValid
in class SoarVertex
s
- the string we are checking the validity of
public java.lang.String toString()
toString
in class Vertex
public boolean edit(java.awt.Frame owner)
SoarVertex
edit
in class SoarVertex
public void write(java.io.Writer w) throws java.io.IOException
SoarVertex
write
in class SoarVertex
w
- the stream where this node is described to
java.io.IOException
|
Java 2 Platform v1.3 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |