equal
deleted
inserted
replaced
240 next = parent; |
240 next = parent; |
241 this.desc = desc; |
241 this.desc = desc; |
242 this.uniqueID = makeUniqueID(desc); |
242 this.uniqueID = makeUniqueID(desc); |
243 } |
243 } |
244 |
244 |
245 public synchronized static final int makeUniqueID(String desc) { |
245 public synchronized static int makeUniqueID(String desc) { |
246 Integer i = compositeUIDMap.get(desc); |
246 Integer i = compositeUIDMap.get(desc); |
247 |
247 |
248 if (i == null) { |
248 if (i == null) { |
249 if (unusedUID > 255) { |
249 if (unusedUID > 255) { |
250 throw new InternalError("composite type id overflow"); |
250 throw new InternalError("composite type id overflow"); |