equal
deleted
inserted
replaced
69 */ |
69 */ |
70 public Pool(int pp, Object[] pool, Types types) { |
70 public Pool(int pp, Object[] pool, Types types) { |
71 this.pp = pp; |
71 this.pp = pp; |
72 this.pool = pool; |
72 this.pool = pool; |
73 this.types = types; |
73 this.types = types; |
74 this.indices = new HashMap<Object,Integer>(pool.length); |
74 this.indices = new HashMap<>(pool.length); |
75 for (int i = 1; i < pp; i++) { |
75 for (int i = 1; i < pp; i++) { |
76 if (pool[i] != null) indices.put(pool[i], i); |
76 if (pool[i] != null) indices.put(pool[i], i); |
77 } |
77 } |
78 } |
78 } |
79 |
79 |