@Override public int getMappedIndex(Object o) { if (delegate.getMappedIndex(o) == -1) { return -1; } return offset + delegate.getMappedIndex(o); }
@Override public T getMappedObject(int n) throws NoSuchElementException { return delegate.getMappedObject(n - offset); }
public FlowsToComputer(InstanceKeyAndState ikAndState) { this.queriedIkAndState = ikAndState; this.queriedIkAndStateNum = ikAndStates.add(queriedIkAndState); }
@Override public Object getNode(int number) { if (number > pointerKeys.getMaximumIndex()) { return P.getInstanceKeyMapping().getMappedObject(number - pointerKeys.getSize()); } else { return pointerKeys.getMappedObject(number); } }
public Set<TypeReference> computeExceptions(BitVectorVariable bitVector) { Set<TypeReference> result = new HashSet<>(); for (int i = 0; i < values.getSize(); i++) { if (bitVector.get(i)) { result.add(values.getMappedObject(i)); } } return result; } }
@Override public int getNumber(Object N) { if (N instanceof PointerKey) { return pointerKeys.getMappedIndex(N); } else { if (!(N instanceof InstanceKey)) { Assertions.UNREACHABLE(N.getClass().toString()); } int inumber = P.getInstanceKeyMapping().getMappedIndex(N); return (inumber == -1) ? -1 : inumber + pointerKeys.getMaximumIndex() + 1; } }
public BitVector computeBitVector(Set<TypeReference> exceptions) { BitVector result = new BitVector(values.getSize()); for (TypeReference exception : exceptions) { int pos = values.getMappedIndex(exception); if (pos != -1) { result.set(pos); } else { throw new IllegalArgumentException("Got exception I don't know about," + "make sure only to use exceptions given to the constructor "); } } return result; }
node = new ConstantString(pa.getInstanceKeyMapping().getMappedIndex(k), (String)((ConstantKey<?>)k).getValue()); addNode(node); nodeMap.put(k, node); HashSet<InstanceKey> iks = new HashSet<>(); for (Integer i: ((StringBuilderToStringInstanceKeySite) node).concatenatedInstanceKeys) { iks.add(pa.getInstanceKeyMapping().getMappedObject(i));
@Override public int getSize() { return delegate.getSize(); }
@Override public int getMaximumIndex() { return offset + delegate.getMaximumIndex(); }
@Override public Iterator<T> iterator() { return delegate.iterator(); }
@Override public boolean hasMappedIndex(T o) { return delegate.hasMappedIndex(o); }
public BitVector computeBitVector(Set<TypeReference> exceptions) { BitVector result = new BitVector(values.getSize()); for (TypeReference exception : exceptions) { int pos = values.getMappedIndex(exception); if (pos != -1) { result.set(pos); } else { throw new IllegalArgumentException("Got exception I don't know about," + "make sure only to use exceptions given to the constructor "); } } return result; }
public Set<TypeReference> computeExceptions(BitVectorVariable bitVector) { Set<TypeReference> result = new HashSet<>(); for (int i = 0; i < values.getSize(); i++) { if (bitVector.get(i)) { result.add(values.getMappedObject(i)); } } return result; } }
@Override public Object getNode(int number) { if (number > pointerKeys.getMaximumIndex()) { return P.getInstanceKeyMapping().getMappedObject(number - pointerKeys.getSize()); } else { return pointerKeys.getMappedObject(number); } }
@Override public int getNumber(Object N) { if (N instanceof PointerKey) { return pointerKeys.getMappedIndex(N); } else { if (!(N instanceof InstanceKey)) { Assertions.UNREACHABLE(N.getClass().toString()); } int inumber = P.getInstanceKeyMapping().getMappedIndex(N); return (inumber == -1) ? -1 : inumber + pointerKeys.getMaximumIndex() + 1; } }
@Override public int getSize() { return delegate.getSize(); }
@Override public int getMaximumIndex() { return offset + delegate.getMaximumIndex(); }
@Override public Iterator<T> iterator() { return delegate.iterator(); }
@Override public boolean hasMappedIndex(T o) { return delegate.hasMappedIndex(o); }