Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 60c6158

Browse files
joefarebrotherjoefarebrother
committed
Fill in implementations of getters for synthetic fields
1 parent 225e70a commit 60c6158

2 files changed

Lines changed: 33 additions & 35 deletions

File tree

‎java/ql/test/library-tests/frameworks/guava/generated/Test.java‎

Lines changed: 32 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -98,10 +98,10 @@ public class Test {
9898
<T> T getElement(Optional<T> container) { return container.get(); }
9999
<T> T getElement(Enumeration<T> container) { return container.nextElement(); }
100100
<T> T getElement(Multiset.Entry<T> container) { return container.getElement(); }
101-
Object getMapDifference_left(Object container) { return null; }
102-
Object getMapDifference_right(Object container) { return null; }
103-
Object getMapKey2(Object container) { return null; }
104-
Object getMapValue2(Object container) { return null; }
101+
<K,V> Map<K,V> getMapDifference_left(MapDifference<K,V> container) { return container.entriesOnlyOnLeft(); }
102+
<V> V getMapDifference_left(MapDifference.ValueDifference<V> container) { return container.leftValue(); }
103+
<K,V> Map<K,V> getMapDifference_right(MapDifference<K,V> container) { return container.entriesOnlyOnRight(); }
104+
<V> V getMapDifference_right(MapDifference.ValueDifference<V> container) { return container.rightValue(); }
105105
<K,V> K getMapKey(Map<K,V> container) { return getElement(container.keySet()); }
106106
<K,V> K getMapKey(Multimap<K,V> container) { return getElement(container.keySet()); }
107107
<K,V> K getMapKey(Map.Entry<K,V> container) { return container.getKey(); }
@@ -115,8 +115,12 @@ public class Test {
115115
<R,C,V> V getMapValue(Table<R,C,V> container) { return getElement(container.values()); }
116116
<R,C,V> V getMapValue(Table.Cell<R,C,V> container) { return container.getValue(); }
117117
<R,C,V> V getMapValue(ImmutableTable.Builder<R,C,V> container) { return getMapValue(container.build()); }
118-
Object getTable_columnKey(Object container) { return null; }
119-
Object getTable_rowKey(Object container) { return null; }
118+
<R,C,V> C getTable_columnKey(Table<R,C,V> container) { return getElement(container.columnKeySet()); }
119+
<R,C,V> C getTable_columnKey(Table.Cell<R,C,V> container) { return container.getColumnKey(); }
120+
<R,C,V> C getTable_columnKey(ImmutableTable.Builder<R,C,V> container) { return getTable_columnKey(container.build()); }
121+
<R,C,V> R getTable_rowKey(Table<R,C,V> container) { return getElement(container.rowKeySet()); }
122+
<R,C,V> R getTable_rowKey(Table.Cell<R,C,V> container) { return container.getRowKey(); }
123+
<R,C,V> R getTable_rowKey(ImmutableTable.Builder<R,C,V> container) { return getTable_rowKey(container.build()); }
120124
<T> T[] newWithArrayElement(T element) { return (T[]) new Object[]{element}; }
121125
Object newWithElement(Object element) { return null; }
122126
Object newWithMapDifference_left(Object element) { return null; }
@@ -4598,28 +4602,28 @@ public void test() throws Exception {
45984602
}
45994603
{
46004604
// "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"
4601-
SortedMap out = null;
4605+
SortedMap<Object,MapDifference.ValueDifference> out = null;
46024606
SortedMapDifference in = (SortedMapDifference)newWithMapDifference_left(newWithMapValue(source()));
46034607
out = in.entriesDiffering();
46044608
sink(getMapDifference_left(getMapValue(out))); // $ hasValueFlow
46054609
}
46064610
{
46074611
// "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"
4608-
Map out = null;
4612+
Map<Object,MapDifference.ValueDifference> out = null;
46094613
MapDifference in = (MapDifference)newWithMapDifference_left(newWithMapValue(source()));
46104614
out = in.entriesDiffering();
46114615
sink(getMapDifference_left(getMapValue(out))); // $ hasValueFlow
46124616
}
46134617
{
46144618
// "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"
4615-
SortedMap out = null;
4619+
SortedMap<Object,MapDifference.ValueDifference> out = null;
46164620
SortedMapDifference in = (SortedMapDifference)newWithMapDifference_right(newWithMapValue(source()));
46174621
out = in.entriesDiffering();
46184622
sink(getMapDifference_right(getMapValue(out))); // $ hasValueFlow
46194623
}
46204624
{
46214625
// "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"
4622-
Map out = null;
4626+
Map<Object,MapDifference.ValueDifference> out = null;
46234627
MapDifference in = (MapDifference)newWithMapDifference_right(newWithMapValue(source()));
46244628
out = in.entriesDiffering();
46254629
sink(getMapDifference_right(getMapValue(out))); // $ hasValueFlow
@@ -4762,84 +4766,84 @@ public void test() throws Exception {
47624766
MapDifference out = null;
47634767
Map in = (Map)newWithMapKey(source());
47644768
out = Maps.difference(in, (Map)null);
4765-
sink(getMapKey2(getMapDifference_left(out))); // $ hasValueFlow
4769+
sink(getMapKey(getMapDifference_left(out))); // $ hasValueFlow
47664770
}
47674771
{
47684772
// "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"
47694773
MapDifference out = null;
47704774
Map in = (Map)newWithMapKey(source());
47714775
out = Maps.difference((Map)null, in);
4772-
sink(getMapKey2(getMapDifference_right(out))); // $ hasValueFlow
4776+
sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow
47734777
}
47744778
{
47754779
// "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"
47764780
MapDifference out = null;
47774781
Map in = (Map)newWithMapValue(source());
47784782
out = Maps.difference(in, (Map)null);
4779-
sink(getMapValue2(getMapDifference_left(out))); // $ hasValueFlow
4783+
sink(getMapValue(getMapDifference_left(out))); // $ hasValueFlow
47804784
}
47814785
{
47824786
// "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"
47834787
MapDifference out = null;
47844788
Map in = (Map)newWithMapValue(source());
47854789
out = Maps.difference((Map)null, in);
4786-
sink(getMapValue2(getMapDifference_right(out))); // $ hasValueFlow
4790+
sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow
47874791
}
47884792
{
47894793
// "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"
47904794
MapDifference out = null;
47914795
Map in = (Map)newWithMapKey(source());
47924796
out = Maps.difference(in, null, null);
4793-
sink(getMapKey2(getMapDifference_left(out))); // $ hasValueFlow
4797+
sink(getMapKey(getMapDifference_left(out))); // $ hasValueFlow
47944798
}
47954799
{
47964800
// "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"
47974801
MapDifference out = null;
47984802
Map in = (Map)newWithMapKey(source());
47994803
out = Maps.difference(null, in, null);
4800-
sink(getMapKey2(getMapDifference_right(out))); // $ hasValueFlow
4804+
sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow
48014805
}
48024806
{
48034807
// "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"
48044808
MapDifference out = null;
48054809
Map in = (Map)newWithMapValue(source());
48064810
out = Maps.difference(in, null, null);
4807-
sink(getMapValue2(getMapDifference_left(out))); // $ hasValueFlow
4811+
sink(getMapValue(getMapDifference_left(out))); // $ hasValueFlow
48084812
}
48094813
{
48104814
// "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"
48114815
MapDifference out = null;
48124816
Map in = (Map)newWithMapValue(source());
48134817
out = Maps.difference(null, in, null);
4814-
sink(getMapValue2(getMapDifference_right(out))); // $ hasValueFlow
4818+
sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow
48154819
}
48164820
{
48174821
// "com.google.common.collect;Maps;false;difference;(SortedMap,Map);;MapKey of Argument[0];MapKey of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value"
48184822
SortedMapDifference out = null;
48194823
SortedMap in = (SortedMap)newWithMapKey(source());
48204824
out = Maps.difference(in, (Map)null);
4821-
sink(getMapKey2(getMapDifference_left(out))); // $ hasValueFlow
4825+
sink(getMapKey(getMapDifference_left(out))); // $ hasValueFlow
48224826
}
48234827
{
48244828
// "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"
48254829
SortedMapDifference out = null;
48264830
Map in = (Map)newWithMapKey(source());
48274831
out = Maps.difference((SortedMap)null, in);
4828-
sink(getMapKey2(getMapDifference_right(out))); // $ hasValueFlow
4832+
sink(getMapKey(getMapDifference_right(out))); // $ hasValueFlow
48294833
}
48304834
{
48314835
// "com.google.common.collect;Maps;false;difference;(SortedMap,Map);;MapValue of Argument[0];MapValue of SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value"
48324836
SortedMapDifference out = null;
48334837
SortedMap in = (SortedMap)newWithMapValue(source());
48344838
out = Maps.difference(in, (Map)null);
4835-
sink(getMapValue2(getMapDifference_left(out))); // $ hasValueFlow
4839+
sink(getMapValue(getMapDifference_left(out))); // $ hasValueFlow
48364840
}
48374841
{
48384842
// "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"
48394843
SortedMapDifference out = null;
48404844
Map in = (Map)newWithMapValue(source());
48414845
out = Maps.difference((SortedMap)null, in);
4842-
sink(getMapValue2(getMapDifference_right(out))); // $ hasValueFlow
4846+
sink(getMapValue(getMapDifference_right(out))); // $ hasValueFlow
48434847
}
48444848
{
48454849
// "com.google.common.collect;Maps;false;filterEntries;(BiMap,Predicate);;MapKey of Argument[0];MapKey of ReturnValue;value"
@@ -6810,42 +6814,42 @@ public void test() throws Exception {
68106814
}
68116815
{
68126816
// "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"
6813-
Set out = null;
6817+
Set<Table.Cell> out = null;
68146818
Table in = (Table)newWithTable_columnKey(source());
68156819
out = in.cellSet();
68166820
sink(getTable_columnKey(getElement(out))); // $ hasValueFlow
68176821
}
68186822
{
68196823
// "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"
6820-
Set out = null;
6824+
Set<Table.Cell> out = null;
68216825
ArrayTable in = (ArrayTable)newWithTable_columnKey(source());
68226826
out = in.cellSet();
68236827
sink(getTable_columnKey(getElement(out))); // $ hasValueFlow
68246828
}
68256829
{
68266830
// "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"
6827-
ImmutableSet out = null;
6831+
ImmutableSet<Table.Cell> out = null;
68286832
ImmutableTable in = (ImmutableTable)newWithTable_columnKey(source());
68296833
out = in.cellSet();
68306834
sink(getTable_columnKey(getElement(out))); // $ hasValueFlow
68316835
}
68326836
{
68336837
// "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"
6834-
Set out = null;
6838+
Set<Table.Cell> out = null;
68356839
Table in = (Table)newWithTable_rowKey(source());
68366840
out = in.cellSet();
68376841
sink(getTable_rowKey(getElement(out))); // $ hasValueFlow
68386842
}
68396843
{
68406844
// "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"
6841-
Set out = null;
6845+
Set<Table.Cell> out = null;
68426846
ArrayTable in = (ArrayTable)newWithTable_rowKey(source());
68436847
out = in.cellSet();
68446848
sink(getTable_rowKey(getElement(out))); // $ hasValueFlow
68456849
}
68466850
{
68476851
// "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"
6848-
ImmutableSet out = null;
6852+
ImmutableSet<Table.Cell> out = null;
68496853
ImmutableTable in = (ImmutableTable)newWithTable_rowKey(source());
68506854
out = in.cellSet();
68516855
sink(getTable_rowKey(getElement(out))); // $ hasValueFlow

‎java/ql/test/library-tests/frameworks/guava/generated/test.ql‎

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -10,18 +10,12 @@ class SummaryModelTest extends SummaryModelCsv {
1010
[
1111
//"package;type;overrides;name;signature;ext;inputspec;outputspec;kind",
1212
"generatedtest;Test;false;newWithElement;;;Argument[0];Element of ReturnValue;value",
13-
"generatedtest;Test;false;getMapKey2;;;MapKey of Argument[0];ReturnValue;value",
1413
"generatedtest;Test;false;newWithMapKey;;;Argument[0];MapKey of ReturnValue;value",
15-
"generatedtest;Test;false;getMapValue2;;;MapValue of Argument[0];ReturnValue;value",
1614
"generatedtest;Test;false;newWithMapValue;;;Argument[0];MapValue of ReturnValue;value",
17-
"generatedtest;Test;false;getTable_rowKey;;;SyntheticField[com.google.common.collect.Table.rowKey] of Argument[0];ReturnValue;value",
1815
"generatedtest;Test;false;newWithTable_rowKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value",
19-
"generatedtest;Test;false;getTable_columnKey;;;SyntheticField[com.google.common.collect.Table.columnKey] of Argument[0];ReturnValue;value",
2016
"generatedtest;Test;false;newWithTable_columnKey;;;Argument[0];SyntheticField[com.google.common.collect.Table.columnKey] of ReturnValue;value",
2117
"generatedtest;Test;false;newWithMapDifference_left;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.left] of ReturnValue;value",
22-
"generatedtest;Test;false;getMapDifference_left;;;SyntheticField[com.google.common.collect.MapDifference.left] of Argument[0];ReturnValue;value",
23-
"generatedtest;Test;false;newWithMapDifference_right;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value",
24-
"generatedtest;Test;false;getMapDifference_right;;;SyntheticField[com.google.common.collect.MapDifference.right] of Argument[0];ReturnValue;value"
18+
"generatedtest;Test;false;newWithMapDifference_right;;;Argument[0];SyntheticField[com.google.common.collect.MapDifference.right] of ReturnValue;value"
2519
]
2620
}
2721
}

0 commit comments

Comments
 (0)