예제 #1
0
 /**
  * Removes a set of deps from the set of known direct deps. This is complicated by the need to
  * maintain the group data. If we remove a dep that ended a group, then its predecessor's group
  * data must be changed to indicate that it now ends the group.
  *
  * @see NodeEntry#removeUnfinishedDeps
  */
 void removeDirectDeps(Set<SkyKey> unfinishedDeps) {
   directDeps.remove(unfinishedDeps);
 }
예제 #2
0
 /**
  * Remove all elements of toRemove from this list. It is a fatal error if any elements of
  * toRemove are not present. Takes time proportional to the size of the list, so should not be
  * called often.
  */
 public void remove(Set<E> toRemove) {
   groupedList = GroupedList.remove(groupedList, toRemove);
   int oldSize = size();
   elements.removeAll(toRemove);
   Preconditions.checkState(oldSize == size() + toRemove.size(), "%s %s", toRemove, this);
 }