com.ibm.wala.util.intset.LongSet Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of com.ibm.wala.util Show documentation

T. J. Watson Libraries for Analysis

The newest version!

/*
 * Copyright (c) 2002 - 2006 IBM Corporation.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 */
package com.ibm.wala.util.intset;

import org.jspecify.annotations.Nullable;

/** Set of longs; not necessary mutable TODO: extract a smaller interface? */
public interface LongSet {

  /**
   * @return true iff this set contains long i
   */
  boolean contains(long i);

  /**
   * @return true iff this set contains integer i
   */
  boolean containsAny(LongSet set);

  /**
   * This implementation must not despoil the original value of "this"
   *
   * @return a new IntSet which is the intersection of this and that
   */
  @Nullable LongSet intersection(LongSet that);

  /**
   * @return true iff this set is empty
   */
  boolean isEmpty();

  /**
   * @return the number of elements in this set
   */
  int size();

  /**
   * @return maximum integer in this set.
   */
  long max();

  /**
   * @return true iff {@code this} has the same value as {@code that}.
   */
  boolean sameValue(LongSet that);

  /**
   * @return true iff {@code this} is a subset of {@code that}.
   */
  boolean isSubset(LongSet that);

  /**
   * @return a perhaps more efficient iterator
   */
  LongIterator longIterator();

  /** Invoke an action on each element of the Set */
  void foreach(LongSetAction action);

  /** Invoke an action on each element of the Set, excluding elements of Set X */
  void foreachExcluding(LongSet X, LongSetAction action);
}