diff --git a/java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll b/java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll index e2a95326fe8..a223a99e886 100644 --- a/java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll +++ b/java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll @@ -454,7 +454,7 @@ private class GuavaCollectCsv extends SummaryModelCsv { "com.google.common.collect;Multisets;false;difference;(Multiset,Multiset);;Element of Argument[0];Element of ReturnValue;value", "com.google.common.collect;Multisets;false;filter;(Multiset,Predicate);;Element of Argument[0];Element of ReturnValue;value", "com.google.common.collect;Multisets;false;immutableEntry;(Object,int);;Argument[0];Element of ReturnValue;value", - "com.google.common.collect;Mulisets;false;intersection;(Muliset,Muliset);;Element of Argument[0..1];Element of ReturnValue;value", + "com.google.common.collect;Multisets;false;intersection;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value", "com.google.common.collect;Multisets;false;sum;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value", "com.google.common.collect;Multisets;false;union;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value", "com.google.common.collect;Multisets;false;unmodifiableMultiset;(Multiset);;Element of Argument[0];Element of ReturnValue;value", diff --git a/java/ql/test/library-tests/frameworks/guava/generated/collect/Test.java b/java/ql/test/library-tests/frameworks/guava/generated/collect/Test.java index be78444f584..6e0a4d1aab2 100644 --- a/java/ql/test/library-tests/frameworks/guava/generated/collect/Test.java +++ b/java/ql/test/library-tests/frameworks/guava/generated/collect/Test.java @@ -60,6 +60,7 @@ import java.util.ArrayList; import java.util.Collection; import java.util.Comparator; import java.util.Deque; +import java.util.EnumMap; import java.util.Enumeration; import java.util.HashMap; import java.util.HashSet; @@ -88,8 +89,28 @@ import java.util.concurrent.LinkedBlockingQueue; import java.util.concurrent.PriorityBlockingQueue; // Test case generated by GenerateFlowTestCase.ql -public class Test extends Methods { - T source() { return null; } +public class Test { + + K getMapKey(Map map) { return map.keySet().iterator().next(); } + T getArrayElement(T[] array) { return array[0]; } + T getElement(Iterable it) { return it.iterator().next(); } + T getElement(Iterator it) { return it.next(); } + V getMapValue(Map map) { return map.get(null); } + Object getElement(Object container) { return null; } + Object getMapDifference_left(Object container) { return null; } + Object getMapDifference_right(Object container) { return null; } + Object getMapKey(Object container) { return null; } + Object getMapValue(Object container) { return null; } + Object getTable_columnKey(Object container) { return null; } + Object getTable_rowKey(Object container) { return null; } + Object newWithElement(Object element) { return null; } + Object newWithMapDifference_left(Object element) { return null; } + Object newWithMapDifference_right(Object element) { return null; } + Object newWithMapKey(Object element) { return null; } + Object newWithMapValue(Object element) { return null; } + Object newWithTable_columnKey(Object element) { return null; } + Object newWithTable_rowKey(Object element) { return null; } + Object source() { return null; } void sink(Object o) { } public void test() throws Exception { @@ -125,28 +146,28 @@ public class Test extends Methods { { // "com.google.common.collect;BiMap;true;forcePut;(Object,Object);;Argument[0];MapKey of Argument[-1];value" HashBiMap out = null; - Object in = source(); + Object in = (Object)source(); out.forcePut(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;BiMap;true;forcePut;(Object,Object);;Argument[0];MapKey of Argument[-1];value" BiMap out = null; - Object in = source(); + Object in = (Object)source(); out.forcePut(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;BiMap;true;forcePut;(Object,Object);;Argument[1];MapValue of Argument[-1];value" HashBiMap out = null; - Object in = source(); + Object in = (Object)source(); out.forcePut(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;BiMap;true;forcePut;(Object,Object);;Argument[1];MapValue of Argument[-1];value" BiMap out = null; - Object in = source(); + Object in = (Object)source(); out.forcePut(null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -202,21 +223,21 @@ public class Test extends Methods { { // "com.google.common.collect;ClassToInstanceMap;true;putInstance;(Class,Object);;Argument[1];MapValue of Argument[-1];value" MutableClassToInstanceMap out = null; - Object in = source(); + Object in = (Object)source(); out.putInstance(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ClassToInstanceMap;true;putInstance;(Class,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableClassToInstanceMap out = null; - Object in = source(); + Object in = (Object)source(); out.putInstance(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ClassToInstanceMap;true;putInstance;(Class,Object);;Argument[1];MapValue of Argument[-1];value" ClassToInstanceMap out = null; - Object in = source(); + Object in = (Object)source(); out.putInstance(null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -249,25 +270,25 @@ public class Test extends Methods { sink(getElement(out)); // $ hasValueFlow } { - // "com.google.common.collect;Collections2;false;orderedPermutations;(Iterable);;Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Collections2;false;orderedPermutations;(Iterable);;Element of Argument[0];Element of Element of ReturnValue;value" Collection out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Collections2.orderedPermutations(in); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { - // "com.google.common.collect;Collections2;false;orderedPermutations;(Iterable,Comparator);;Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Collections2;false;orderedPermutations;(Iterable,Comparator);;Element of Argument[0];Element of Element of ReturnValue;value" Collection out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Collections2.orderedPermutations(in, null); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { - // "com.google.common.collect;Collections2;false;permutations;(Collection);;Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Collections2;false;permutations;(Collection);;Element of Argument[0];Element of Element of ReturnValue;value" Collection out = null; - Collection in = (Collection)newWithElement(source()); + Collection in = (Collection)List.of(source()); out = Collections2.permutations(in); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;ConcurrentHashMultiset;true;create;(Iterable);;Element of Argument[0];Element of ReturnValue;value" @@ -300,14 +321,14 @@ public class Test extends Methods { { // "com.google.common.collect;HashBiMap;true;create;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" HashBiMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = HashBiMap.create(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;HashBiMap;true;create;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" HashBiMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = HashBiMap.create(in); sink(getMapValue(out)); // $ hasValueFlow } @@ -335,196 +356,196 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableClassToInstanceMap;true;copyOf;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" ImmutableClassToInstanceMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = ImmutableClassToInstanceMap.copyOf(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableClassToInstanceMap;true;copyOf;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" ImmutableClassToInstanceMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = ImmutableClassToInstanceMap.copyOf(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableClassToInstanceMap;true;of;(Class,Object);;Argument[0];MapKey of ReturnValue;value" ImmutableClassToInstanceMap out = null; - Class in = source(); + Class in = (Class)source(); out = ImmutableClassToInstanceMap.of(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableClassToInstanceMap;true;of;(Class,Object);;Argument[1];MapValue of ReturnValue;value" ImmutableClassToInstanceMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableClassToInstanceMap.of(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableSortedSet.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableSortedMultiset.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableSet.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableMultiset.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableList.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object);;Argument[0];Element of Argument[-1];value" ImmutableCollection.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableSortedSet.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableSortedMultiset.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableSet.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableMultiset.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableList.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;(Object[]);;ArrayElement of Argument[0];Element of Argument[-1];value" ImmutableCollection.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.add(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSortedSet.Builder out = null; - ImmutableSortedSet.Builder in = source(); + ImmutableSortedSet.Builder in = (ImmutableSortedSet.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSortedSet.Builder out = null; - ImmutableSortedSet.Builder in = source(); + ImmutableSortedSet.Builder in = (ImmutableSortedSet.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSortedMultiset.Builder out = null; - ImmutableSortedMultiset.Builder in = source(); + ImmutableSortedMultiset.Builder in = (ImmutableSortedMultiset.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSortedMultiset.Builder out = null; - ImmutableSortedMultiset.Builder in = source(); + ImmutableSortedMultiset.Builder in = (ImmutableSortedMultiset.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSet.Builder out = null; - ImmutableSet.Builder in = source(); + ImmutableSet.Builder in = (ImmutableSet.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableSet.Builder out = null; - ImmutableSet.Builder in = source(); + ImmutableSet.Builder in = (ImmutableSet.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableMultiset.Builder out = null; - ImmutableMultiset.Builder in = source(); + ImmutableMultiset.Builder in = (ImmutableMultiset.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableMultiset.Builder out = null; - ImmutableMultiset.Builder in = source(); + ImmutableMultiset.Builder in = (ImmutableMultiset.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableList.Builder out = null; - ImmutableList.Builder in = source(); + ImmutableList.Builder in = (ImmutableList.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableList.Builder out = null; - ImmutableList.Builder in = source(); + ImmutableList.Builder in = (ImmutableList.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableCollection.Builder out = null; - ImmutableCollection.Builder in = source(); + ImmutableCollection.Builder in = (ImmutableCollection.Builder)source(); out = in.add((Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;add;;;Argument[-1];ReturnValue;value" ImmutableCollection.Builder out = null; - ImmutableCollection.Builder in = source(); + ImmutableCollection.Builder in = (ImmutableCollection.Builder)source(); out = in.add((Object)null); sink(out); // $ hasValueFlow } @@ -559,7 +580,7 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;(Iterable);;Element of Argument[0];Element of Argument[-1];value" ImmutableList.Builder out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out.addAll(in); sink(getElement(out)); // $ hasValueFlow } @@ -615,84 +636,84 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSortedSet.Builder out = null; - ImmutableSortedSet.Builder in = source(); + ImmutableSortedSet.Builder in = (ImmutableSortedSet.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSortedSet.Builder out = null; - ImmutableSortedSet.Builder in = source(); + ImmutableSortedSet.Builder in = (ImmutableSortedSet.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSortedMultiset.Builder out = null; - ImmutableSortedMultiset.Builder in = source(); + ImmutableSortedMultiset.Builder in = (ImmutableSortedMultiset.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSortedMultiset.Builder out = null; - ImmutableSortedMultiset.Builder in = source(); + ImmutableSortedMultiset.Builder in = (ImmutableSortedMultiset.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSet.Builder out = null; - ImmutableSet.Builder in = source(); + ImmutableSet.Builder in = (ImmutableSet.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableSet.Builder out = null; - ImmutableSet.Builder in = source(); + ImmutableSet.Builder in = (ImmutableSet.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableMultiset.Builder out = null; - ImmutableMultiset.Builder in = source(); + ImmutableMultiset.Builder in = (ImmutableMultiset.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableMultiset.Builder out = null; - ImmutableMultiset.Builder in = source(); + ImmutableMultiset.Builder in = (ImmutableMultiset.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableList.Builder out = null; - ImmutableList.Builder in = source(); + ImmutableList.Builder in = (ImmutableList.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableList.Builder out = null; - ImmutableList.Builder in = source(); + ImmutableList.Builder in = (ImmutableList.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableCollection.Builder out = null; - ImmutableCollection.Builder in = source(); + ImmutableCollection.Builder in = (ImmutableCollection.Builder)source(); out = in.addAll((Iterator)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableCollection$Builder;true;addAll;;;Argument[-1];ReturnValue;value" ImmutableCollection.Builder out = null; - ImmutableCollection.Builder in = source(); + ImmutableCollection.Builder in = (ImmutableCollection.Builder)source(); out = in.addAll((Iterable)null); sink(out); // $ hasValueFlow } @@ -769,14 +790,14 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableList;true;copyOf;(Collection);;Element of Argument[0];Element of ReturnValue;value" ImmutableList out = null; - Collection in = (Collection)newWithElement(source()); + Collection in = (Collection)List.of(source()); out = ImmutableList.copyOf(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;copyOf;(Iterable);;Element of Argument[0];Element of ReturnValue;value" ImmutableList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = ImmutableList.copyOf(in); sink(getElement(out)); // $ hasValueFlow } @@ -790,561 +811,561 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableList;true;copyOf;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ImmutableList out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ImmutableList.copyOf(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, null, null, null, null, null, in, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, null, null, null, null, in, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, null, null, null, in, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, null, null, in, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, null, in, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, null, in, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, null, in, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, null, in, null, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, null, in, null, null, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, null, in, null, null, null, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(null, in, null, null, null, null, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); - out = ImmutableList.of(in, null, null, null, null, null, null, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" - ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableList.of(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" ImmutableList out = null; - Object in = source(); + Object in = (Object)source(); + out = ImmutableList.of(in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); out = ImmutableList.of(in); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableList;true;of;;;Argument[0..11];Element of ReturnValue;value" + ImmutableList out = null; + Object in = (Object)source(); + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableList;true;of;;;ArrayElement of Argument[12];Element of ReturnValue;value" ImmutableList out = null; - Object[] in = newWithArrayElement(source()); - out = ImmutableList.of(null, null, null, null, null, null, null, null, null, null, null, null, in); + Object[] in = (Object[])new Object[]{source()}; + out = ImmutableList.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in); sink(getElement(out)); // $ hasValueFlow } { @@ -1357,24 +1378,17 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableList;true;sortedCopyOf;(Comparator,Iterable);;Element of Argument[1];Element of ReturnValue;value" ImmutableList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = ImmutableList.sortedCopyOf(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableList;true;sortedCopyOf;(Iterable);;Element of Argument[0];Element of ReturnValue;value" ImmutableList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = ImmutableList.sortedCopyOf(in); sink(getElement(out)); // $ hasValueFlow } - { - // "com.google.common.collect;ImmutableList;true;subList;(int,int);;Element of Argument[-1];Element of ReturnValue;value" - ImmutableList out = null; - ImmutableList in = (ImmutableList)newWithElement(source()); - out = in.subList(0, 0); - sink(getElement(out)); // $ hasValueFlow - } { // "com.google.common.collect;ImmutableMap$Builder;true;build;();;MapKey of Argument[-1];MapKey of ReturnValue;value" ImmutableSortedMap out = null; @@ -1406,14 +1420,14 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMap$Builder;true;orderEntriesByValue;(Comparator);;Argument[-1];ReturnValue;value" ImmutableSortedMap.Builder out = null; - ImmutableSortedMap.Builder in = source(); + ImmutableSortedMap.Builder in = (ImmutableSortedMap.Builder)source(); out = in.orderEntriesByValue(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;orderEntriesByValue;(Comparator);;Argument[-1];ReturnValue;value" ImmutableMap.Builder out = null; - ImmutableMap.Builder in = source(); + ImmutableMap.Builder in = (ImmutableMap.Builder)source(); out = in.orderEntriesByValue(null); sink(out); // $ hasValueFlow } @@ -1448,56 +1462,56 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMap$Builder;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableSortedMap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableMap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableSortedMap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableMap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableSortedMap.Builder out = null; - ImmutableSortedMap.Builder in = source(); + ImmutableSortedMap.Builder in = (ImmutableSortedMap.Builder)source(); out = in.put(null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableSortedMap.Builder out = null; - ImmutableSortedMap.Builder in = source(); + ImmutableSortedMap.Builder in = (ImmutableSortedMap.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableMap.Builder out = null; - ImmutableMap.Builder in = source(); + ImmutableMap.Builder in = (ImmutableMap.Builder)source(); out = in.put(null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableMap.Builder out = null; - ImmutableMap.Builder in = source(); + ImmutableMap.Builder in = (ImmutableMap.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } @@ -1532,56 +1546,56 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;(Map);;MapKey of Argument[0];MapKey of Argument[-1];value" ImmutableSortedMap.Builder out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out.putAll(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;(Map);;MapKey of Argument[0];MapKey of Argument[-1];value" ImmutableMap.Builder out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out.putAll(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;(Map);;MapValue of Argument[0];MapValue of Argument[-1];value" ImmutableSortedMap.Builder out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out.putAll(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;(Map);;MapValue of Argument[0];MapValue of Argument[-1];value" ImmutableMap.Builder out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out.putAll(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSortedMap.Builder out = null; - ImmutableSortedMap.Builder in = source(); + ImmutableSortedMap.Builder in = (ImmutableSortedMap.Builder)source(); out = in.putAll((Map)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSortedMap.Builder out = null; - ImmutableSortedMap.Builder in = source(); + ImmutableSortedMap.Builder in = (ImmutableSortedMap.Builder)source(); out = in.putAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMap.Builder out = null; - ImmutableMap.Builder in = source(); + ImmutableMap.Builder in = (ImmutableMap.Builder)source(); out = in.putAll((Map)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMap.Builder out = null; - ImmutableMap.Builder in = source(); + ImmutableMap.Builder in = (ImmutableMap.Builder)source(); out = in.putAll((Iterable)null); sink(out); // $ hasValueFlow } @@ -1602,224 +1616,224 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMap;true;copyOf;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = ImmutableMap.copyOf(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;copyOf;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" ImmutableMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = ImmutableMap.copyOf(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(in, null, null, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, in, null, null, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[8];MapKey of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMap;true;of;;;Argument[9];MapValue of ReturnValue;value" ImmutableMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMap.of(null, null, null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -1868,42 +1882,42 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderKeysBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.orderKeysBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderKeysBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.orderKeysBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderKeysBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.orderKeysBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderValuesBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.orderValuesBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderValuesBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.orderValuesBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;orderValuesBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.orderValuesBy(null); sink(out); // $ hasValueFlow } @@ -1952,84 +1966,84 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableSetMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableListMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableSetMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableListMultimap.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.put(null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.put(null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.put(null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;put;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } @@ -2117,27 +2131,6 @@ public class Test extends Methods { out.putAll(in); sink(getMapValue(out)); // $ hasValueFlow } - { - // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" - ImmutableSetMultimap.Builder out = null; - Object in = source(); - out.putAll(in, (Iterable)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" - ImmutableMultimap.Builder out = null; - Object in = source(); - out.putAll(in, (Iterable)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" - ImmutableListMultimap.Builder out = null; - Object in = source(); - out.putAll(in, (Iterable)null); - sink(getMapKey(out)); // $ hasValueFlow - } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Iterable);;Element of Argument[1];MapValue of Argument[-1];value" ImmutableSetMultimap.Builder out = null; @@ -2162,108 +2155,192 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Object[]);;ArrayElement of Argument[1];MapValue of Argument[-1];value" ImmutableSetMultimap.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.putAll((Object)null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Object[]);;ArrayElement of Argument[1];MapValue of Argument[-1];value" ImmutableMultimap.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.putAll((Object)null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;(Object,Object[]);;ArrayElement of Argument[1];MapValue of Argument[-1];value" ImmutableListMultimap.Builder out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out.putAll((Object)null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.putAll((Object)null, (Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.putAll((Object)null, (Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.putAll((Multimap)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableSetMultimap.Builder out = null; - ImmutableSetMultimap.Builder in = source(); + ImmutableSetMultimap.Builder in = (ImmutableSetMultimap.Builder)source(); out = in.putAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.putAll((Object)null, (Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.putAll((Object)null, (Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.putAll((Multimap)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableMultimap.Builder out = null; - ImmutableMultimap.Builder in = source(); + ImmutableMultimap.Builder in = (ImmutableMultimap.Builder)source(); out = in.putAll((Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.putAll((Object)null, (Object[])null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.putAll((Object)null, (Iterable)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.putAll((Multimap)null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[-1];ReturnValue;value" ImmutableListMultimap.Builder out = null; - ImmutableListMultimap.Builder in = source(); + ImmutableListMultimap.Builder in = (ImmutableListMultimap.Builder)source(); out = in.putAll((Iterable)null); sink(out); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableSetMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Object[])null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableSetMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Iterable)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableSetMultimap.Builder out = null; + Multimap in = (Multimap)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableSetMultimap.Builder out = null; + Iterable in = (Iterable)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Object[])null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Iterable)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableMultimap.Builder out = null; + Multimap in = (Multimap)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableMultimap.Builder out = null; + Iterable in = (Iterable)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableListMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Object[])null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableListMultimap.Builder out = null; + Object in = (Object)source(); + out.putAll(in, (Iterable)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableListMultimap.Builder out = null; + Multimap in = (Multimap)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultimap$Builder;true;putAll;;;Argument[0];MapKey of Argument[-1];value" + ImmutableListMultimap.Builder out = null; + Iterable in = (Iterable)source(); + out.putAll(in); + sink(getMapKey(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableMultimap;true;copyOf;(Iterable);;MapKey of Element of Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; @@ -2337,241 +2414,255 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(in, null, null, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, in, null, null, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[8];MapKey of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultimap;true;of;;;Argument[9];MapValue of ReturnValue;value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultimap.of(null, null, null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset$Builder;true;addCopies;(Object,int);;Argument[-1];ReturnValue;value" ImmutableSortedMultiset.Builder out = null; - ImmutableSortedMultiset.Builder in = source(); + ImmutableSortedMultiset.Builder in = (ImmutableSortedMultiset.Builder)source(); out = in.addCopies(null, 0); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset$Builder;true;addCopies;(Object,int);;Argument[-1];ReturnValue;value" ImmutableMultiset.Builder out = null; - ImmutableMultiset.Builder in = source(); + ImmutableMultiset.Builder in = (ImmutableMultiset.Builder)source(); out = in.addCopies(null, 0); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset$Builder;true;addCopies;(Object,int);;Argument[0];Element of Argument[-1];value" ImmutableSortedMultiset.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.addCopies(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset$Builder;true;addCopies;(Object,int);;Argument[0];Element of Argument[-1];value" ImmutableMultiset.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.addCopies(in, 0); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableMultiset$Builder;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" + ImmutableSortedMultiset.Builder out = null; + Object in = (Object)source(); + out.setCount(in, 0); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset$Builder;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" + ImmutableMultiset.Builder out = null; + Object in = (Object)source(); + out.setCount(in, 0); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableMultiset;true;copyOf;(Iterable);;Element of Argument[0];Element of ReturnValue;value" ImmutableMultiset out = null; @@ -2589,162 +2680,162 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableMultiset;true;copyOf;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ImmutableMultiset out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ImmutableMultiset.copyOf(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(null, null, null, null, null, in, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(null, null, null, null, in, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(null, null, null, in, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(null, null, in, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(null, in, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); - out = ImmutableMultiset.of(in, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableMultiset.of(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); + out = ImmutableMultiset.of(in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); out = ImmutableMultiset.of(in); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); + out = ImmutableMultiset.of((Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); + out = ImmutableMultiset.of((Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); + out = ImmutableMultiset.of((Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); + out = ImmutableMultiset.of((Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableMultiset out = null; + Object in = (Object)source(); + out = ImmutableMultiset.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableMultiset;true;of;;;ArrayElement of Argument[6];Element of ReturnValue;value" ImmutableMultiset out = null; - Object[] in = newWithArrayElement(source()); - out = ImmutableMultiset.of(null, null, null, null, null, null, in); + Object[] in = (Object[])new Object[]{source()}; + out = ImmutableMultiset.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in); sink(getElement(out)); // $ hasValueFlow } { @@ -2771,162 +2862,162 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSet;true;copyOf;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ImmutableSet out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ImmutableSet.copyOf(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(null, null, null, null, null, in, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(null, null, null, null, in, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(null, null, null, in, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(null, null, in, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(null, in, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); - out = ImmutableSet.of(in, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSet.of(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSet out = null; - Object in = source(); + Object in = (Object)source(); + out = ImmutableSet.of(in, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); out = ImmutableSet.of(in); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); + out = ImmutableSet.of((Object)null, in, (Object)null, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); + out = ImmutableSet.of((Object)null, (Object)null, in, (Object)null, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); + out = ImmutableSet.of((Object)null, (Object)null, (Object)null, in, (Object)null, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); + out = ImmutableSet.of((Object)null, (Object)null, (Object)null, (Object)null, in, (Object)null, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSet out = null; + Object in = (Object)source(); + out = ImmutableSet.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in, (Object[])null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableSet;true;of;;;ArrayElement of Argument[6];Element of ReturnValue;value" ImmutableSet out = null; - Object[] in = newWithArrayElement(source()); - out = ImmutableSet.of(null, null, null, null, null, null, in); + Object[] in = (Object[])new Object[]{source()}; + out = ImmutableSet.of((Object)null, (Object)null, (Object)null, (Object)null, (Object)null, (Object)null, in); sink(getElement(out)); // $ hasValueFlow } { @@ -2960,28 +3051,28 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSortedMap;true;copyOf;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = ImmutableSortedMap.copyOf(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;copyOf;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = ImmutableSortedMap.copyOf(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;copyOf;(Map,Comparator);;MapKey of Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = ImmutableSortedMap.copyOf(in, (Comparator)null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;copyOf;(Map,Comparator);;MapValue of Argument[0];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = ImmutableSortedMap.copyOf(in, (Comparator)null); sink(getMapValue(out)); // $ hasValueFlow } @@ -3002,217 +3093,217 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(in, null, null, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[0];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, in, null, null, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[1];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, in, null, null, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[2];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, in, null, null, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[3];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, in, null, null, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[4];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, in, null, null, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[5];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, in, null, null, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[6];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, null, in, null, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[7];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[8];MapKey of ReturnValue;value" ImmutableSortedMap out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, null, null, in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[9];MapValue of ReturnValue;value" ImmutableSortedMap out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableSortedMap.of(null, null, null, null, null, null, null, null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;copyOf;(Comparable[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable[] in = newWithArrayElement(source()); + Comparable[] in = (Comparable[])new Comparable[]{(Comparable)source()}; out = ImmutableSortedMultiset.copyOf(in); sink(getElement(out)); // $ hasValueFlow } @@ -3254,155 +3345,155 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(null, null, null, null, null, in, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(null, null, null, null, in, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(null, null, null, in, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(null, null, in, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(null, in, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); - out = ImmutableSortedMultiset.of(in, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of(in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); out = ImmutableSortedMultiset.of(in); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of((Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of((Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of((Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedMultiset out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedMultiset.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableSortedMultiset;true;of;;;ArrayElement of Argument[6];Element of ReturnValue;value" ImmutableSortedMultiset out = null; - Comparable[] in = newWithArrayElement(source()); - out = ImmutableSortedMultiset.of(null, null, null, null, null, null, in); + Comparable[] in = (Comparable[])new Comparable[]{(Comparable)source()}; + out = ImmutableSortedMultiset.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in); sink(getElement(out)); // $ hasValueFlow } { @@ -3415,7 +3506,7 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSortedSet;true;copyOf;(Comparable[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable[] in = newWithArrayElement(source()); + Comparable[] in = (Comparable[])new Comparable[]{(Comparable)source()}; out = ImmutableSortedSet.copyOf(in); sink(getElement(out)); // $ hasValueFlow } @@ -3464,155 +3555,155 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(null, null, null, null, null, in, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(null, null, null, null, in, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(null, null, null, in, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(null, null, in, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(null, in, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); - out = ImmutableSortedSet.of(in, null, null, null, null, null, null); - sink(getElement(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" - ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(in, null, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(in, null, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable in = source(); + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of(in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); out = ImmutableSortedSet.of(in); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of((Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of((Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of((Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable)null, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;ImmutableSortedSet;true;of;;;Argument[0..5];Element of ReturnValue;value" + ImmutableSortedSet out = null; + Comparable in = (Comparable)source(); + out = ImmutableSortedSet.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in, (Comparable[])null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;ImmutableSortedSet;true;of;;;ArrayElement of Argument[6];Element of ReturnValue;value" ImmutableSortedSet out = null; - Comparable[] in = newWithArrayElement(source()); - out = ImmutableSortedSet.of(null, null, null, null, null, null, in); + Comparable[] in = (Comparable[])new Comparable[]{(Comparable)source()}; + out = ImmutableSortedSet.of((Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, (Comparable)null, in); sink(getElement(out)); // $ hasValueFlow } { @@ -3639,21 +3730,21 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableTable$Builder;true;orderColumnsBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableTable.Builder out = null; - ImmutableTable.Builder in = source(); + ImmutableTable.Builder in = (ImmutableTable.Builder)source(); out = in.orderColumnsBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;orderRowsBy;(Comparator);;Argument[-1];ReturnValue;value" ImmutableTable.Builder out = null; - ImmutableTable.Builder in = source(); + ImmutableTable.Builder in = (ImmutableTable.Builder)source(); out = in.orderRowsBy(null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;put;(Cell);;Argument[-1];ReturnValue;value" ImmutableTable.Builder out = null; - ImmutableTable.Builder in = source(); + ImmutableTable.Builder in = (ImmutableTable.Builder)source(); out = in.put(null); sink(out); // $ hasValueFlow } @@ -3681,35 +3772,35 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableTable$Builder;true;put;(Object,Object,Object);;Argument[-1];ReturnValue;value" ImmutableTable.Builder out = null; - ImmutableTable.Builder in = source(); + ImmutableTable.Builder in = (ImmutableTable.Builder)source(); out = in.put(null, null, null); sink(out); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;put;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];value" ImmutableTable.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;put;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];value" ImmutableTable.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;put;(Object,Object,Object);;Argument[2];MapValue of Argument[-1];value" ImmutableTable.Builder out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable$Builder;true;putAll;(Table);;Argument[-1];ReturnValue;value" ImmutableTable.Builder out = null; - ImmutableTable.Builder in = source(); + ImmutableTable.Builder in = (ImmutableTable.Builder)source(); out = in.putAll(null); sink(out); // $ hasValueFlow } @@ -3758,21 +3849,21 @@ public class Test extends Methods { { // "com.google.common.collect;ImmutableTable;true;of;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableTable.of(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable;true;of;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableTable.of(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;ImmutableTable;true;of;(Object,Object,Object);;Argument[2];MapValue of ReturnValue;value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out = ImmutableTable.of(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -3856,7 +3947,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;concat;(Iterable[]);;Element of ArrayElement of Argument[0];Element of ReturnValue;value" Iterable out = null; - Iterable[] in = (Iterable[])newWithArrayElement(newWithElement(source())); + Iterable[] in = (Iterable[])new Iterable[]{(Iterable)newWithElement(source())}; out = Iterables.concat(in); sink(getElement(out)); // $ hasValueFlow } @@ -3877,14 +3968,14 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;cycle;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" Iterable out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Iterables.cycle(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Iterables;false;filter;(Iterable,Class);;Element of Argument[0];Element of ReturnValue;value" Iterable out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Iterables.filter(in, (Class)null); sink(getElement(out)); // $ hasValueFlow } @@ -3905,7 +3996,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;find;(Iterable,Predicate,Object);;Argument[2];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterables.find(null, null, in); sink(out); // $ hasValueFlow } @@ -3926,7 +4017,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;get;(Iterable,int,Object);;Argument[2];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterables.get(null, 0, in); sink(out); // $ hasValueFlow } @@ -3947,7 +4038,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;getLast;(Iterable,Object);;Argument[1];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterables.getLast(null, in); sink(out); // $ hasValueFlow } @@ -3968,7 +4059,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;getOnlyElement;(Iterable,Object);;Argument[1];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterables.getOnlyElement(null, in); sink(out); // $ hasValueFlow } @@ -3994,18 +4085,18 @@ public class Test extends Methods { sink(getElement(out)); // $ hasValueFlow } { - // "com.google.common.collect;Iterables;false;paddedPartition;(Iterable,int);;Element of Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Iterables;false;paddedPartition;(Iterable,int);;Element of Argument[0];Element of Element of ReturnValue;value" Iterable out = null; - Iterable in = (Iterable)newWithElement(newWithElement(source())); + Iterable in = (Iterable)List.of(source()); out = Iterables.paddedPartition(in, 0); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { - // "com.google.common.collect;Iterables;false;partition;(Iterable,int);;Element of Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Iterables;false;partition;(Iterable,int);;Element of Argument[0];Element of Element of ReturnValue;value" Iterable out = null; - Iterable in = (Iterable)newWithElement(newWithElement(source())); + Iterable in = (Iterable)List.of(source()); out = Iterables.partition(in, 0); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Iterables;false;skip;(Iterable,int);;Element of Argument[0];Element of ReturnValue;value" @@ -4024,7 +4115,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterables;false;toString;(Iterable);;Element of Argument[0];ReturnValue;taint" String out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Iterables.toString(in); sink(out); // $ hasTaintFlow } @@ -4136,7 +4227,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;concat;(Iterator[]);;Element of ArrayElement of Argument[0];Element of ReturnValue;value" Iterator out = null; - Iterator[] in = (Iterator[])newWithArrayElement(newWithElement(source())); + Iterator[] in = (Iterator[])new Iterator[]{(Iterator)newWithElement(source())}; out = Iterators.concat(in); sink(getElement(out)); // $ hasValueFlow } @@ -4157,7 +4248,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;cycle;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" Iterator out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Iterators.cycle(in); sink(getElement(out)); // $ hasValueFlow } @@ -4185,7 +4276,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;find;(Iterator,Predicate,Object);;Argument[2];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.find(null, null, in); sink(out); // $ hasValueFlow } @@ -4199,7 +4290,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;forArray;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" UnmodifiableIterator out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Iterators.forArray(in); sink(getElement(out)); // $ hasValueFlow } @@ -4220,7 +4311,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;get;(Iterator,int,Object);;Argument[2];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.get(null, 0, in); sink(out); // $ hasValueFlow } @@ -4241,7 +4332,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;getLast;(Iterator,Object);;Argument[1];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.getLast(null, in); sink(out); // $ hasValueFlow } @@ -4255,7 +4346,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;getNext;(Iterator,Object);;Argument[1];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.getNext(null, in); sink(out); // $ hasValueFlow } @@ -4276,7 +4367,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;getOnlyElement;(Iterator,Object);;Argument[1];ReturnValue;value" Object out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.getOnlyElement(null, in); sink(out); // $ hasValueFlow } @@ -4302,18 +4393,18 @@ public class Test extends Methods { sink(getElement(out)); // $ hasValueFlow } { - // "com.google.common.collect;Iterators;false;paddedPartition;(Iterator,int);;Element of Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Iterators;false;paddedPartition;(Iterator,int);;Element of Argument[0];Element of Element of ReturnValue;value" UnmodifiableIterator out = null; - Iterator in = (Iterator)newWithElement(newWithElement(source())); + Iterator in = (Iterator)newWithElement(source()); out = Iterators.paddedPartition(in, 0); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { - // "com.google.common.collect;Iterators;false;partition;(Iterator,int);;Element of Element of Argument[0];Element of ReturnValue;value" + // "com.google.common.collect;Iterators;false;partition;(Iterator,int);;Element of Argument[0];Element of Element of ReturnValue;value" UnmodifiableIterator out = null; - Iterator in = (Iterator)newWithElement(newWithElement(source())); + Iterator in = (Iterator)newWithElement(source()); out = Iterators.partition(in, 0); - sink(getElement(out)); // $ hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Iterators;false;peekingIterator;(Iterator);;Element of Argument[0];Element of ReturnValue;value" @@ -4332,7 +4423,7 @@ public class Test extends Methods { { // "com.google.common.collect;Iterators;false;singletonIterator;(Object);;Argument[0];Element of ReturnValue;value" UnmodifiableIterator out = null; - Object in = source(); + Object in = (Object)source(); out = Iterators.singletonIterator(in); sink(getElement(out)); // $ hasValueFlow } @@ -4343,13 +4434,6 @@ public class Test extends Methods { out = Iterators.toArray(in, null); sink(getArrayElement(out)); // $ hasValueFlow } - { - // "com.google.common.collect;Iterators;false;toString;(Iterator);;Element of Argument[0];ReturnValue;taint" - String out = null; - Iterator in = (Iterator)newWithElement(source()); - out = Iterators.toString(in); - sink(out); // $ hasTaintFlow - } { // "com.google.common.collect;Iterators;false;tryFind;(Iterator,Predicate);;Element of Argument[0];Element of ReturnValue;value" Optional out = null; @@ -4409,70 +4493,70 @@ public class Test extends Methods { { // "com.google.common.collect;Lists;false;asList;(Object,Object,Object[]);;Argument[0..1];Element of ReturnValue;value" List out = null; - Object in = source(); + Object in = (Object)source(); out = Lists.asList(null, in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;asList;(Object,Object,Object[]);;Argument[0..1];Element of ReturnValue;value" List out = null; - Object in = source(); + Object in = (Object)source(); out = Lists.asList(in, null, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;asList;(Object,Object,Object[]);;ArrayElement of Argument[2];Element of ReturnValue;value" List out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Lists.asList(null, null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;asList;(Object,Object[]);;Argument[0];Element of ReturnValue;value" List out = null; - Object in = source(); + Object in = (Object)source(); out = Lists.asList(in, null); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;asList;(Object,Object[]);;ArrayElement of Argument[1];Element of ReturnValue;value" List out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Lists.asList(null, in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;cartesianProduct;(List);;Element of Element of Argument[0];Element of Element of ReturnValue;value" - List out = null; - List in = (List)newWithElement(newWithElement(source())); + List out = null; + List in = (List)List.of(newWithElement(source())); out = Lists.cartesianProduct(in); sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;cartesianProduct;(List[]);;Element of ArrayElement of Argument[0];Element of Element of ReturnValue;value" - List out = null; - List[] in = (List[])newWithArrayElement(newWithElement(source())); + List out = null; + List[] in = (List[])new List[]{(List)newWithElement(source())}; out = Lists.cartesianProduct(in); - sink(getElement(getElement(out))); // $ MISSING: hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;charactersOf;(CharSequence);;Argument[0];Element of ReturnValue;taint" List out = null; - CharSequence in = source(); + CharSequence in = (CharSequence)source(); out = Lists.charactersOf(in); sink(getElement(out)); // $ hasTaintFlow } { // "com.google.common.collect;Lists;false;charactersOf;(String);;Argument[0];Element of ReturnValue;taint" ImmutableList out = null; - String in = source(); + String in = (String)source(); out = Lists.charactersOf(in); sink(getElement(out)); // $ hasTaintFlow } { // "com.google.common.collect;Lists;false;newArrayList;(Iterable);;Element of Argument[0];Element of ReturnValue;value" ArrayList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Lists.newArrayList(in); sink(getElement(out)); // $ hasValueFlow } @@ -4486,35 +4570,35 @@ public class Test extends Methods { { // "com.google.common.collect;Lists;false;newArrayList;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" ArrayList out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Lists.newArrayList(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;newCopyOnWriteArrayList;(Iterable);;Element of Argument[0];Element of ReturnValue;value" CopyOnWriteArrayList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Lists.newCopyOnWriteArrayList(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;newLinkedList;(Iterable);;Element of Argument[0];Element of ReturnValue;value" LinkedList out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out = Lists.newLinkedList(in); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;partition;(List,int);;Element of Argument[0];Element of Element of ReturnValue;value" - List out = null; - List in = (List)newWithElement(source()); + List out = null; + List in = (List)List.of(source()); out = Lists.partition(in, 0); sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Lists;false;reverse;(List);;Element of Argument[0];Element of ReturnValue;value" List out = null; - List in = (List)newWithElement(source()); + List in = (List)List.of(source()); out = Lists.reverse(in); sink(getElement(out)); // $ hasValueFlow } @@ -4562,28 +4646,28 @@ public class Test extends Methods { } { // "com.google.common.collect;MapDifference;true;entriesDiffering;();;MapValue of SyntheticField[com.google.common.collect.MapDifference.left] of Argument[-1];SyntheticField[com.google.common.collect.MapDifference.left] of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; SortedMapDifference in = (SortedMapDifference)newWithMapDifference_left(newWithMapValue(source())); out = in.entriesDiffering(); sink(getMapDifference_left(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;MapDifference;true;entriesDiffering;();;MapValue of SyntheticField[com.google.common.collect.MapDifference.left] of Argument[-1];SyntheticField[com.google.common.collect.MapDifference.left] of MapValue of ReturnValue;value" - Map out = null; + Map out = null; MapDifference in = (MapDifference)newWithMapDifference_left(newWithMapValue(source())); out = in.entriesDiffering(); sink(getMapDifference_left(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;MapDifference;true;entriesDiffering;();;MapValue of SyntheticField[com.google.common.collect.MapDifference.right] of Argument[-1];SyntheticField[com.google.common.collect.MapDifference.right] of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; SortedMapDifference in = (SortedMapDifference)newWithMapDifference_right(newWithMapValue(source())); out = in.entriesDiffering(); sink(getMapDifference_right(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;MapDifference;true;entriesDiffering;();;MapValue of SyntheticField[com.google.common.collect.MapDifference.right] of Argument[-1];SyntheticField[com.google.common.collect.MapDifference.right] of MapValue of ReturnValue;value" - Map out = null; + Map out = null; MapDifference in = (MapDifference)newWithMapDifference_right(newWithMapValue(source())); out = in.entriesDiffering(); sink(getMapDifference_right(getMapValue(out))); // $ hasValueFlow @@ -4724,56 +4808,56 @@ public class Test extends Methods { { // "com.google.common.collect;Maps;false;difference;(Map,Map);;MapKey of Argument[0];MapKey of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.difference(in, (Map)null); sink(getMapKey(getMapDifference_left(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map);;MapKey of Argument[1];MapKey of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.difference((Map)null, in); sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map);;MapValue of Argument[0];MapValue of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.difference(in, (Map)null); sink(getMapValue(getMapDifference_left(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map);;MapValue of Argument[1];MapValue of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.difference((Map)null, in); sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map,Equivalence);;MapKey of Argument[0];MapKey of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.difference(in, null, null); sink(getMapKey(getMapDifference_left(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map,Equivalence);;MapKey of Argument[1];MapKey of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.difference(null, in, null); sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map,Equivalence);;MapValue of Argument[0];MapValue of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.difference(in, null, null); sink(getMapValue(getMapDifference_left(out))); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;difference;(Map,Map,Equivalence);;MapValue of Argument[1];MapValue of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" MapDifference out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.difference(null, in, null); sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow } @@ -4787,7 +4871,7 @@ public class Test extends Methods { { // "com.google.common.collect;Maps;false;difference;(SortedMap,Map);;MapKey of Argument[1];MapKey of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" SortedMapDifference out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.difference((SortedMap)null, in); sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow } @@ -4801,177 +4885,93 @@ public class Test extends Methods { { // "com.google.common.collect;Maps;false;difference;(SortedMap,Map);;MapValue of Argument[1];MapValue of SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" SortedMapDifference out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.difference((SortedMap)null, in); sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterEntries;(BiMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - BiMap out = null; - BiMap in = (BiMap)newWithMapKey(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(BiMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - BiMap out = null; - BiMap in = (BiMap)newWithMapValue(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(Map,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapKey(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(Map,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapValue(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(NavigableMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - NavigableMap out = null; - NavigableMap in = (NavigableMap)newWithMapKey(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(NavigableMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - NavigableMap out = null; - NavigableMap in = (NavigableMap)newWithMapValue(source()); - out = Maps.filterEntries(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterEntries;(SortedMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Maps;false;filterEntries;;;MapKey of Argument[0];MapKey of ReturnValue;value" SortedMap out = null; SortedMap in = (SortedMap)newWithMapKey(source()); out = Maps.filterEntries(in, (Predicate)null); sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterEntries;(SortedMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - SortedMap out = null; - SortedMap in = (SortedMap)newWithMapValue(source()); + // "com.google.common.collect;Maps;false;filterEntries;;;MapKey of Argument[0];MapKey of ReturnValue;value" + NavigableMap out = null; + NavigableMap in = (NavigableMap)newWithMapKey(source()); out = Maps.filterEntries(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow + sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterKeys;(BiMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Maps;false;filterEntries;;;MapKey of Argument[0];MapKey of ReturnValue;value" + Map out = null; + Map in = (Map)Map.of(source(), null); + out = Maps.filterEntries(in, (Predicate)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Maps;false;filterEntries;;;MapKey of Argument[0];MapKey of ReturnValue;value" BiMap out = null; BiMap in = (BiMap)newWithMapKey(source()); - out = Maps.filterKeys(in, (Predicate)null); + out = Maps.filterEntries(in, (Predicate)null); sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterKeys;(BiMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - BiMap out = null; - BiMap in = (BiMap)newWithMapValue(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterKeys;(Map,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapKey(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterKeys;(Map,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapValue(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterKeys;(NavigableMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - NavigableMap out = null; - NavigableMap in = (NavigableMap)newWithMapKey(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterKeys;(NavigableMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - NavigableMap out = null; - NavigableMap in = (NavigableMap)newWithMapValue(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterKeys;(SortedMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Maps;false;filterKeys;;;MapKey of Argument[0];MapKey of ReturnValue;value" SortedMap out = null; SortedMap in = (SortedMap)newWithMapKey(source()); out = Maps.filterKeys(in, (Predicate)null); sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterKeys;(SortedMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - SortedMap out = null; - SortedMap in = (SortedMap)newWithMapValue(source()); - out = Maps.filterKeys(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterValues;(BiMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - BiMap out = null; - BiMap in = (BiMap)newWithMapKey(source()); - out = Maps.filterValues(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterValues;(BiMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - BiMap out = null; - BiMap in = (BiMap)newWithMapValue(source()); - out = Maps.filterValues(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterValues;(Map,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapKey(source()); - out = Maps.filterValues(in, (Predicate)null); - sink(getMapKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterValues;(Map,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - Map out = null; - Map in = (Map)newWithMapValue(source()); - out = Maps.filterValues(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Maps;false;filterValues;(NavigableMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Maps;false;filterKeys;;;MapKey of Argument[0];MapKey of ReturnValue;value" NavigableMap out = null; NavigableMap in = (NavigableMap)newWithMapKey(source()); - out = Maps.filterValues(in, (Predicate)null); + out = Maps.filterKeys(in, (Predicate)null); sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterValues;(NavigableMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - NavigableMap out = null; - NavigableMap in = (NavigableMap)newWithMapValue(source()); - out = Maps.filterValues(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow + // "com.google.common.collect;Maps;false;filterKeys;;;MapKey of Argument[0];MapKey of ReturnValue;value" + Map out = null; + Map in = (Map)Map.of(source(), null); + out = Maps.filterKeys(in, (Predicate)null); + sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterValues;(SortedMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Maps;false;filterKeys;;;MapKey of Argument[0];MapKey of ReturnValue;value" + BiMap out = null; + BiMap in = (BiMap)newWithMapKey(source()); + out = Maps.filterKeys(in, (Predicate)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Maps;false;filterValues;;;MapKey of Argument[0];MapKey of ReturnValue;value" SortedMap out = null; SortedMap in = (SortedMap)newWithMapKey(source()); out = Maps.filterValues(in, (Predicate)null); sink(getMapKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Maps;false;filterValues;(SortedMap,Predicate);;MapValue of Argument[0];MapValue of ReturnValue;value" - SortedMap out = null; - SortedMap in = (SortedMap)newWithMapValue(source()); + // "com.google.common.collect;Maps;false;filterValues;;;MapKey of Argument[0];MapKey of ReturnValue;value" + NavigableMap out = null; + NavigableMap in = (NavigableMap)newWithMapKey(source()); out = Maps.filterValues(in, (Predicate)null); - sink(getMapValue(out)); // $ hasValueFlow + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Maps;false;filterValues;;;MapKey of Argument[0];MapKey of ReturnValue;value" + Map out = null; + Map in = (Map)Map.of(source(), null); + out = Maps.filterValues(in, (Predicate)null); + sink(getMapKey(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Maps;false;filterValues;;;MapKey of Argument[0];MapKey of ReturnValue;value" + BiMap out = null; + BiMap in = (BiMap)newWithMapKey(source()); + out = Maps.filterValues(in, (Predicate)null); + sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;fromProperties;(Properties);;MapKey of Argument[0];MapKey of ReturnValue;value" @@ -4990,42 +4990,56 @@ public class Test extends Methods { { // "com.google.common.collect;Maps;false;immutableEntry;(Object,Object);;Argument[0];MapKey of ReturnValue;value" Map.Entry out = null; - Object in = source(); + Object in = (Object)source(); out = Maps.immutableEntry(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;immutableEntry;(Object,Object);;Argument[1];MapValue of ReturnValue;value" Map.Entry out = null; - Object in = source(); + Object in = (Object)source(); out = Maps.immutableEntry(null, in); sink(getMapValue(out)); // $ hasValueFlow } + { + // "com.google.common.collect;Maps;false;immutableEnumMap;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" + ImmutableMap out = null; + Map in = (Map)Map.of(null, source()); + out = Maps.immutableEnumMap(in); + sink(getMapValue(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Maps;false;newEnumMap;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" + EnumMap out = null; + Map in = (Map)Map.of(null, source()); + out = Maps.newEnumMap(in); + sink(getMapValue(out)); // $ hasValueFlow + } { // "com.google.common.collect;Maps;false;newHashMap;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" HashMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.newHashMap(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;newHashMap;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" HashMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.newHashMap(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;newLinkedHashMap;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" LinkedHashMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.newLinkedHashMap(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Maps;false;newLinkedHashMap;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" LinkedHashMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Maps.newLinkedHashMap(in); sink(getMapValue(out)); // $ hasValueFlow } @@ -5102,7 +5116,7 @@ public class Test extends Methods { { // "com.google.common.collect;Maps;false;transformValues;(Map,Function);;MapKey of Argument[0];MapKey of ReturnValue;value" Map out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Maps.transformValues(in, (Function)null); sink(getMapKey(out)); // $ hasValueFlow } @@ -5206,126 +5220,126 @@ public class Test extends Methods { } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - NavigableMap out = null; + NavigableMap out = null; TreeMultimap in = (TreeMultimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; SortedSetMultimap in = (SortedSetMultimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; SetMultimap in = (SetMultimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Multimap in = (Multimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ListMultimap in = (ListMultimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;asMap;();;MapValue of Argument[-1];Element of MapValue of ReturnValue;value" - ImmutableMap out = null; + ImmutableMap out = null; ImmutableMultimap in = (ImmutableMultimap)newWithMapValue(source()); out = in.asMap(); sink(getElement(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - Set out = null; + Set out = null; SetMultimap in = (SetMultimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - Set out = null; + Set out = null; LinkedHashMultimap in = (LinkedHashMultimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - List out = null; + List out = null; LinkedListMultimap in = (LinkedListMultimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableSetMultimap in = (ImmutableSetMultimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - ImmutableCollection out = null; + ImmutableCollection out = null; ImmutableMultimap in = (ImmutableMultimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapKey of Argument[-1];MapKey of Element of ReturnValue;value" - Collection out = null; + Collection out = null; Multimap in = (Multimap)newWithMapKey(source()); out = in.entries(); sink(getMapKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - Set out = null; + Set out = null; SetMultimap in = (SetMultimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - Set out = null; + Set out = null; LinkedHashMultimap in = (LinkedHashMultimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - List out = null; + List out = null; LinkedListMultimap in = (LinkedListMultimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableSetMultimap in = (ImmutableSetMultimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - ImmutableCollection out = null; + ImmutableCollection out = null; ImmutableMultimap in = (ImmutableMultimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;entries;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - Collection out = null; + Collection out = null; Multimap in = (Multimap)newWithMapValue(source()); out = in.entries(); sink(getMapValue(getElement(out))); // $ hasValueFlow @@ -5438,42 +5452,42 @@ public class Test extends Methods { { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" Multimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" LinkedListMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" Multimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" LinkedListMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -5508,14 +5522,14 @@ public class Test extends Methods { { // "com.google.common.collect;Multimap;true;putAll;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" Multimap out = null; - Object in = source(); + Object in = (Object)source(); out.putAll(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;putAll;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.putAll(in, null); sink(getMapKey(out)); // $ hasValueFlow } @@ -5592,63 +5606,63 @@ public class Test extends Methods { { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" SortedSetMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" SetMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" Multimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" ListMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" LinkedListMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" LinkedHashMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" ImmutableSetMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" ImmutableMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Argument[0];MapKey of Argument[-1];value" ImmutableListMultimap out = null; - Object in = source(); + Object in = (Object)source(); out.replaceValues(in, null); sink(getMapKey(out)); // $ hasValueFlow } @@ -5676,21 +5690,21 @@ public class Test extends Methods { { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Element of Argument[1];MapValue of Argument[-1];value" ListMultimap out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out.replaceValues(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Element of Argument[1];MapValue of Argument[-1];value" LinkedListMultimap out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out.replaceValues(null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Element of Argument[1];MapValue of Argument[-1];value" LinkedHashMultimap out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out.replaceValues(null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -5711,7 +5725,7 @@ public class Test extends Methods { { // "com.google.common.collect;Multimap;true;replaceValues;(Object,Iterable);;Element of Argument[1];MapValue of Argument[-1];value" ImmutableListMultimap out = null; - Iterable in = (Iterable)newWithElement(source()); + Iterable in = (Iterable)List.of(source()); out.replaceValues(null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -5815,7 +5829,7 @@ public class Test extends Methods { } { // "com.google.common.collect;Multimaps;false;asMap;(ListMultimap);;MapValue of Argument[0];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ListMultimap in = (ListMultimap)newWithMapValue(source()); out = Multimaps.asMap(in); sink(getElement(getMapValue(out))); // $ hasValueFlow @@ -5829,7 +5843,7 @@ public class Test extends Methods { } { // "com.google.common.collect;Multimaps;false;asMap;(Multimap);;MapValue of Argument[0];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Multimap in = (Multimap)newWithMapValue(source()); out = Multimaps.asMap(in); sink(getElement(getMapValue(out))); // $ hasValueFlow @@ -5843,7 +5857,7 @@ public class Test extends Methods { } { // "com.google.common.collect;Multimaps;false;asMap;(SetMultimap);;MapValue of Argument[0];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; SetMultimap in = (SetMultimap)newWithMapValue(source()); out = Multimaps.asMap(in); sink(getElement(getMapValue(out))); // $ hasValueFlow @@ -5857,7 +5871,7 @@ public class Test extends Methods { } { // "com.google.common.collect;Multimaps;false;asMap;(SortedSetMultimap);;MapValue of Argument[0];Element of MapValue of ReturnValue;value" - Map out = null; + Map out = null; SortedSetMultimap in = (SortedSetMultimap)newWithMapValue(source()); out = Multimaps.asMap(in); sink(getElement(getMapValue(out))); // $ hasValueFlow @@ -5949,14 +5963,14 @@ public class Test extends Methods { { // "com.google.common.collect;Multimaps;false;forMap;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" SetMultimap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Multimaps.forMap(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;forMap;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" SetMultimap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = Multimaps.forMap(in); sink(getMapValue(out)); // $ hasValueFlow } @@ -5975,72 +5989,79 @@ public class Test extends Methods { sink(getMapValue(out)); // $ hasValueFlow } { - // "com.google.common.collect;Multimaps;false;invertFrom;(Multimap,Multimap);;MapKey of Argument[0];MapValue of ReturnValue;value" + // "com.google.common.collect;Multimaps;false;invertFrom;(Multimap,Multimap);;Argument[1];ReturnValue;value" + Multimap out = null; + Multimap in = (Multimap)source(); + out = Multimaps.invertFrom(null, in); + sink(out); // $ hasValueFlow + } + { + // "com.google.common.collect;Multimaps;false;invertFrom;(Multimap,Multimap);;MapKey of Argument[0];MapValue of Argument[1];value" Multimap out = null; Multimap in = (Multimap)newWithMapKey(source()); - out = Multimaps.invertFrom(in, null); + Multimaps.invertFrom(in, out); sink(getMapValue(out)); // $ hasValueFlow } { - // "com.google.common.collect;Multimaps;false;invertFrom;(Multimap,Multimap);;MapValue of Argument[0];MapKey of ReturnValue;value" + // "com.google.common.collect;Multimaps;false;invertFrom;(Multimap,Multimap);;MapValue of Argument[0];MapKey of Argument[1];value" Multimap out = null; Multimap in = (Multimap)newWithMapValue(source()); - out = Multimaps.invertFrom(in, null); + Multimaps.invertFrom(in, out); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newListMultimap;(Map,Supplier);;Element of MapValue of Argument[0];MapValue of ReturnValue;value" ListMultimap out = null; - Map in = (Map)newWithMapValue(newWithElement(source())); + Map in = (Map)Map.of(null, newWithElement(source())); out = Multimaps.newListMultimap(in, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newListMultimap;(Map,Supplier);;MapKey of Argument[0];MapKey of ReturnValue;value" ListMultimap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Multimaps.newListMultimap(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newMultimap;(Map,Supplier);;Element of MapValue of Argument[0];MapValue of ReturnValue;value" Multimap out = null; - Map in = (Map)newWithMapValue(newWithElement(source())); + Map in = (Map)Map.of(null, newWithElement(source())); out = Multimaps.newMultimap(in, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newMultimap;(Map,Supplier);;MapKey of Argument[0];MapKey of ReturnValue;value" Multimap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Multimaps.newMultimap(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newSetMultimap;(Map,Supplier);;Element of MapValue of Argument[0];MapValue of ReturnValue;value" SetMultimap out = null; - Map in = (Map)newWithMapValue(newWithElement(source())); + Map in = (Map)Map.of(null, newWithElement(source())); out = Multimaps.newSetMultimap(in, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newSetMultimap;(Map,Supplier);;MapKey of Argument[0];MapKey of ReturnValue;value" SetMultimap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Multimaps.newSetMultimap(in, null); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newSortedSetMultimap;(Map,Supplier);;Element of MapValue of Argument[0];MapValue of ReturnValue;value" SortedSetMultimap out = null; - Map in = (Map)newWithMapValue(newWithElement(source())); + Map in = (Map)Map.of(null, newWithElement(source())); out = Multimaps.newSortedSetMultimap(in, null); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Multimaps;false;newSortedSetMultimap;(Map,Supplier);;MapKey of Argument[0];MapKey of ReturnValue;value" SortedSetMultimap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Multimaps.newSortedSetMultimap(in, null); sink(getMapKey(out)); // $ hasValueFlow } @@ -6222,28 +6243,28 @@ public class Test extends Methods { { // "com.google.common.collect;Multiset;true;add;(Object,int);;Argument[0];Element of Argument[-1];value" TreeMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.add(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;add;(Object,int);;Argument[0];Element of Argument[-1];value" Multiset out = null; - Object in = source(); + Object in = (Object)source(); out.add(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;add;(Object,int);;Argument[0];Element of Argument[-1];value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.add(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;add;(Object,int);;Argument[0];Element of Argument[-1];value" ConcurrentHashMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.add(in, 0); sink(getElement(out)); // $ hasValueFlow } @@ -6277,21 +6298,21 @@ public class Test extends Methods { } { // "com.google.common.collect;Multiset;true;entrySet;();;Element of Argument[-1];Element of Element of ReturnValue;value" - Set out = null; + Set out = null; SortedMultiset in = (SortedMultiset)newWithElement(source()); out = in.entrySet(); sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;entrySet;();;Element of Argument[-1];Element of Element of ReturnValue;value" - Set out = null; + Set out = null; Multiset in = (Multiset)newWithElement(source()); out = in.entrySet(); sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;entrySet;();;Element of Argument[-1];Element of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableMultiset in = (ImmutableMultiset)newWithElement(source()); out = in.entrySet(); sink(getElement(getElement(out))); // $ hasValueFlow @@ -6299,56 +6320,56 @@ public class Test extends Methods { { // "com.google.common.collect;Multiset;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" TreeMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" Multiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int);;Argument[0];Element of Argument[-1];value" ConcurrentHashMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int,int);;Argument[0];Element of Argument[-1];value" TreeMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int,int);;Argument[0];Element of Argument[-1];value" Multiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int,int);;Argument[0];Element of Argument[-1];value" ImmutableMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0, 0); sink(getElement(out)); // $ hasValueFlow } { // "com.google.common.collect;Multiset;true;setCount;(Object,int,int);;Argument[0];Element of Argument[-1];value" ConcurrentHashMultiset out = null; - Object in = source(); + Object in = (Object)source(); out.setCount(in, 0, 0); sink(getElement(out)); // $ hasValueFlow } @@ -6376,10 +6397,24 @@ public class Test extends Methods { { // "com.google.common.collect;Multisets;false;immutableEntry;(Object,int);;Argument[0];Element of ReturnValue;value" Multiset.Entry out = null; - Object in = source(); + Object in = (Object)source(); out = Multisets.immutableEntry(in, 0); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;Multisets;false;intersection;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value" + Multiset out = null; + Multiset in = (Multiset)newWithElement(source()); + out = Multisets.intersection(null, in); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Multisets;false;intersection;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value" + Multiset out = null; + Multiset in = (Multiset)newWithElement(source()); + out = Multisets.intersection(in, null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;Multisets;false;sum;(Multiset,Multiset);;Element of Argument[0..1];Element of ReturnValue;value" Multiset out = null; @@ -6432,56 +6467,56 @@ public class Test extends Methods { { // "com.google.common.collect;MutableClassToInstanceMap;true;create;(Map);;MapKey of Argument[0];MapKey of ReturnValue;value" MutableClassToInstanceMap out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = MutableClassToInstanceMap.create(in); sink(getMapKey(out)); // $ hasValueFlow } { // "com.google.common.collect;MutableClassToInstanceMap;true;create;(Map);;MapValue of Argument[0];MapValue of ReturnValue;value" MutableClassToInstanceMap out = null; - Map in = (Map)newWithMapValue(source()); + Map in = (Map)Map.of(null, source()); out = MutableClassToInstanceMap.create(in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object,Object[]);;Argument[0];ArrayElement of ReturnValue;value" Object[] out = null; - Object in = source(); + Object in = (Object)source(); out = ObjectArrays.concat(in, (Object[])null); sink(getArrayElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object,Object[]);;ArrayElement of Argument[1];ArrayElement of ReturnValue;value" Object[] out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ObjectArrays.concat((Object)null, in); sink(getArrayElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object[],Object);;Argument[1];ArrayElement of ReturnValue;value" Object[] out = null; - Object in = source(); + Object in = (Object)source(); out = ObjectArrays.concat((Object[])null, in); sink(getArrayElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object[],Object);;ArrayElement of Argument[0];ArrayElement of ReturnValue;value" Object[] out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ObjectArrays.concat(in, (Object)null); sink(getArrayElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object[],Object[],Class);;ArrayElement of Argument[0..1];ArrayElement of ReturnValue;value" Object[] out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ObjectArrays.concat(null, in, null); sink(getArrayElement(out)); // $ hasValueFlow } { // "com.google.common.collect;ObjectArrays;false;concat;(Object[],Object[],Class);;ArrayElement of Argument[0..1];ArrayElement of ReturnValue;value" Object[] out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = ObjectArrays.concat(in, null, null); sink(getArrayElement(out)); // $ hasValueFlow } @@ -6571,21 +6606,21 @@ public class Test extends Methods { } { // "com.google.common.collect;Sets;false;cartesianProduct;(List);;Element of Element of Argument[0];Element of Element of ReturnValue;value" - Set out = null; - List in = (List)newWithElement(newWithElement(source())); + Set out = null; + List in = (List)List.of(newWithElement(source())); out = Sets.cartesianProduct(in); sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Sets;false;cartesianProduct;(Set[]);;Element of ArrayElement of Argument[0];Element of Element of ReturnValue;value" - Set out = null; - Set[] in = (Set[])newWithArrayElement(newWithElement(source())); + Set out = null; + Set[] in = (Set[])new Set[]{(Set)newWithElement(source())}; out = Sets.cartesianProduct(in); - sink(getElement(getElement(out))); // $ MISSING: hasValueFlow + sink(getElement(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Sets;false;combinations;(Set,int);;Element of Argument[0];Element of Element of ReturnValue;value" - Set out = null; + Set out = null; Set in = (Set)newWithElement(source()); out = Sets.combinations(in, 0); sink(getElement(getElement(out))); // $ hasValueFlow @@ -6618,6 +6653,20 @@ public class Test extends Methods { out = Sets.filter(in, (Predicate)null); sink(getElement(out)); // $ hasValueFlow } + { + // "com.google.common.collect;Sets;false;intersection;(Set,Set);;Element of Argument[0..1];Element of ReturnValue;value" + Sets.SetView out = null; + Set in = (Set)newWithElement(source()); + out = Sets.intersection(null, in); + sink(getElement(out)); // $ hasValueFlow + } + { + // "com.google.common.collect;Sets;false;intersection;(Set,Set);;Element of Argument[0..1];Element of ReturnValue;value" + Sets.SetView out = null; + Set in = (Set)newWithElement(source()); + out = Sets.intersection(in, null); + sink(getElement(out)); // $ hasValueFlow + } { // "com.google.common.collect;Sets;false;newConcurrentHashSet;(Iterable);;Element of Argument[0];Element of ReturnValue;value" Set out = null; @@ -6649,7 +6698,7 @@ public class Test extends Methods { { // "com.google.common.collect;Sets;false;newHashSet;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value" HashSet out = null; - Object[] in = newWithArrayElement(source()); + Object[] in = (Object[])new Object[]{source()}; out = Sets.newHashSet(in); sink(getElement(out)); // $ hasValueFlow } @@ -6663,7 +6712,7 @@ public class Test extends Methods { { // "com.google.common.collect;Sets;false;newSetFromMap;(Map);;MapKey of Argument[0];Element of ReturnValue;value" Set out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Sets.newSetFromMap(in); sink(getElement(out)); // $ hasValueFlow } @@ -6676,7 +6725,7 @@ public class Test extends Methods { } { // "com.google.common.collect;Sets;false;powerSet;(Set);;Element of Argument[0];Element of Element of ReturnValue;value" - Set out = null; + Set out = null; Set in = (Set)newWithElement(source()); out = Sets.powerSet(in); sink(getElement(getElement(out))); // $ hasValueFlow @@ -6753,63 +6802,63 @@ public class Test extends Methods { } { // "com.google.common.collect;Table;true;cellSet;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - Set out = null; + Set out = null; Table in = (Table)newWithMapValue(source()); out = in.cellSet(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - Set out = null; + Set out = null; ArrayTable in = (ArrayTable)newWithMapValue(source()); out = in.cellSet(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;MapValue of Argument[-1];MapValue of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableTable in = (ImmutableTable)newWithMapValue(source()); out = in.cellSet(); sink(getMapValue(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.columnKey] of Element of ReturnValue;value" - Set out = null; + Set out = null; Table in = (Table)newWithTable_columnKey(source()); out = in.cellSet(); sink(getTable_columnKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.columnKey] of Element of ReturnValue;value" - Set out = null; + Set out = null; ArrayTable in = (ArrayTable)newWithTable_columnKey(source()); out = in.cellSet(); sink(getTable_columnKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.columnKey] of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableTable in = (ImmutableTable)newWithTable_columnKey(source()); out = in.cellSet(); sink(getTable_columnKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.rowKey] of Element of ReturnValue;value" - Set out = null; + Set out = null; Table in = (Table)newWithTable_rowKey(source()); out = in.cellSet(); sink(getTable_rowKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.rowKey] of Element of ReturnValue;value" - Set out = null; + Set out = null; ArrayTable in = (ArrayTable)newWithTable_rowKey(source()); out = in.cellSet(); sink(getTable_rowKey(getElement(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;cellSet;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];SyntheticField[com.google.common.collect.Table.rowKey] of Element of ReturnValue;value" - ImmutableSet out = null; + ImmutableSet out = null; ImmutableTable in = (ImmutableTable)newWithTable_rowKey(source()); out = in.cellSet(); sink(getTable_rowKey(getElement(out))); // $ hasValueFlow @@ -6879,21 +6928,21 @@ public class Test extends Methods { } { // "com.google.common.collect;Table;true;columnMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Table in = (Table)newWithMapValue(source()); out = in.columnMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;columnMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ArrayTable in = (ArrayTable)newWithMapValue(source()); out = in.columnMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;columnMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - ImmutableMap out = null; + ImmutableMap out = null; ImmutableTable in = (ImmutableTable)newWithMapValue(source()); out = in.columnMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow @@ -6921,21 +6970,21 @@ public class Test extends Methods { } { // "com.google.common.collect;Table;true;columnMap;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Table in = (Table)newWithTable_rowKey(source()); out = in.columnMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;columnMap;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ArrayTable in = (ArrayTable)newWithTable_rowKey(source()); out = in.columnMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;columnMap;();;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - ImmutableMap out = null; + ImmutableMap out = null; ImmutableTable in = (ImmutableTable)newWithTable_rowKey(source()); out = in.columnMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow @@ -6964,63 +7013,63 @@ public class Test extends Methods { { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];value" Table out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of Argument[-1];value" ArrayTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];value" Table out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];value" ArrayTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[2];MapValue of Argument[-1];value" Table out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[2];MapValue of Argument[-1];value" ImmutableTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Table;true;put;(Object,Object,Object);;Argument[2];MapValue of Argument[-1];value" ArrayTable out = null; - Object in = source(); + Object in = (Object)source(); out.put(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } @@ -7208,70 +7257,70 @@ public class Test extends Methods { } { // "com.google.common.collect;Table;true;rowMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; TreeBasedTable in = (TreeBasedTable)newWithMapValue(source()); out = in.rowMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; RowSortedTable in = (RowSortedTable)newWithMapValue(source()); out = in.rowMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Table in = (Table)newWithMapValue(source()); out = in.rowMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ArrayTable in = (ArrayTable)newWithMapValue(source()); out = in.rowMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;MapValue of Argument[-1];MapValue of MapValue of ReturnValue;value" - ImmutableMap out = null; + ImmutableMap out = null; ImmutableTable in = (ImmutableTable)newWithMapValue(source()); out = in.rowMap(); sink(getMapValue(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; TreeBasedTable in = (TreeBasedTable)newWithTable_columnKey(source()); out = in.rowMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - SortedMap out = null; + SortedMap out = null; RowSortedTable in = (RowSortedTable)newWithTable_columnKey(source()); out = in.rowMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - Map out = null; + Map out = null; Table in = (Table)newWithTable_columnKey(source()); out = in.rowMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - Map out = null; + Map out = null; ArrayTable in = (ArrayTable)newWithTable_columnKey(source()); out = in.rowMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow } { // "com.google.common.collect;Table;true;rowMap;();;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[-1];MapKey of MapValue of ReturnValue;value" - ImmutableMap out = null; + ImmutableMap out = null; ImmutableTable in = (ImmutableTable)newWithTable_columnKey(source()); out = in.rowMap(); sink(getMapKey(getMapValue(out))); // $ hasValueFlow @@ -7335,42 +7384,42 @@ public class Test extends Methods { { // "com.google.common.collect;Tables;false;immutableCell;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value" Table.Cell out = null; - Object in = source(); + Object in = (Object)source(); out = Tables.immutableCell(in, null, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;immutableCell;(Object,Object,Object);;Argument[1];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value" Table.Cell out = null; - Object in = source(); + Object in = (Object)source(); out = Tables.immutableCell(null, in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;immutableCell;(Object,Object,Object);;Argument[2];MapValue of ReturnValue;value" Table.Cell out = null; - Object in = source(); + Object in = (Object)source(); out = Tables.immutableCell(null, null, in); sink(getMapValue(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;newCustomTable;(Map,Supplier);;MapKey of Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value" Table out = null; - Map in = (Map)newWithMapKey(source()); + Map in = (Map)Map.of(source(), null); out = Tables.newCustomTable(in, null); sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;newCustomTable;(Map,Supplier);;MapKey of MapValue of Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value" Table out = null; - Map in = (Map)newWithMapValue(newWithMapKey(source())); + Map in = (Map)Map.of(null, newWithMapKey(source())); out = Tables.newCustomTable(in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;newCustomTable;(Map,Supplier);;MapValue of MapValue of Argument[0];MapValue of ReturnValue;value" Table out = null; - Map in = (Map)newWithMapValue(newWithMapValue(source())); + Map in = (Map)Map.of(null, newWithMapValue(source())); out = Tables.newCustomTable(in, null); sink(getMapValue(out)); // $ hasValueFlow } @@ -7396,25 +7445,18 @@ public class Test extends Methods { sink(getTable_rowKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Tables;false;transformValues;(Table,Function);;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value", - Table out = null; - Table in = (Table)newWithTable_rowKey(source()); - out = Tables.transformValues(in, null); - sink(getTable_rowKey(out)); // $ hasValueFlow - } - { - // "com.google.common.collect;Tables;false;transformValues;(Table,Function);;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value", + // "com.google.common.collect;Tables;false;transformValues;(Table,Function);;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value" Table out = null; Table in = (Table)newWithTable_columnKey(source()); out = Tables.transformValues(in, null); sink(getTable_columnKey(out)); // $ hasValueFlow } { - // "com.google.common.collect;Tables;false;transformValues;(Table,Function);;MapValue of Argument[0];MapValue of ReturnValue;value", + // "com.google.common.collect;Tables;false;transformValues;(Table,Function);;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value" Table out = null; - Table in = (Table)newWithMapValue(source()); + Table in = (Table)newWithTable_rowKey(source()); out = Tables.transformValues(in, null); - sink(getMapValue(out)); // $ hasValueFlow + sink(getTable_rowKey(out)); // $ hasValueFlow } { // "com.google.common.collect;Tables;false;transpose;(Table);;MapValue of Argument[0];MapValue of ReturnValue;value" diff --git a/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql b/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql index bef55ed7c39..67709519db2 100644 --- a/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql +++ b/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql @@ -9,13 +9,20 @@ class SummaryModelTest extends SummaryModelCsv { row = [ //"package;type;overrides;name;signature;ext;inputspec;outputspec;kind", - "generatedtest;Methods;false;newWithElement;;;Argument[0];Element of ReturnValue;value", - "generatedtest;Methods;false;newWithMapKey;;;Argument[0];MapKey of ReturnValue;value", - "generatedtest;Methods;false;newWithMapValue;;;Argument[0];MapValue of ReturnValue;value", - "generatedtest;Methods;false;newWithTable_rowKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value", - "generatedtest;Methods;false;newWithTable_columnKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value", - "generatedtest;Methods;false;newWithMapDifference_left;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value", - "generatedtest;Methods;false;newWithMapDifference_right;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value" + "generatedtest;Test;false;newWithElement;;;Argument[0];Element of ReturnValue;value", + "generatedtest;Test;false;getElement;;;Element of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithMapKey;;;Argument[0];MapKey of ReturnValue;value", + "generatedtest;Test;false;getMapKey;;;MapKey of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithMapValue;;;Argument[0];MapValue of ReturnValue;value", + "generatedtest;Test;false;getMapValue;;;MapValue of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithTable_rowKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value", + "generatedtest;Test;false;getTable_rowKey;;;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithTable_columnKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value", + "generatedtest;Test;false;getTable_columnKey;;;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithMapDifference_left;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value", + "generatedtest;Test;false;getMapDifference_left;;;SyntheticField[com.google.common.collect.MapDifference.left] of Argument[0];ReturnValue;value", + "generatedtest;Test;false;newWithMapDifference_right;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value", + "generatedtest;Test;false;getMapDifference_right;;;SyntheticField[com.google.common.collect.MapDifference.right] of Argument[0];ReturnValue;value" ] } } @@ -30,8 +37,6 @@ class ValueFlowConf extends DataFlow::Configuration { override predicate isSink(DataFlow::Node n) { n.asExpr().(Argument).getCall().getCallee().hasName("sink") } - - override int fieldFlowBranchLimit() { result = 10 } } class TaintFlowConf extends TaintTracking::Configuration {