equal
deleted
inserted
replaced
100 private String description; |
100 private String description; |
101 |
101 |
102 private static Value[][] ValueObjects = |
102 private static Value[][] ValueObjects = |
103 new Value[NUM_KEYS][VALS_PER_KEY]; |
103 new Value[NUM_KEYS][VALS_PER_KEY]; |
104 |
104 |
105 private synchronized static void register(SunHints.Key key, |
105 private static synchronized void register(SunHints.Key key, |
106 Value value) { |
106 Value value) { |
107 int kindex = key.getIndex(); |
107 int kindex = key.getIndex(); |
108 int vindex = value.getIndex(); |
108 int vindex = value.getIndex(); |
109 if (ValueObjects[kindex][vindex] != null) { |
109 if (ValueObjects[kindex][vindex] != null) { |
110 throw new InternalError("duplicate index: "+vindex); |
110 throw new InternalError("duplicate index: "+vindex); |