Lines Matching defs:string
14 * A string used as a key in java.util.Hashtable and other
21 private String string;
25 private String folded = null;
27 private static String foldCase(String foldee)
35 folded = foldCase(string);
40 * Constructs an CaseInsentiveString object from the given string
41 * @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
52 public String getString() {
53 return string;
95 public String toString() {
96 return string;
