本文整理了Java中com.ibm.wala.ipa.callgraph.impl.Util.setify()方法的一些代码示例，展示了Util.setify()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。Util.setify()方法的具体详情如下：
包路径：com.ibm.wala.ipa.callgraph.impl.Util
类名称：Util
方法名：setify

Util.setify介绍

[英]create a set holding the contents of an Iterator
[中]创建一个包含迭代器内容的集合

代码示例

代码示例来源：origin: wala/WALA

throw new IllegalArgumentException("subG is null");
Set<T> nodeDiff = setify(subG.iterator());
nodeDiff.removeAll(setify(supG.iterator()));
if (!nodeDiff.isEmpty()) {
 System.err.println("supergraph: ");
 Set<T> succDiff = setify(subG.getSuccNodes(m));
 succDiff.removeAll(setify(supG.getSuccNodes(m)));
 if (!succDiff.isEmpty()) {
  Assertions.productionAssertion(succDiff.isEmpty(), "bad superset for successors of " + m + ':' + succDiff);
 Set<T> predDiff = setify(subG.getPredNodes(m));
 predDiff.removeAll(setify(supG.getPredNodes(m)));
 if (!predDiff.isEmpty()) {
  System.err.println("supergraph: ");

代码示例来源：origin: com.ibm.wala/com.ibm.wala.core

throw new IllegalArgumentException("subG is null");
Set<T> nodeDiff = setify(subG.iterator());
nodeDiff.removeAll(setify(supG.iterator()));
if (!nodeDiff.isEmpty()) {
 System.err.println("supergraph: ");
 Set<T> succDiff = setify(subG.getSuccNodes(m));
 succDiff.removeAll(setify(supG.getSuccNodes(m)));
 if (!succDiff.isEmpty()) {
  Assertions.productionAssertion(succDiff.isEmpty(), "bad superset for successors of " + m + ':' + succDiff);
 Set<T> predDiff = setify(subG.getPredNodes(m));
 predDiff.removeAll(setify(supG.getPredNodes(m)));
 if (!predDiff.isEmpty()) {
  System.err.println("supergraph: ");