private IntSet getDelegate(int x) { return delegateStore.get(x); }
/** * record that a particular points-to-set has been unioned with another */ public void recordUnified(PointerKey key) { if (key == null) { throw new IllegalArgumentException("null key"); } int i = findOrCreateIndex(key); pointsToSets.set(i, UNIFIED); }
@Override public int getMaxIndex() { if (maxPage == -1) { return -1; } else { IVector<T> v = data.get(maxPage); int localMax = v.getMaxIndex(); return maxPage * PAGE_SIZE + localMax; } }
@Override public T next() { T result = inner.next(); if (!inner.hasNext()) { inner = null; while (outer.hasNext()) { IVector<T> v = outer.next(); if (v != null) { Iterator<T> it = v.iterator(); if (it.hasNext()) { inner = it; break; } } } } return result; }
@Override public T next() { T result = inner.next(); if (!inner.hasNext()) { inner = null; while (outer.hasNext()) { IVector<T> v = outer.next(); if (v != null) { Iterator<T> it = v.iterator(); if (it.hasNext()) { inner = it; break; } } } } return result; }
private IntSet getDelegate(int x) { return delegateStore.get(x); }
/** * record that a particular points-to-set has been unioned with another */ public void recordUnified(PointerKey key) { if (key == null) { throw new IllegalArgumentException("null key"); } int i = findOrCreateIndex(key); pointsToSets.set(i, UNIFIED); }
@Override public T next() { T result = inner.next(); if (!inner.hasNext()) { inner = null; while (outer.hasNext()) { IVector<T> v = outer.next(); if (v != null) { Iterator<T> it = v.iterator(); if (it.hasNext()) { inner = it; break; } } } } return result; }
@Override public int getMaxIndex() { if (maxPage == -1) { return -1; } else { IVector<T> v = data.get(maxPage); int localMax = v.getMaxIndex(); return maxPage * PAGE_SIZE + localMax; } }
private IntSet getDelegate(int x) { return delegateStore.get(x); }
/** * record that a particular points-to-set is represented implicitly */ public void recordImplicit(PointerKey key) { if (key == null) { throw new IllegalArgumentException("null key"); } int i = findOrCreateIndex(key); pointsToSets.set(i, IMPLICIT); }
IVector<T> v = outer.next(); if (v != null) { Iterator<T> it = v.iterator(); if (it.hasNext()) { inner = it;
@Override public int getMaxIndex() { if (maxPage == -1) { return -1; } else { IVector<T> v = data.get(maxPage); int localMax = v.getMaxIndex(); return maxPage * PAGE_SIZE + localMax; } }
public boolean isUnified(PointerKey p) { if (p == null) { throw new IllegalArgumentException("null p"); } int i = findOrCreateIndex(p); return pointsToSets.get(i) == UNIFIED; }
@Override public void removeAll(int x) { for (IntVector element : smallStore) { element.set(x, EMPTY_CODE); } delegateStore.set(x, null); }