equal
deleted
inserted
replaced
399 this.desc = desc; |
399 this.desc = desc; |
400 this.uniqueID = makeUniqueID(desc); |
400 this.uniqueID = makeUniqueID(desc); |
401 this.pixelConverter = parent.pixelConverter; |
401 this.pixelConverter = parent.pixelConverter; |
402 } |
402 } |
403 |
403 |
404 public synchronized static final int makeUniqueID(String desc) { |
404 public static synchronized int makeUniqueID(String desc) { |
405 Integer i = surfaceUIDMap.get(desc); |
405 Integer i = surfaceUIDMap.get(desc); |
406 |
406 |
407 if (i == null) { |
407 if (i == null) { |
408 if (unusedUID > 255) { |
408 if (unusedUID > 255) { |
409 throw new InternalError("surface type id overflow"); |
409 throw new InternalError("surface type id overflow"); |