private IntSet getDelegate(int x) { return delegateStore.get(x); }
private IntSet getDelegate(int x) { return delegateStore.get(x); }
private IntSet getDelegate(int x) { return delegateStore.get(x); }
public boolean isUnified(PointerKey p) { if (p == null) { throw new IllegalArgumentException("null p"); } int i = findOrCreateIndex(p); return pointsToSets.get(i) == UNIFIED; }
public boolean isImplicit(PointerKey p) { int i = getIndex(p); return i != -1 && pointsToSets.get(i) == IMPLICIT; }
public boolean isImplicit(PointerKey p) { int i = getIndex(p); return i != -1 && pointsToSets.get(i) == IMPLICIT; }
public boolean isUnified(PointerKey p) { if (p == null) { throw new IllegalArgumentException("null p"); } int i = findOrCreateIndex(p); return pointsToSets.get(i) == UNIFIED; }
/** * @return the {@link PointsToSetVariable} recorded for a particular id */ public PointsToSetVariable getPointsToSet(int id) { int repI = uf.find(id); return (PointsToSetVariable) pointsToSets.get(repI); }
/** * @return the {@link PointsToSetVariable} recorded for a particular id */ public PointsToSetVariable getPointsToSet(int id) { int repI = uf.find(id); return (PointsToSetVariable) pointsToSets.get(repI); }
@Override public T get(int x) { if (x < 0) { throw new IllegalArgumentException("invalid x: " + x); } int page = getPageNumber(x); if (page >= data.size()) { return null; } IVector<T> v = data.get(page); if (v == null) { return null; } int localX = x - getFirstIndexOnPage(page); return v.get(localX); }
@Override public T get(int x) { if (x < 0) { throw new IllegalArgumentException("invalid x: " + x); } int page = getPageNumber(x); if (page >= data.size()) { return null; } IVector<T> v = data.get(page); if (v == null) { return null; } int localX = x - getFirstIndexOnPage(page); return v.get(localX); }
@Override public T get(int x) { if (x < 0) { throw new IllegalArgumentException("invalid x: " + x); } int page = getPageNumber(x); if (page >= data.size()) { return null; } IVector<T> v = data.get(page); if (v == null) { return null; } int localX = x - getFirstIndexOnPage(page); return v.get(localX); }
private void advanceX() { delegateIterator = null; for (int i = nextX + 1; i <= maxX; i++) { if (anyRelated(i)) { nextX = i; nextIndex = getFirstIndex(i); if (nextIndex == smallStore.length) { IntSet s = delegateStore.get(i); assert s.size() > 0; delegateIterator = s.intIterator(); } return; } } nextX = -1; }
private void advanceX() { delegateIterator = null; for (int i = nextX + 1; i <= maxX; i++) { if (anyRelated(i)) { nextX = i; nextIndex = getFirstIndex(i); if (nextIndex == smallStore.length) { IntSet s = delegateStore.get(i); assert s.size() > 0; delegateIterator = s.intIterator(); } return; } } nextX = -1; }
private void advanceX() { delegateIterator = null; for (int i = nextX + 1; i <= maxX; i++) { if (anyRelated(i)) { nextX = i; nextIndex = getFirstIndex(i); if (nextIndex == smallStore.length) { IntSet s = delegateStore.get(i); assert s.size() > 0; delegateIterator = s.intIterator(); } return; } } nextX = -1; }
/** * If p is unified, returns the representative for p. */ public PointsToSetVariable getPointsToSet(PointerKey p) { if (p == null) { throw new IllegalArgumentException("null p"); } if (isImplicit(p)) { throw new IllegalArgumentException("unexpected: shouldn't ask a PointsToMap for an implicit points-to-set: " + p); } int i = pointerKeys.getMappedIndex(p); if (i == -1) { return null; } int repI = uf.find(i); PointsToSetVariable result = (PointsToSetVariable) pointsToSets.get(repI); if (result != null && p instanceof FilteredPointerKey && (!(result.getPointerKey() instanceof FilteredPointerKey))) { upgradeToFilter(result, ((FilteredPointerKey) p).getTypeFilter()); } return result; }
/** * If p is unified, returns the representative for p. */ public PointsToSetVariable getPointsToSet(PointerKey p) { if (p == null) { throw new IllegalArgumentException("null p"); } if (isImplicit(p)) { throw new IllegalArgumentException("unexpected: shouldn't ask a PointsToMap for an implicit points-to-set: " + p); } int i = pointerKeys.getMappedIndex(p); if (i == -1) { return null; } int repI = uf.find(i); PointsToSetVariable result = (PointsToSetVariable) pointsToSets.get(repI); if (result != null && p instanceof FilteredPointerKey && (!(result.getPointerKey() instanceof FilteredPointerKey))) { upgradeToFilter(result, ((FilteredPointerKey) p).getTypeFilter()); } return result; }
MutableIntSet s = (MutableIntSet) delegateStore.get(x); s.remove(y); if (s.size() == 0) {
MutableIntSet s = (MutableIntSet) delegateStore.get(x); s.remove(y); if (s.size() == 0) {
MutableIntSet s = (MutableIntSet) delegateStore.get(x); s.remove(y); if (s.size() == 0) {