Lines Matching defs:string
15 * A string used as a key in java.util.Hashtable and other
22 private String string;
26 private String folded = null;
28 private static String foldCase(String foldee)
36 folded = foldCase(string);
41 * Constructs an CaseInsentiveString object from the given string
42 * @param s The string to construct this object from
44 public CaseInsensitiveString(String s) {
45 string = s;
48 * returns the underlying string
49 * @return String
51 public String getString() {
52 return string;
91 public String toString() {
92 return string;
