Class SetFact

src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java:43–207

Represents set-like data-flow facts. @param type of elements

 * @param <E> type of elements
 */
public class SetFact<E> implements Copyable<SetFact<E>>, Iterable<E> {

    protected final Set<E> set;

    public SetFact(Collection<E> c) {
        if (c instanceof GenericBitSet<E> s) {
            set = s.copy();
        } else {
            set = Sets.newHybridSet(c);
        }
    }

    public SetFact() {
        this(Collections.emptySet());
    }

    /**
     * @return true if this set contains the specified element, otherwise false.
     */
    public boolean contains(E e) {
        return set.contains(e);
    }

    /**
     * Adds an element to this fact.
     *
     * @return true if this fact changed as a result of the call, otherwise false.
     */
    public boolean add(E e) {
        return set.add(e);
    }

    /**
     * Removes an element from this fact.
     *
     * @return true if an element was removed as a result of the call, otherwise false.
     */
    public boolean remove(E e) {
        return set.remove(e);
    }

    /**
     * Removes all the elements of this fact that satisfy the given predicate.
     *
     * @return true if any elements were removed as a result of the call,
     * otherwise false.
     */
    public boolean removeIf(Predicate<E> filter) {
        return set.removeIf(filter);
    }

    /**
     * Removes all elements of other fact.
     *
     * @return true if this fact changed as a result of the call, otherwise false.
     */
    public boolean removeAll(SetFact<E> other) {
        return set.removeAll(other.set);