(Object o)
| 107 | } |
| 108 | |
| 109 | public int compareTo(Object o){ |
| 110 | Symbol s = (Symbol) o; |
| 111 | if(this.equals(o)) |
| 112 | return 0; |
| 113 | if(this.ns == null && s.ns != null) |
| 114 | return -1; |
| 115 | if(this.ns != null) |
| 116 | { |
| 117 | if(s.ns == null) |
| 118 | return 1; |
| 119 | int nsc = this.ns.compareTo(s.ns); |
| 120 | if(nsc != 0) |
| 121 | return nsc; |
| 122 | } |
| 123 | return this.name.compareTo(s.name); |
| 124 | } |
| 125 | |
| 126 | private Object readResolve() throws ObjectStreamException{ |
| 127 | return intern(ns, name); |