/** * 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); }
/** * 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 void removeAll(int x) { for (IntVector element : smallStore) { element.set(x, EMPTY_CODE); } delegateStore.set(x, null); }
/** * 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); }
/** * 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); }
@Override public void removeAll(int x) { for (IntVector element : smallStore) { element.set(x, EMPTY_CODE); } delegateStore.set(x, null); }
@Override public void removeAll(int x) { for (IntVector element : smallStore) { element.set(x, EMPTY_CODE); } delegateStore.set(x, null); }
public void put(PointerKey key, PointsToSetVariable v) { int i = findOrCreateIndex(key); pointsToSets.set(i, v); }
public void put(PointerKey key, PointsToSetVariable v) { int i = findOrCreateIndex(key); pointsToSets.set(i, v); }
@Override public void set(int x, T value) { if (x < 0) { throw new IllegalArgumentException("illegal x: " + x); } int page = getPageNumber(x); IVector<T> v = findOrCreatePage(page); int localX = toLocalIndex(x, page); v.set(localX, value); }
@Override public void set(int x, T value) { if (x < 0) { throw new IllegalArgumentException("illegal x: " + x); } int page = getPageNumber(x); IVector<T> v = findOrCreatePage(page); int localX = toLocalIndex(x, page); v.set(localX, value); }
@Override public void set(int x, T value) { if (x < 0) { throw new IllegalArgumentException("illegal x: " + x); } int page = getPageNumber(x); IVector<T> v = findOrCreatePage(page); int localX = toLocalIndex(x, page); v.set(localX, value); }
s.remove(y); if (s.size() == 0) { delegateStore.set(x, null); for (IntVector element : smallStore) { element.set(x, EMPTY_CODE);
s.remove(y); if (s.size() == 0) { delegateStore.set(x, null); for (IntVector element : smallStore) { element.set(x, EMPTY_CODE);
s.remove(y); if (s.size() == 0) { delegateStore.set(x, null); for (IntVector element : smallStore) { element.set(x, EMPTY_CODE);
delegateStore.set(x, s); for (IntVector vv : smallStore) { s.add(vv.get(x));
delegateStore.set(x, s); for (IntVector vv : smallStore) { s.add(vv.get(x));
delegateStore.set(x, s); for (IntVector vv : smallStore) { s.add(vv.get(x));