/* |
|
* Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved. |
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
|
* |
|
* This code is free software; you can redistribute it and/or modify it |
|
* under the terms of the GNU General Public License version 2 only, as |
|
* published by the Free Software Foundation. Oracle designates this |
|
* particular file as subject to the "Classpath" exception as provided |
|
* by Oracle in the LICENSE file that accompanied this code. |
|
* |
|
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
* version 2 for more details (a copy is included in the LICENSE file that |
|
* accompanied this code). |
|
* |
|
* You should have received a copy of the GNU General Public License version |
|
* 2 along with this work; if not, write to the Free Software Foundation, |
|
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
* |
|
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
* or visit www.oracle.com if you need additional information or have any |
|
* questions. |
|
*/ |
|
package java.util.regex; |
|
import java.util.Arrays; |
|
/** |
|
* A lightweight hashset implementation for positive 'int'. Not safe for |
|
* concurrent access. |
|
*/ |
|
class IntHashSet { |
|
private int[] entries; |
|
private int[] hashes; |
|
private int pos = 0; |
|
public IntHashSet() { |
|
this.entries = new int[16 << 1]; // initCapacity = 16; |
|
this.hashes = new int[(16 / 2) | 1]; // odd -> fewer collisions |
|
Arrays.fill(this.entries, -1); |
|
Arrays.fill(this.hashes, -1); |
|
} |
|
public boolean contains(int i) { |
|
int h = hashes[i % hashes.length]; |
|
while (h != -1) { |
|
if (entries[h] == i) |
|
return true; |
|
h = entries[h + 1]; |
|
} |
|
return false; |
|
} |
|
public void add(int i) { |
|
int h0 = i % hashes.length; |
|
int next = hashes[h0]; |
|
// if invoker guarantees contains(i) checked before add(i) |
|
// the following check is not needed. |
|
int next0 = next; |
|
while (next0 != -1) { |
|
if (entries[next0 ] == i) |
|
return; |
|
next0 = entries[next0 + 1]; |
|
} |
|
hashes[h0] = pos; |
|
entries[pos++] = i; |
|
entries[pos++] = next; |
|
if (pos == entries.length) |
|
expand(); |
|
} |
|
public void clear() { |
|
Arrays.fill(this.entries, -1); |
|
Arrays.fill(this.hashes, -1); |
|
pos = 0; |
|
} |
|
private void expand() { |
|
int[] old = entries; |
|
int[] es = new int[old.length << 1]; |
|
int hlen = (old.length / 2) | 1; |
|
int[] hs = new int[hlen]; |
|
Arrays.fill(es, -1); |
|
Arrays.fill(hs, -1); |
|
for (int n = 0; n < pos;) { // re-hashing |
|
int i = old[n]; |
|
int hsh = i % hlen; |
|
int next = hs[hsh]; |
|
hs[hsh] = n; |
|
es[n++] = i; |
|
es[n++] = next; |
|
} |
|
this.entries = es; |
|
this.hashes = hs; |
|
} |
|
} |