|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.problets.lib.conceptmap.state.Utility
public class Utility
Static method container class for commonly used utility methods
Field Summary | |
---|---|
static TextFormatter |
textFormatter
The text formatter for mouseover drawing |
Constructor Summary | |
---|---|
Utility()
|
Method Summary | |
---|---|
static java.util.Vector |
cloneAndRemoveFirst(java.util.Vector original)
Creates a duplicate vector but removes the first element from the duplicate. |
static java.util.Vector |
cloneAndRemoveLast(java.util.Vector original)
Creates a duplicate vector but removes the last element from the duplicate. |
static java.util.Vector |
convertTextToFullName(java.lang.String text)
Converts an node full name in a text version (period-delimited) to a vector fomat (with each ancestor an element in the vector followed by the node name itself). |
static boolean |
isTextNodeAnAnd(java.lang.String text)
Given a node name in period-delimited text format, determines if the node is an AND by checking for a + before the last name in the string (the target node name). |
static void |
main(java.lang.String[] args)
|
static java.lang.String |
prepareStringForTextFormatter(java.lang.String text)
Given a string without special formatting, quotes any special characters. |
static java.lang.String |
vector2String(java.util.Vector nameVector)
Converts a node full name in vector fomat (with each ancestor an element in the vector followed by the node name itself) to a text version (period-delimited). |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final TextFormatter textFormatter
Constructor Detail |
---|
public Utility()
Method Detail |
---|
public static java.util.Vector cloneAndRemoveLast(java.util.Vector original)
original
- the vector to be cloned
public static java.util.Vector cloneAndRemoveFirst(java.util.Vector original)
original
- the vector to be cloned
public static java.lang.String vector2String(java.util.Vector nameVector)
nameVector
- the name of the node in vector format
public static java.util.Vector convertTextToFullName(java.lang.String text)
text
- the name of the node in text version
public static boolean isTextNodeAnAnd(java.lang.String text)
text
- the name of the node in text version
public static java.lang.String prepareStringForTextFormatter(java.lang.String text)
text
- the the "raw" string, without special formatting
public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |