/** */ private boolean addAllInIntersectionInternal(MutableSharedBitVectorIntSet other, IntSet filter) { if (other.sharedPart == null) { if (other.privatePart == null) { return false; } else { // other.sharedPart == null, other.privatePart != null return addAllInIntersectionInternal(other.privatePart, filter); } } else { // other.sharedPart != null if (sharedPart == other.sharedPart) { // no need to add in other.sharedPart if (other.privatePart == null) { return false; } else { return addAllInIntersectionInternal(other.privatePart, filter); } } else { MutableSharedBitVectorIntSet o = new MutableSharedBitVectorIntSet(other); o.intersectWith(filter); return addAll(o); } } }
/** */ private boolean addAllInIntersectionInternal(MutableSharedBitVectorIntSet other, IntSet filter) { if (other.sharedPart == null) { if (other.privatePart == null) { return false; } else { // other.sharedPart == null, other.privatePart != null return addAllInIntersectionInternal(other.privatePart, filter); } } else { // other.sharedPart != null if (sharedPart == other.sharedPart) { // no need to add in other.sharedPart if (other.privatePart == null) { return false; } else { return addAllInIntersectionInternal(other.privatePart, filter); } } else { MutableSharedBitVectorIntSet o = new MutableSharedBitVectorIntSet(other); o.intersectWith(filter); return addAll(o); } } }
/** */ private boolean addAllInIntersectionInternal(MutableSharedBitVectorIntSet other, IntSet filter) { if (other.sharedPart == null) { if (other.privatePart == null) { return false; } else { // other.sharedPart == null, other.privatePart != null return addAllInIntersectionInternal(other.privatePart, filter); } } else { // other.sharedPart != null if (sharedPart == other.sharedPart) { // no need to add in other.sharedPart if (other.privatePart == null) { return false; } else { return addAllInIntersectionInternal(other.privatePart, filter); } } else { MutableSharedBitVectorIntSet o = new MutableSharedBitVectorIntSet(other); o.intersectWith(filter); return addAll(o); } } }
/** * Add all the bits from other to this bit vector */ public void addAll(BitVectorVariable other) { if (other == null) { throw new IllegalArgumentException("null other"); } if (V == null) { copyState(other); } else { if (other.V != null) { V.addAll(other.V); } } }
/** * Add all the bits from other to this bit vector */ public void addAll(BitVectorVariable other) { if (other == null) { throw new IllegalArgumentException("null other"); } if (V == null) { copyState(other); } else { if (other.V != null) { V.addAll(other.V); } } }
/** * Add all the bits from other to this bit vector */ public void addAll(BitVectorVariable other) { if (other == null) { throw new IllegalArgumentException("null other"); } if (V == null) { copyState(other); } else { if (other.V != null) { V.addAll(other.V); } } }
/** */ private boolean addAllInIntersectionGeneral(IntSet other, IntSet filter) { BitVectorIntSet o = new BitVectorIntSet(other); o.intersectWith(filter); return addAll(o); }
/** */ private boolean addAllInIntersectionGeneral(IntSet other, IntSet filter) { BitVectorIntSet o = new BitVectorIntSet(other); o.intersectWith(filter); return addAll(o); }
/** */ private boolean addAllInIntersectionGeneral(IntSet other, IntSet filter) { BitVectorIntSet o = new BitVectorIntSet(other); o.intersectWith(filter); return addAll(o); }
@Override public void copySet(IntSet set) { if (set instanceof MutableSharedBitVectorIntSet) { MutableSharedBitVectorIntSet other = (MutableSharedBitVectorIntSet) set; if (other.privatePart != null) { this.privatePart = MutableSparseIntSet.make(other.privatePart); } else { this.privatePart = null; } this.sharedPart = other.sharedPart; } else { // really slow. optimize as needed. clear(); addAll(set); } if (PARANOID) { checkIntegrity(); } }
@Override public void copySet(IntSet set) { if (set instanceof MutableSharedBitVectorIntSet) { MutableSharedBitVectorIntSet other = (MutableSharedBitVectorIntSet) set; if (other.privatePart != null) { this.privatePart = MutableSparseIntSet.make(other.privatePart); } else { this.privatePart = null; } this.sharedPart = other.sharedPart; } else { // really slow. optimize as needed. clear(); addAll(set); } if (PARANOID) { checkIntegrity(); } }
@Override public void copySet(IntSet set) { if (set instanceof MutableSharedBitVectorIntSet) { MutableSharedBitVectorIntSet other = (MutableSharedBitVectorIntSet) set; if (other.privatePart != null) { this.privatePart = MutableSparseIntSet.make(other.privatePart); } else { this.privatePart = null; } this.sharedPart = other.sharedPart; } else { // really slow. optimize as needed. clear(); addAll(set); } if (PARANOID) { checkIntegrity(); } }
/** * Add all the bits in B to this bit vector */ public void addAll(BitVector B) { if (B == null) { throw new IllegalArgumentException("null B"); } if (V == null) { V = new MutableSharedBitVectorIntSet(new BitVectorIntSet(B)); return; } else { V.addAll(new BitVectorIntSet(B)); } }
/** * Add all the bits in B to this bit vector */ public void addAll(BitVector B) { if (B == null) { throw new IllegalArgumentException("null B"); } if (V == null) { V = new MutableSharedBitVectorIntSet(new BitVectorIntSet(B)); return; } else { V.addAll(new BitVectorIntSet(B)); } }
/** * Add all the bits in B to this bit vector */ public void addAll(BitVector B) { if (B == null) { throw new IllegalArgumentException("null B"); } if (V == null) { V = new MutableSharedBitVectorIntSet(new BitVectorIntSet(B)); return; } else { V.addAll(new BitVectorIntSet(B)); } }
@Override public MutableSharedBitVectorIntSet getAllTargetNumbers() { MutableSharedBitVectorIntSet result = new MutableSharedBitVectorIntSet(super.getAllTargetNumbers()); for (Object n : targets) { if (n instanceof CallSite) { ExplicitNode delegate = (ExplicitNode) ((CallSite) n).getNode(); IntSet s = DelegatingExplicitCallGraph.this.getPossibleTargetNumbers(delegate, ((CallSite) n).getSite()); if (s != null) { result.addAll(s); } } } return result; }
@Override public MutableSharedBitVectorIntSet getAllTargetNumbers() { MutableSharedBitVectorIntSet result = new MutableSharedBitVectorIntSet(super.getAllTargetNumbers()); for (Object n : targets) { if (n instanceof CallSite) { ExplicitNode delegate = (ExplicitNode) ((CallSite) n).getNode(); IntSet s = DelegatingExplicitCallGraph.this.getPossibleTargetNumbers(delegate, ((CallSite) n).getSite()); if (s != null) { result.addAll(s); } } } return result; }